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