Terrance Lee Swift
AuthID: R-001-JRA
1
TÃTULO: Forest logging: A trace-based analysis of large rule-based computations Full Text
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: SEMANTIC WEB, VOLUME: 6, NÚMERO: 5
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: SEMANTIC WEB, VOLUME: 6, NÚMERO: 5
2
TÃTULO: On updates of hybrid knowledge bases composed of ontologies and rules Full Text
AUTORES: Martin Slota; Joao Leite ; Theresa Swift;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
AUTORES: Martin Slota; Joao Leite ; Theresa Swift;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
3
TÃTULO: Terminating Evaluation of Logic Programs with Finite Three-Valued Models Full Text
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 4
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 4
4
TÃTULO: Incremental Tabling in Support of Knowledge Representation and Reasoning
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14
INDEXADO EM: 
WOS
WOS5
TÃTULO: Incremental Tabling in Support of Knowledge Representation and Reasoning
AUTORES: TERRANCE SWIFT;
PUBLICAÇÃO: 2014, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 4-5
AUTORES: TERRANCE SWIFT;
PUBLICAÇÃO: 2014, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 4-5
INDEXADO EM: 
CrossRef
CrossRef6
TÃTULO: The PITA system for logical-probabilistic inference
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2014, FONTE: Latest Advances in Inductive Logic Programming
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2014, FONTE: Latest Advances in Inductive Logic Programming
INDEXADO EM: 
Scopus CrossRef
Scopus CrossRef7
TÃTULO: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 2
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS
Scopus WOS8
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: Scopus WOS
Scopus WOS9
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
CrossRef10
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 WOS