Terrance Lee Swift
AuthID: R-001-JRA
11
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
CrossRef12
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 WOS13
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
14
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 CrossRef15
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
CrossRef16
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
CrossRef17
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
18
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
19
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
Scopus20
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
Scopus