Theresa Swift

According to our database, Theresa Swift authored at least 77 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Multi-paradigm Logic Programming in the <i>E</i>rgoAI System.

Theresa Swift, Michael Kifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Ergo: A Quest for Declarativity in Logic Programming.

Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield

Proceedings of the Prolog: The Next 50 Years, 2023

The Janus System: A Bridge to New Prolog Applications.

Carl Andersen, Theresa Swift

Proceedings of the Prolog: The Next 50 Years, 2023

The Janus System: Multi-paradigm Programming in Prolog and Python.

Theresa Swift, Carl Andersen

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2019

KB Construction and Hypothesis Generation Using SAMSON.

Carl Andersen, Drew Wicke, Kyle Tunis, Wheeler Howard, Mark Gerken, Dustin Carroll, Cassidy Harless, Cecilia Newell, Theresa Swift

Proceedings of the 2019 Text Analysis Conference, 2019

PLOW: Probabilistic Logic Over the Well-Founded Semantics.

Benjamin N. Grosof, Theresa Swift

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

2018

Editorial: 29th International conference on logic programming special issue - ADDENDUM.

Evelina Lamma, Terrance Swift

Theory Pract. Log. Program., 2018

A survey of probabilistic logic programming.

Fabrizio Riguzzi, Theresa Swift

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2015

Forest logging: A trace-based analysis of large rule-based computations.

Terrance Swift

Semantic Web, 2015

On updates of hybrid knowledge bases composed of ontologies and rules.

Martin Slota, João Leite, Theresa Swift

Artif. Intell., 2015

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

Proceedings of the RuleML 2015 Challenge, 2015

2014

Incremental Tabling in Support of Knowledge Representation and Reasoning.

Terrance Swift

Theory Pract. Log. Program., 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

Terminating Evaluation of Logic Programs with Finite Three-Valued Models.

Fabrizio Riguzzi, Terrance Swift

ACM Trans. Comput. Log., 2014

2013

Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.

Fabrizio Riguzzi, Terrance Swift

Theory Pract. Log. Program., 2013

Editorial: 29th International Conference on Logic Programming special issue.

Evelina Lamma, Terrance Swift

Theory Pract. Log. Program., 2013

Query-Driven Procedures for Hybrid MKNF Knowledge Bases.

José Júlio Alferes, Matthias Knorr, Terrance Swift

ACM Trans. Comput. Log., 2013

Understanding Rulelog Computations in Silk.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs.

Benjamin Nathan Grosof, Terrance Swift

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

XSB: Extending Prolog with Tabled Logic Programming.

Terrance Swift, David Scott Warren

Theory Pract. Log. Program., 2012

2011

Splitting and updating hybrid knowledge bases.

Martin Slota, João Leite, Terrance Swift

Theory Pract. Log. Program., 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 (Extended Version)

Martin Slota, João Leite, Terrance Swift

CoRR, 2011

The PITA System for Logical-Probabilistic Inference.

Fabrizio Riguzzi, Terrance Swift

Proceedings of the Latest Advances in Inductive Logic Programming, 2011

2010

A Simple and Efficient Implementation of Concurrent Local Tabling.

Rui Marques, Terrance Swift, José C. Cunha

Proceedings of the Practical Aspects of Declarative Languages, 2010

Implementing Query Answering for Hybrid MKNF Knowledge Bases.

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift

Proceedings of the Practical Aspects of Declarative Languages, 2010

Tabling with Answer Subsumption: Implementation, Applications and Performance.

Terrance Swift, David Scott Warren

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.

Fabrizio Riguzzi, Terrance Swift

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.

Fabrizio Riguzzi, Terrance Swift

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.

José Júlio Alferes, Matthias Knorr, Terrance Swift

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Design Patterns for Tabled Logic Programming.

Terrance Swift

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Incremental Answer Completion in the SLG-WAM.

Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira

Proceedings of the Logic Programming, 25th International Conference, 2009

An Engine for Computing Well-Founded Models.

