Terrance Lee Swift
AuthID: R-001-JRA
11
TÃTULO: Query-Driven Procedures for Hybrid MKNF Knowledge Bases Full Text
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, NÚMERO: 2
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, NÚMERO: 2
12
TÃTULO: Understanding Rulelog Computations in Silk PDF
AUTORES: Carl Andersen; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1308.4125
AUTORES: Carl Andersen; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1308.4125
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv13
TÃTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 02
AUTORES: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 02
INDEXADO EM: 
CrossRef
CrossRef14
TÃTULO: Editorial: 29th International Conference on Logic Programming special issue
AUTORES: EVELINA LAMMA; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 13, NÚMERO: 4-5
AUTORES: EVELINA LAMMA; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 13, NÚMERO: 4-5
INDEXADO EM: CrossRef
CrossRef15
TÃTULO: XSB: Extending Prolog with Tabled Logic Programming
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS16
TÃTULO: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2012, FONTE: Theory and Practice of Logic Programming, VOLUME: 13, NÚMERO: 02
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2012, FONTE: Theory and Practice of Logic Programming, VOLUME: 13, NÚMERO: 02
INDEXADO EM: CrossRef
CrossRef17
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: Scopus WOS
Scopus WOS18
TÃTULO: Splitting and updating hybrid knowledge bases
AUTORES: Martin Slota; Joao Leite ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
AUTORES: Martin Slota; Joao Leite ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
19
TÃTULO: Design patterns for tabled logic programming
AUTORES: Swift, T;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Swift, T;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus CrossRef
Scopus CrossRef20
TÃTULO: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1103.3949
AUTORES: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1103.3949
INDEXADO EM: DBLP arXiv
DBLP arXiv