Terrance Lee Swift
AuthID: R-001-JRA
21
TÃTULO: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 11, NÚMERO: 4-5
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: CrossRef
22
TÃTULO: XSB: Extending Prolog with Tabled Logic Programming
AUTORES: TERRANCE SWIFT; DAVID S WARREN;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 12, NÚMERO: 1-2
AUTORES: TERRANCE SWIFT; DAVID S WARREN;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: CrossRef
23
TÃTULO: Tabling with Answer Subsumption: Implementation, Applications and Performance
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
24
TÃTULO: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
25
TÃTULO: A Simple and Efficient Implementation of Concurrent Local Tabling
AUTORES: Rui Marques; Terrance Swift; Jose Cunha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
AUTORES: Rui Marques; Terrance Swift; Jose Cunha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
26
TÃTULO: Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming, ICLP 2010 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 7
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming, ICLP 2010 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 7
INDEXADO EM: Scopus
27
TÃTULO: An extended semantics for logic programs with annotated disjunctions and its efficient implementation
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 25th Italian Conference on Computational Logic, CILC 2010 in CEUR Workshop Proceedings, VOLUME: 598
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 25th Italian Conference on Computational Logic, CILC 2010 in CEUR Workshop Proceedings, VOLUME: 598
INDEXADO EM: Scopus
28
TÃTULO: Query-driven Procedures for Hybrid MKNF Knowledge Bases PDF
AUTORES: José Júlio Alferes ; Matthias Knorr; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1007.3515
AUTORES: José Júlio Alferes ; Matthias Knorr; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1007.3515
INDEXADO EM: DBLP arXiv
29
TÃTULO: An Engine for Computing Well-Founded Models Full Text
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
30
TÃTULO: Incremental Answer Completion in the SLG-WAM Full Text
AUTORES: Terrance Swift; Alexandre Miguel Pinto ; Luis Moniz Pereira ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
AUTORES: Terrance Swift; Alexandre Miguel Pinto ; Luis Moniz Pereira ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649