The XSB Programming System. - Konstantinos F. Sagonas; Terrance Swift; David Scott Warren (Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993)

Goal-Directed Evaluation of Well-Founded Sematics for XSB. - Weidong Chen 005; Terrance Swift; David Scott Warren (ILPS, 1993)

Dynamic Argument Reduction for In-memory Data Queries. - Prasad Rao; I. V. Ramakrishnan; Terrance Swift; David Scott Warren (Workshop on Deductive Databases and Logic Programming, 1994)

CCTIS: An Expert Transactions Processing System. - Terrance Swift; Calvin C. Henderson; Richard Holberger; Edward Neham; John Murphy (IAAI, 1994)

XSB as an Efficient Deductive Database Engine. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (SIGMOD Conference, 1994)

XSB as a Deductive Database. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (SIGMOD Conference, 1994)

Parallelizing Tabled Evaluations (Extended Abstract). - Juliana Freire; Rui Hu; Terrance Swift; David Scott Warren (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Analysis of SLG-WAM Evaluation of Definite Programs. - Terrance Swift; David Scott Warren (ILPS, 1994)

An Abstract Machine for SLG Resolution: Definite Programs. - Terrance Swift; David Scott Warren (ILPS, 1994)

Efficient Tabling Mechanisms for Logic Programs. - I. V. Ramakrishnan; Prasad Rao; Konstantinos Sagonas; Terrance Swift; David Scott Warren (ICLP, 1995)

Exploiting Parallelism in Tabled Evaluations - Juliana Freire; Rui Hu; Terrance Swift; David Scott Warren (PLILP, 1995)

Unification Factoring for Efficient Execution of Logic Programs. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Konstantinos Sagonas; Steven Skiena; Terrance Swift; David Scott Warren (POPL, 1995)

Optimizing Clause Resolution: Beyond Unification Factoring. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Terrance Swift (ILPS, 1995)

Efficient Top-Down Computation of Queries under the Well-Founded Semantics. - Weidong Chen 005; Terrance Swift; David Scott Warren (J. Log. Program., 1995)

An Abstract Machine for Fixed-Order Dynamically Stratified Programs. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (CADE, 1996)

Logic Programming and Databases Integrated at Last? (Poster Abstract). - Juliana Freire; Terrance Swift; David Scott Warren (JICSLP, 1996)

An Abstract Machine for Computing the Well-Founded Semantics. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (JICSLP, 1996)

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. - Juliana Freire; Terrance Swift; David Scott Warren (PLILP, 1996)

Principles and Practice of Unification Factoring. - Steven Dawson; C. R. Ramakrishnan 001; Steven Skiena; Terrance Swift (ACM Trans. Program. Lang. Syst., 1996)

Efficient Model Checking Using Tabled Resolution. - Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David Scott Warren (CAV, 1997)

Taking I/O Seriously: Resolution Reconsidered for Disk. - Juliana Freire; Terrance Swift; David Scott Warren (ICLP, 1997)

XSB: A System for Effciently Computing WFS. - Prasad Rao; Konstantinos Sagonas; Terrance Swift; David Scott Warren; Juliana Freire (LPNMR, 1997)

Scheduling in SLG Revisited. - Juliana Freire; Terrance Swift; David Scott Warren (TAPD, 1998)

Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. - Juliana Freire; Terrance Swift; David Scott Warren (J. Funct. Log. Program., 1998)

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. - Konstantinos Sagonas; Terrance Swift (ACM Trans. Program. Lang. Syst., 1998)

A New Formulation of Tabled Resolution with Delay. - Terrance Swift (EPIA, 1999)

Well-founded Abduction via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (ICLP, 1999)

A Case Study in Using Preference Logic Grammars for Knowledge Representations. - Baoqiu Cui; Terrance Swift; David Scott Warren (LPNMR, 1999)

Coherent Well-founded Annotated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira; Terrance Swift (LPNMR, 1999)

Tabling for Non-Monotonic Programming. - Terrance Swift (Ann. Math. Artif. Intell., 1999)

Efficient Access Mechanisms for Tabled Logic Programs. - I. V. Ramakrishnan; Prasad Rao; Konstantinos Sagonas; Terrance Swift; David Scott Warren (J. Log. Program., 1999)

Psychiatric Diagnosis from the Viewpoint of Computational Logic. - Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira (Computational Logic, 2000)

An abstract machine for efficiently computing queries to well-founded models. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (J. Log. Program., 2000)

Principles, practice, and applications of tabled logic programming. - Terrance Swift (ACM SIGSOFT Softw. Eng. Notes, 2000)

The limits of fixed-order computation. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (Theor. Comput. Sci., 2001)

Ensuring the Consistency of Self-Reported Data: A Case Study. - Hasan Davulcu; Jennifer Jones; L. Robert Pokorny; Chris Rued; Terrance Swift; Tatyana Vidrevich; David Scott Warren (ICIQ, 2002)

Suspending and Resuming Computations in Engines for SLG Evaluation. - Luís Fernando Castro; Terrance Swift; David Scott Warren (PADL, 2002)

Preference Logic Grammars: Fixed point semantics and application to data standardization. - Baoqiu Cui; Terrance Swift (Artif. Intell., 2002)

Abduction in Well-Founded Semantics and Generalized Stable Models - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (CoRR, 2003)

Deductive Diagnosis of Digital Circuits. - José Júlio Alferes; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio; Terrance Swift (AIAI, 2004)

Deduction in Ontologies via ASP. - Terrance Swift (LPNMR, 2004)

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (Theory Pract. Log. Program., 2004)

Concurrent and Local Evaluation of Normal Programs. - Rui Marques; Terrance Swift (ICLP, 2008)

An Engine for Computing Well-Founded Models. - Terrance Swift (ICLP, 2009)

Incremental Answer Completion in the SLG-WAM. - Terrance Swift; Alexandre Miguel Pinto; Luís Moniz Pereira (ICLP, 2009)

Design Patterns for Tabled Logic Programming. - Terrance Swift (INAP, 2009)

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. - José Júlio Alferes; Matthias Knorr 001; Terrance Swift (ISWC, 2009)

An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. - Fabrizio Riguzzi; Terrance Swift (CILC, 2010)

Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. - Fabrizio Riguzzi; Terrance Swift (ICLP (Technical Communications), 2010)

Tabling with Answer Subsumption: Implementation, Applications and Performance. - Terrance Swift; David Scott Warren (JELIA, 2010)

Implementing Query Answering for Hybrid MKNF Knowledge Bases. - Ana Sofia Gomes; José Júlio Alferes; Terrance Swift (PADL, 2010)

A Simple and Efficient Implementation of Concurrent Local Tabling. - Rui Marques; Terrance Swift; José C. Cunha (PADL, 2010)

The PITA System for Logical-Probabilistic Inference. - Fabrizio Riguzzi; Terrance Swift (ILP (Late Breaking Papers), 2011)

Splitting and Updating Hybrid Knowledge Bases (Extended Version) - Martin Slota; João Leite 001; Terrance Swift (CoRR, 2011)

The PITA system: Tabling and answer subsumption for reasoning under uncertainty. - Fabrizio Riguzzi; Terrance Swift (Theory Pract. Log. Program., 2011)

Splitting and updating hybrid knowledge bases. - Martin Slota; João Leite 001; Terrance Swift (Theory Pract. Log. Program., 2011)

XSB: Extending Prolog with Tabled Logic Programming. - Terrance Swift; David Scott Warren (Theory Pract. Log. Program., 2012)

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. - Benjamin Nathan Grosof; Terrance Swift (AAAI, 2013)

Advanced Knowledge Base Debugging for Rulelog. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (RuleML (2), 2013)

Understanding Rulelog Computations in Silk. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (CoRR, 2013)

Query-Driven Procedures for Hybrid MKNF Knowledge Bases. - José Júlio Alferes; Matthias Knorr 001; Terrance Swift (ACM Trans. Comput. Log., 2013)

Editorial: 29th International Conference on Logic Programming special issue. - Evelina Lamma; Terrance Swift (Theory Pract. Log. Program., 2013)

Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. - Fabrizio Riguzzi; Terrance Swift (Theory Pract. Log. Program., 2013)

Terminating Evaluation of Logic Programs with Finite Three-Valued Models. - Fabrizio Riguzzi; Terrance Swift (ACM Trans. Comput. Log., 2014)

A goal-directed implementation of query answering for hybrid MKNF knowledge bases. - Ana Sofia Gomes; José Júlio Alferes; Terrance Swift (Theory Pract. Log. Program., 2014)

Incremental Tabling in Support of Knowledge Representation and Reasoning. - Terrance Swift (Theory Pract. Log. Program., 2014)

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

On updates of hybrid knowledge bases composed of ontologies and rules. - Martin Slota; João Leite 001; Theresa Swift (Artif. Intell., 2015)

Forest logging: A trace-based analysis of large rule-based computations. - Terrance Swift (Semantic Web, 2015)

A survey of probabilistic logic programming. - Fabrizio Riguzzi; Theresa Swift (Declarative Logic Programming, 2018)

Editorial: 29th International conference on logic programming special issue - ADDENDUM. - Evelina Lamma; Terrance Swift (Theory Pract. Log. Program., 2018)

PLOW: Probabilistic Logic Over the Well-Founded Semantics. - Benjamin N. Grosof; Theresa Swift (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

KB Construction and Hypothesis Generation Using SAMSON. - Carl Andersen 001; Drew Wicke; Kyle Tunis; Wheeler Howard; Mark Gerken; Dustin Carroll; Cassidy Harless; Cecilia Newell; Theresa Swift (TAC, 2019)

The Janus System: Multi-paradigm Programming in Prolog and Python. - Theresa Swift; Carl Andersen 001 (ICLP, 2023)

The Janus System: A Bridge to New Prolog Applications. - Carl Andersen 001; Theresa Swift (Prolog: The Next 50 Years, 2023)

Ergo: A Quest for Declarativity in Logic Programming. - Benjamin N. Grosof; Michael Kifer; Theresa Swift; Paul Fodor; Janine Bloomfield (Prolog: The Next 50 Years, 2023)

Multi-paradigm Logic Programming in the ErgoAI System. - Theresa Swift; Michael Kifer (LPNMR, 2024)

Introduction to the 40th International Conference On Logic Programming Special Issue. - Pedro Cabalar; Theresa Swift (Theory Pract. Log. Program., 2024)

Integrating Belief Domains into Probabilistic Logic Programs. - Damiano Azzolini; Fabrizio Riguzzi; Theresa Swift (CoRR, 2025)