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: 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
4
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
WOS5
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
CrossRef6
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 CrossRef7
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 WOS8
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 WOS9
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: CrossRef
CrossRef10
TITLE: XSB: Extending Prolog with Tabled Logic Programming
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
INDEXED IN: Scopus WOS
Scopus WOS