Terrance Swift

Fabrizio Riguzzi, Terrance Swift: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. TPLP 13(2): 279-302 (2013)

Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. TPLP 12(1-2): 157-187 (2012)

Fabrizio Riguzzi, Terrance Swift: The PITA system: Tabling and answer subsumption for reasoning under uncertainty. TPLP 11(4-5): 433-449 (2011)

Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases. CoRR abs/1103.3949 (2011)

Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011)

Fabrizio Riguzzi, Terrance Swift: The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. CoRR abs/1107.4747 (2011)

Fabrizio Riguzzi, Terrance Swift: Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. CoRR abs/1110.0631 (2011)

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: 162-171

Terrance Swift, David Scott Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312

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

Rui Marques, Terrance Swift, José C. Cunha: A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278

José Júlio Alferes, Matthias Knorr, Terrance Swift: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010)

Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)

Terrance Swift: An Engine for Computing Well-Founded Models. ICLP 2009: 514-518

Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524

Terrance Swift: Design Patterns for Tabled Logic Programming. INAP 2009: 1-19

José Júlio Alferes, Matthias Knorr, Terrance Swift: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. International Semantic Web Conference 2009: 1-16

Andy Gill, Terrance Swift (Eds.): Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Lecture Notes in Computer Science 5418, Springer 2009, isbn 978-3-540-92994-9

Axel Polleres, Terrance Swift (Eds.): Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Lecture Notes in Computer Science 5837, Springer 2009, isbn 978-3-642-05081-7

Rui Marques, Terrance Swift: Concurrent and Local Evaluation of Normal Programs. ICLP 2008: 206-222

José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. TPLP 4(4): 383-428 (2004)

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

Terrance Swift: Deduction in Ontologies via ASP. LPNMR 2004: 275-288

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

Baoqiu Cui, Terrance Swift: Preference Logic Grammars: Fixed point semantics and application to data standardization. Artif. Intell. 138(1-2): 117-147 (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. IQ 2002: 155-166

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

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45(1-3): 1-41 (2000)

Terrance Swift: Principles, practice, and applications of tabled logic programming. ACM SIGSOFT Software Engineering Notes 25(1): 87-88 (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: 1362-1376

Terrance Swift: Tabling for Non-Monotonic Programming. Ann. Math. Artif. Intell. 25(3-4): 201-240 (1999)

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

Terrance Swift: A New Formulation of Tabled Resolution with Delay. EPIA 1999: 163-177

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

Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220

Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276

Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. Journal of Functional and Logic Programming 1998(3) (1998)

Konstantinos F. Sagonas, Terrance Swift: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Trans. Program. Lang. Syst. 20(3): 586-634 (1998)

Juliana Freire, Terrance Swift, David Scott Warren: Scheduling in SLG Revisited. TAPD 1998: 62-66

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: 143-154

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

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

Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift: Principles and Practice of Unification Factoring. ACM Trans. Program. Lang. Syst. 18(5): 528-563 (1996)

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288

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

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363

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

Weidong Chen, Terrance Swift, David Scott Warren: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199 (1995)

I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren: Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208

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: 117-129

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

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512

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: 18-31

Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. SLP 1994: 219-235

Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. SLP 1994: 633-652

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

Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679