Terrance Swift

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 3

Top Topics

Efficient Inference

Bounded Rationality

Top Venues

Theory Pract. Log. Program.

ACM Trans. Comput. Log.

Publications

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