Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Terrance Swift
2010 – today
- 2013
[j15]Fabrizio Riguzzi, Terrance Swift: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. TPLP 13(2): 279-302 (2013)- 2012
- [j14]Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. TPLP 12(1-2): 157-187 (2012)
- 2011
- [j13]Fabrizio Riguzzi, Terrance Swift: The PITA system: Tabling and answer subsumption for reasoning under uncertainty. TPLP 11(4-5): 433-449 (2011)
- [j12]Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)
- [i7]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)
- [i6]Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011)
- [i5]Fabrizio Riguzzi, Terrance Swift: The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. CoRR abs/1107.4747 (2011)
- [i4]Fabrizio Riguzzi, Terrance Swift: Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. CoRR abs/1110.0631 (2011)
- 2010
- [c41]Fabrizio Riguzzi, Terrance Swift: An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. CILC 2010
- [c40]Fabrizio Riguzzi, Terrance Swift: Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. ICLP (Technical Communications) 2010: 162-171
- [c39]Terrance Swift, David Scott Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312
- [c38]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift: Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39
- [c37]Rui Marques, Terrance Swift, José C. Cunha: A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278
- [i3]José Júlio Alferes, Matthias Knorr, Terrance Swift: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010)
- [i2]Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)
2000 – 2009
- 2009
- [c36]
- [c35]Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524
- [c34]
- [c33]José Júlio Alferes, Matthias Knorr, Terrance Swift: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. International Semantic Web Conference 2009: 1-16
- [e2]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
- [e1]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
- 2008
- [c32]
- 2004
- [j11]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)
- [c31]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
- [c30]
- 2003
- [i1]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models. CoRR cs.LO/0312057 (2003)
- 2002
- [j10]Baoqiu Cui, Terrance Swift: Preference Logic Grammars: Fixed point semantics and application to data standardization. Artif. Intell. 138(1-2): 117-147 (2002)
- [c29]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
- [c28]Luís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350
- 2001
- [j9]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)
- 2000
- [j8]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)
- [j7]Terrance Swift: Principles, practice, and applications of tabled logic programming. ACM SIGSOFT Software Engineering Notes 25(1): 87-88 (2000)
- [c27]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
1990 – 1999
- 1999
- [j6]Terrance Swift: Tabling for Non-Monotonic Programming. Ann. Math. Artif. Intell. 25(3-4): 201-240 (1999)
- [j5]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)
- [c26]
- [c25]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
- [c24]Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220
- [c23]Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
- 1998
- [j4]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)
- [j3]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)
- [c22]
- 1997
- [c21]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
- [c20]Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212
- [c19]Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire: XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441
- 1996
- [j2]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)
- [c18]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342
- [c17]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288
- [c16]Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538
- [c15]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363
- [c14]Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258
- 1995
- [j1]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)
- [c13]I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711
- [c12]Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132
- [c11]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
- [c10]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208
- 1994
- [c9]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
- [c8]Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy: CCTIS: An Expert Transactions Processing System. IAAI 1994
- [c7]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
- [c6]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512
- [c5]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
- [c4]Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. SLP 1994: 219-235
- [c3]Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. SLP 1994: 633-652
- 1993
- [c2]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164
- [c1]Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-26 21:22 CEST by the dblp team