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: Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog PDF
AUTORES: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015., VOLUME: 1417
AUTORES: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015., VOLUME: 1417
INDEXADO EM: 
DBLP
DBLP4
TÃTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP5
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
6
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
WOS7
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
CrossRef8
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 CrossRef9
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 WOS10
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 WOS