Terrance Lee Swift
AuthID: R-001-JRA
1
TITLE: Forest logging: A trace-based analysis of large rule-based computations Full Text
AUTHORS: Terrance Swift;
PUBLISHED: 2015, SOURCE: SEMANTIC WEB, VOLUME: 6, ISSUE: 5
AUTHORS: Terrance Swift;
PUBLISHED: 2015, SOURCE: SEMANTIC WEB, VOLUME: 6, ISSUE: 5
2
TITLE: On updates of hybrid knowledge bases composed of ontologies and rules Full Text
AUTHORS: Martin Slota; Joao Leite ; Theresa Swift;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
AUTHORS: Martin Slota; Joao Leite ; Theresa Swift;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
3
TITLE: Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog PDF
AUTHORS: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: 
DBLP
DBLP4
TITLE: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 2
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 2
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP5
TITLE: Terminating Evaluation of Logic Programs with Finite Three-Valued Models Full Text
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 4
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 4
6
TITLE: Incremental Tabling in Support of Knowledge Representation and Reasoning
AUTHORS: Terrance Swift;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14
AUTHORS: Terrance Swift;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14
INDEXED IN: WOS
WOS7
TITLE: Incremental Tabling in Support of Knowledge Representation and Reasoning
AUTHORS: TERRANCE SWIFT;
PUBLISHED: 2014, SOURCE: Theory and Practice of Logic Programming, VOLUME: 14, ISSUE: 4-5
AUTHORS: TERRANCE SWIFT;
PUBLISHED: 2014, SOURCE: Theory and Practice of Logic Programming, VOLUME: 14, ISSUE: 4-5
INDEXED IN: 
CrossRef
CrossRef8
TITLE: The PITA system for logical-probabilistic inference
AUTHORS: Riguzzi, F; Swift, T;
PUBLISHED: 2014, SOURCE: Latest Advances in Inductive Logic Programming
AUTHORS: Riguzzi, F; Swift, T;
PUBLISHED: 2014, SOURCE: Latest Advances in Inductive Logic Programming
INDEXED IN: Scopus CrossRef
Scopus CrossRef9
TITLE: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2013, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, ISSUE: 2
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2013, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS10
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: Scopus WOS
Scopus WOS