Terrance Swift

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Concurrent and Local Evaluation of Normal Programs.

Rui Marques, Terrance Swift

Proceedings of the Logic Programming, 24th International Conference, 2008

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

Deduction in Ontologies via ASP.

Terrance Swift

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Deductive Diagnosis of Digital Circuits.

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

2003

Abduction in Well-Founded Semantics and Generalized Stable Models

José Júlio Alferes, Luís Moniz Pereira, Terrance Swift

CoRR, 2003

2002

Preference Logic Grammars: Fixed point semantics and application to data standardization.

Baoqiu Cui, Terrance Swift

Artif. Intell., 2002

Suspending and Resuming Computations in Engines for SLG Evaluation.

Luís Fernando Castro, Terrance Swift, David Scott Warren

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

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

Proceedings of the Seventh International Conference on Information Quality (ICIQ 2002), 2002

2001

The limits of fixed-order computation.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Theor. Comput. Sci., 2001

2000

Principles, practice, and applications of tabled logic programming.

Terrance Swift

ACM SIGSOFT Softw. Eng. Notes, 2000

An abstract machine for efficiently computing queries to well-founded models.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

J. Log. Program., 2000

Psychiatric Diagnosis from the Viewpoint of Computational Logic.

Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Computational Logic, 2000

1999

Efficient Access Mechanisms for Tabled Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

J. Log. Program., 1999

Tabling for Non-Monotonic Programming.

Terrance Swift

Ann. Math. Artif. Intell., 1999

Coherent Well-founded Annotated Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

A Case Study in Using Preference Logic Grammars for Knowledge Representations.

Baoqiu Cui, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Well-founded Abduction via Tabled Dual Programs.

José Júlio Alferes, Luís Moniz Pereira, Terrance Swift

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A New Formulation of Tabled Resolution with Delay.

Terrance Swift

Proceedings of the Progress in Artificial Intelligence, 1999

1998

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.

Konstantinos Sagonas, Terrance Swift

ACM Trans. Program. Lang. Syst., 1998

Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.

Juliana Freire, Terrance Swift, David Scott Warren

J. Funct. Log. Program., 1998

Scheduling in SLG Revisited.

Juliana Freire, Terrance Swift, David Scott Warren

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

1997

XSB: A System for Effciently Computing WFS.

Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Taking I/O Seriously: Resolution Reconsidered for Disk.

Juliana Freire, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1997

Efficient Model Checking Using Tabled Resolution.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Principles and Practice of Unification Factoring.

Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift

ACM Trans. Program. Lang. Syst., 1996

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.

Juliana Freire, Terrance Swift, David Scott Warren

Proceedings of the Programming Languages: Implementations, 1996

An Abstract Machine for Computing the Well-Founded Semantics.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1996

Logic Programming and Databases Integrated at Last? (Poster Abstract).

Juliana Freire, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1996

An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Efficient Top-Down Computation of Queries under the Well-Founded Semantics.

Weidong Chen, Terrance Swift, David Scott Warren

J. Log. Program., 1995

Optimizing Clause Resolution: Beyond Unification Factoring.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift

Proceedings of the Logic Programming, 1995

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

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Exploiting Parallelism in Tabled Evaluations

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren

Proceedings of the Programming Languages: Implementations, 1995

Efficient Tabling Mechanisms for Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1995

1994

An Abstract Machine for SLG Resolution: Definite Programs.

Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1994

Analysis of SLG-WAM Evaluation of Definite Programs.

Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1994

Parallelizing Tabled Evaluations (Extended Abstract).

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

XSB as a Deductive Database.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

XSB as an Efficient Deductive Database Engine.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

CCTIS: An Expert Transactions Processing System.

Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy

Proceedings of the Sixth Annual Conference on Innovative Applications of Artificial Intelligence, 1994

Dynamic Argument Reduction for In-memory Data Queries.

Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

1993

Goal-Directed Evaluation of Well-Founded Sematics for XSB.

Weidong Chen, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1993

The XSB Programming System.

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993