Terrance Lee Swift
AuthID: R-001-JRA
11
TITLE: Query-Driven Procedures for Hybrid MKNF Knowledge Bases Full Text
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, ISSUE: 2
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, ISSUE: 2
12
TITLE: Understanding Rulelog Computations in Silk PDF
AUTHORS: Carl Andersen; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1308.4125
AUTHORS: Carl Andersen; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1308.4125
INDEXED IN: DBLP arXiv
13
TITLE: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTHORS: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLISHED: 2013, SOURCE: Theory and Practice of Logic Programming, VOLUME: 14, ISSUE: 02
AUTHORS: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLISHED: 2013, SOURCE: Theory and Practice of Logic Programming, VOLUME: 14, ISSUE: 02
INDEXED IN: CrossRef
14
TITLE: Editorial: 29th International Conference on Logic Programming special issue
AUTHORS: EVELINA LAMMA; TERRANCE SWIFT;
PUBLISHED: 2013, SOURCE: Theory and Practice of Logic Programming, VOLUME: 13, ISSUE: 4-5
AUTHORS: EVELINA LAMMA; TERRANCE SWIFT;
PUBLISHED: 2013, SOURCE: Theory and Practice of Logic Programming, VOLUME: 13, ISSUE: 4-5
INDEXED IN: CrossRef
15
TITLE: XSB: Extending Prolog with Tabled Logic Programming
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
INDEXED IN: Scopus WOS
16
TITLE: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTHORS: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLISHED: 2012, SOURCE: Theory and Practice of Logic Programming, VOLUME: 13, ISSUE: 02
AUTHORS: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLISHED: 2012, SOURCE: Theory and Practice of Logic Programming, VOLUME: 13, ISSUE: 02
INDEXED IN: CrossRef
17
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: Scopus WOS
18
TITLE: Splitting and updating hybrid knowledge bases
AUTHORS: Martin Slota; Joao Leite ; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
AUTHORS: Martin Slota; Joao Leite ; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
19
TITLE: Design patterns for tabled logic programming
AUTHORS: Swift, T;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
AUTHORS: Swift, T;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXED IN: Scopus CrossRef
20
TITLE: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1103.3949
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1103.3949
INDEXED IN: DBLP arXiv