| 2013 | AAAI | Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. | Benjamin Nathan Grosof, Terrance Swift |
| 2011 | ILP | The PITA System for Logical-Probabilistic Inference. | Fabrizio Riguzzi, Terrance Swift |
| 2010 | ICLP | Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. | Fabrizio Riguzzi, Terrance Swift |
| 2010 | JELIA | Tabling with Answer Subsumption: Implementation, Applications and Performance. | Terrance Swift, David Scott Warren |
| 2010 | PADL | Implementing Query Answering for Hybrid MKNF Knowledge Bases. | Ana Sofia Gomes, Jos Jlio Alferes, Terrance Swift |
| 2010 | PADL | A Simple and Efficient Implementation of Concurrent Local Tabling. | Rui Marques, Terrance Swift, Jos C. Cunha |
| 2009 | ICLP | An Engine for Computing Well-Founded Models. | Terrance Swift |
| 2009 | ICLP | Incremental Answer Completion in the SLG-WAM. | Terrance Swift, Alexandre Miguel Pinto, Lus Moniz Pereira |
| 2008 | ICLP | Concurrent and Local Evaluation of Normal Programs. | Rui Marques, Terrance Swift |
| 2004 | LPNMR | Deduction in Ontologies via ASP. | Terrance Swift |
| 2002 | PADL | Suspending and Resuming Computations in Engines for SLG Evaluation. | Lus Fernando Castro, Terrance Swift, David Scott Warren |
| 1999 | EPIA | A New Formulation of Tabled Resolution with Delay. | Terrance Swift |
| 1999 | ICLP | Well-founded Abduction via Tabled Dual Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Terrance Swift |
| 1999 | LPNMR | A Case Study in Using Preference Logic Grammars for Knowledge Representations. | Baoqiu Cui, Terrance Swift, David Scott Warren |
| 1999 | LPNMR | Coherent Well-founded Annotated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira, Terrance Swift |
| 1997 | CAV | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1997 | ICLP | Taking I/O Seriously: Resolution Reconsidered for Disk. | Juliana Freire, Terrance Swift, David Scott Warren |
| 1997 | LPNMR | XSB: A System for Effciently Computing WFS. | Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
| 1996 | CADE | An Abstract Machine for Fixed-Order Dynamically Stratified Programs. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1996 | ICLP | Logic Programming and Databases Integrated at Last? (Poster Abstract). | Juliana Freire, Terrance Swift, David Scott Warren |
| 1996 | ICLP | An Abstract Machine for Computing the Well-Founded Semantics. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | ICLP | Efficient Tabling Mechanisms for Logic Programs. | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | POPL | Unification Factoring for Efficient Execution of Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
| 1994 | IAAI | CCTIS: An Expert Transactions Processing System. | Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy |
| 1994 | SIGMOD | XSB as an Efficient Deductive Database Engine. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1994 | SIGMOD | XSB as a Deductive Database. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |