Terrance Swift

78 papers A* 3A 1B 11C 5Misc 3Journal 31Unranked 23
YearRankTypeTitle / Venue / Authors
2018 J jnl
Editorial: 29th International conference on logic programming special issue - ADDENDUM.
Theory Pract. Log. Program.
Evelina Lamma, Terrance Swift
2015 — conf
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
Challenge+DC@RuleML
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
2015 J jnl
Forest logging: A trace-based analysis of large rule-based computations.
Semantic Web
Terrance Swift
2014 J jnl
A goal-directed implementation of query answering for hybrid MKNF knowledge bases.
Theory Pract. Log. Program.
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2014 J jnl
Incremental Tabling in Support of Knowledge Representation and Reasoning.
CoRR
Terrance Swift
2014 J jnl
Incremental Tabling in Support of Knowledge Representation and Reasoning.
Theory Pract. Log. Program.
Terrance Swift
2014 J jnl
Terminating Evaluation of Logic Programs with Finite Three-Valued Models.
ACM Trans. Comput. Log.
Fabrizio Riguzzi, Terrance Swift
2013 — conf
Advanced Knowledge Base Debugging for Rulelog.
RuleML (2)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013 J jnl
Editorial: 29th International Conference on Logic Programming special issue.
Theory Pract. Log. Program.
Evelina Lamma, Terrance Swift
2013 J jnl
Query-Driven Procedures for Hybrid MKNF Knowledge Bases.
ACM Trans. Comput. Log.
José Júlio Alferes, Matthias Knorr, Terrance Swift
2013 A* conf
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs.
AAAI
Benjamin Nathan Grosof, Terrance Swift
2013 J jnl
Understanding Rulelog Computations in Silk.
CoRR
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013 J jnl
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.
Theory Pract. Log. Program.
Fabrizio Riguzzi, Terrance Swift
2012 J jnl
XSB: Extending Prolog with Tabled Logic Programming.
Theory Pract. Log. Program.
Terrance Swift, David Scott Warren
2011 J jnl
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
CoRR
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2011 J jnl
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
CoRR
Martin Slota, João Leite, Terrance Swift
2011 J jnl
Splitting and updating hybrid knowledge bases.
Theory Pract. Log. Program.
Martin Slota, João Leite, Terrance Swift
2011 — conf
The PITA System for Logical-Probabilistic Inference.
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
CoRR
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
The PITA system: Tabling and answer subsumption for reasoning under uncertainty.
Theory Pract. Log. Program.
Fabrizio Riguzzi, Terrance Swift
2011 J jnl
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
CoRR
Fabrizio Riguzzi, Terrance Swift
2010 C conf
A Simple and Efficient Implementation of Concurrent Local Tabling.
PADL
Rui Marques, Terrance Swift, José C. Cunha
2010 — conf
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.
CILC
Fabrizio Riguzzi, Terrance Swift
2010 C conf
Implementing Query Answering for Hybrid MKNF Knowledge Bases.
PADL
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2010 J jnl
Query-driven Procedures for Hybrid MKNF Knowledge Bases
CoRR
José Júlio Alferes, Matthias Knorr, Terrance Swift
2010 — conf
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.
ICLP (Technical Communications)
Fabrizio Riguzzi, Terrance Swift
2010 B conf
Tabling with Answer Subsumption: Implementation, Applications and Performance.
JELIA
Terrance Swift, David Scott Warren
2010 J jnl
XSB: Extending Prolog with Tabled Logic Programming
CoRR
Terrance Swift, David Scott Warren
2009 B conf
An Engine for Computing Well-Founded Models.
ICLP
Terrance Swift
2009 — conf
Design Patterns for Tabled Logic Programming.
INAP
Terrance Swift
2009 B conf
Incremental Answer Completion in the SLG-WAM.
ICLP
Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira
2009 C ed.
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings
PADL
Andy Gill, Terrance Swift
2009 Misc conf
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.
ISWC
José Júlio Alferes, Matthias Knorr, Terrance Swift
2009 — ed.
Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
RR
Axel Polleres, Terrance Swift
2008 B conf
Concurrent and Local Evaluation of Normal Programs.
ICLP
Rui Marques, Terrance Swift
2004 J jnl
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs.
Theory Pract. Log. Program.
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2004 B conf
Deduction in Ontologies via ASP.
LPNMR
Terrance Swift
2004 Misc conf
Deductive Diagnosis of Digital Circuits.
AIAI
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
2003 J jnl
Abduction in Well-Founded Semantics and Generalized Stable Models
CoRR
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2002 — conf
Ensuring the Consistency of Self-Reported Data: A Case Study.
ICIQ
Hasan Davulcu, Jennifer Jones, L. Robert Pokorny, Chris Rued, Terrance Swift, Tatyana Vidrevich, David Scott Warren
2002 J jnl
Preference Logic Grammars: Fixed point semantics and application to data standardization.
Artif. Intell.
Baoqiu Cui, Terrance Swift
2002 C conf
Suspending and Resuming Computations in Engines for SLG Evaluation.
PADL
Luís Fernando Castro, Terrance Swift, David Scott Warren
2001 J jnl
The limits of fixed-order computation.
Theor. Comput. Sci.
Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000 J jnl
An abstract machine for efficiently computing queries to well-founded models.
J. Log. Program.
Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000 J jnl
Principles, practice, and applications of tabled logic programming.
ACM SIGSOFT Softw. Eng. Notes
Terrance Swift
2000 — conf
Psychiatric Diagnosis from the Viewpoint of Computational Logic.
Computational Logic
Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira
1999 B conf
A Case Study in Using Preference Logic Grammars for Knowledge Representations.
LPNMR
Baoqiu Cui, Terrance Swift, David Scott Warren
1999 Misc conf
A New Formulation of Tabled Resolution with Delay.
EPIA
Terrance Swift
1999 B conf
Coherent Well-founded Annotated Logic Programs.
LPNMR
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
1999 J jnl
Efficient Access Mechanisms for Tabled Logic Programs.
J. Log. Program.
I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1999 J jnl
Tabling for Non-Monotonic Programming.
Ann. Math. Artif. Intell.
Terrance Swift
1999 B conf
Well-founded Abduction via Tabled Dual Programs.
ICLP
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
1998 J jnl
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.
ACM Trans. Program. Lang. Syst.
Konstantinos Sagonas, Terrance Swift
1998 J jnl
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.
J. Funct. Log. Program.
Juliana Freire, Terrance Swift, David Scott Warren
1998 — conf
Scheduling in SLG Revisited.
TAPD
Juliana Freire, Terrance Swift, David Scott Warren
1997 A* conf
Efficient Model Checking Using Tabled Resolution.
CAV
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
1997 B conf
Taking I/O Seriously: Resolution Reconsidered for Disk.
ICLP
Juliana Freire, Terrance Swift, David Scott Warren
1997 B conf
XSB: A System for Effciently Computing WFS.
LPNMR
Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
1996 — conf
An Abstract Machine for Computing the Well-Founded Semantics.
JICSLP
Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996 A conf
An Abstract Machine for Fixed-Order Dynamically Stratified Programs.
CADE
Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996 — conf
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.
PLILP
Juliana Freire, Terrance Swift, David Scott Warren
1996 — conf
Logic Programming and Databases Integrated at Last? (Poster Abstract).
JICSLP
Juliana Freire, Terrance Swift, David Scott Warren
1996 J jnl
Principles and Practice of Unification Factoring.
ACM Trans. Program. Lang. Syst.
Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
1996 — conf
The Limits of Fixed-Order Computation.
Logic in Databases
Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995 B conf
Efficient Tabling Mechanisms for Logic Programs.
ICLP
I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995 J jnl
Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
J. Log. Program.
Weidong Chen, Terrance Swift, David Scott Warren
1995 — conf
Exploiting Parallelism in Tabled Evaluations
PLILP
Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
1995 — conf
Optimizing Clause Resolution: Beyond Unification Factoring.
ILPS
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift
1995 A* conf
Unification Factoring for Efficient Execution of Logic Programs.
POPL
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
1994 — conf
An Abstract Machine for SLG Resolution: Definite Programs.
ILPS
Terrance Swift, David Scott Warren
1994 — conf
Analysis of SLG-WAM Evaluation of Definite Programs.
ILPS
Terrance Swift, David Scott Warren
1994 C conf
CCTIS: An Expert Transactions Processing System.
IAAI
Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy
1994 — conf
Dynamic Argument Reduction for In-memory Data Queries.
Workshop on Deductive Databases and Logic Programming
Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren
1994 — conf
Parallelizing Tabled Evaluations (Extended Abstract).
Workshop on Design and Impl. of Parallel Logic Programming Systems
Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
1994 — conf
XSB as a Deductive Database.
SIGMOD Conference
Konstantinos Sagonas, Terrance Swift, David Scott Warren
1994 — conf
XSB as an Efficient Deductive Database Engine.
SIGMOD Conference
Konstantinos Sagonas, Terrance Swift, David Scott Warren
1993 — conf
Goal-Directed Evaluation of Well-Founded Sematics for XSB.
ILPS
Weidong Chen, Terrance Swift, David Scott Warren
1993 — conf
The XSB Programming System.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren