Get started
Author

Terrance Swift

Observed names: Swift, Terrance, TERRANCE SWIFT, Terrance Swift A, Terrance, Swift
OpenAlex ID: A5113464756
XSB as an efficient deductive database engine
1994 · Konstantinos Sagonas, Terrance Swift, et al. · ACM SIGMOD International Conference on Management of Data (SIGMOD) · 329
PDF
XSB: Extending Prolog with Tabled Logic Programming
2011 · TERRANCE SWIFT, DAVID S. WARREN · Theory and Practice of Logic Programming · 201
PDF
Efficient model checking using tabled resolution
1997 · Y. S. Ramakrishna, C. R. Ramakrishnan, et al. · Lecture notes in computer science · 179
PDF
XSB: A system for efficiently computing well-founded semantics
1997 · Prasad Rao, Konstantinos Sagonas, et al. · Lecture notes in computer science · 126
An abstract machine for tabled execution of fixed-order stratified logic programs
1998 · Konstantinos Sagonas, Terrance Swift · ACM Transactions on Programming Languages and Systems · 114
PDF
Efficient top-down computation of queries under the well-founded semantics
1995 · Weidong Chen, Terrance Swift, et al. · The Journal of Logic Programming · 111
PDF
Efficient access mechanisms for tabled logic programs
1999 · I.V Ramakrishnan, Prasad Rao, et al. · The Journal of Logic Programming · 97
PDF
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
2011 · FABRIZIO RIGUZZI, TERRANCE SWIFT · Theory and Practice of Logic Programming · 79
PDF
Tabling for non‐monotonic programming
1999 · Terrance Swift · Annals of Mathematics and Artificial Intelligence · 73
Abduction in well-founded semantics and generalized stable models via tabled dual programs
2004 · JOSÉ JÚLIO ALFERES, LUÍS MONIZ PEREIRA, et al. · Theory and Practice of Logic Programming · 67
PDF
XSB as an efficient deductive database engine
1994 · Konstantinos Sagonas, Terrance Swift, et al. · ACM SIGMOD Record · 61
Efficient Tabling Mechanisms for Logic Programs
1995 · I.V. Ramakrishnan, Prasad Rao, et al. · The MIT Press eBooks · 57
Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies
1996 · Juliana Freire, Terrance Swift, et al. · Lecture notes in computer science · 51
Proceedings of the 1997 international symposium on Logic programming
1997 · I. V. Ramakrishnan, Terrance Swift, et al. · International Conference on Logic Programming · 49
Deduction in Ontologies via ASP
2003 · Terrance Swift · Lecture notes in computer science · 40
The XSB Programming System.
1993 · Konstantinos Sagonas, Terrance Swift, et al. · DSpace - NTUA (National Technical University of Athens) · 38
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
2010 · Riguzzi, Fabrizio, Swift, Terrance · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 37
PDF
Tabling with Answer Subsumption: Implementation, Applications and Performance
2010 · Terrance Swift, David S. Warren · Lecture notes in computer science · 36
An abstract machine for SLG resolution: definite programs
1994 · Terrance Swift, David S. Warren · 33
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
2013 · José Júlio Alferes, Matthias Knorr, et al. · ACM Transactions on Computational Logic · 26
PDF
An abstract machine for computing the well-founded semantics
1996 · Konstantinos Sagonas, Terrance Swift, et al. · 26
Preference Logic Grammars: Fixed point semantics and application to data standardization
2002 · Baoqiu Cui, Terrance Swift · Artificial Intelligence · 24
PDF
Taking I/O Seriously: Resolution Reconsidered for Disk
1997 · Juliana Freire, Terrance Swift, et al. · The MIT Press eBooks · 24
Implementing Query Answering for Hybrid MKNF Knowledge Bases
2010 · Ana Sofia Gomes, José Júlio Alferes, et al. · Lecture notes in computer science · 23
Psychiatric Diagnosis from the Viewpoint of Computational Logic
2000 · Joseph Gartner, Terrance Swift, et al. · Lecture notes in computer science · 22
PDF
Works count: 116
Citation count: 2,259
H-index: 23
I10-index: 40
Year
Topic
Type