Terrance Swift Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. TPLP 13(2): 279-302 (2013)
2012
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. TPLP 12(1-2): 157-187 (2012)
2011
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: The PITA system: Tabling and answer subsumption for reasoning under uncertainty. TPLP 11(4-5): 433-449 (2011)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. CoRR abs/1107.4747 (2011)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. CoRR abs/1110.0631 (2011)
2010
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. CILC 2010
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrizio Riguzzi, Terrance Swift: Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. ICLP (Technical Communications) 2010: 162-171
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, David Scott Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift: Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rui Marques, Terrance Swift, José C. Cunha: A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Matthias Knorr, Terrance Swift: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)
2009
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: An Engine for Computing Well-Founded Models. ICLP 2009: 514-518
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: Design Patterns for Tabled Logic Programming. INAP 2009: 1-19
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Matthias Knorr, Terrance Swift: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. International Semantic Web Conference 2009: 1-16
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rui Marques, Terrance Swift: Concurrent and Local Evaluation of Normal Programs. ICLP 2008: 206-222
2004
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: Deduction in Ontologies via ASP. LPNMR 2004: 275-288
2003
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Baoqiu Cui, Terrance Swift: Preference Logic Grammars: Fixed point semantics and application to data standardization. Artif. Intell. 138(1-2): 117-147 (2002)
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350
2001
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)
2000
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: Principles, practice, and applications of tabled logic programming. ACM SIGSOFT Software Engineering Notes 25(1): 87-88 (2000)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: Tabling for Non-Monotonic Programming. Ann. Math. Artif. Intell. 25(3-4): 201-240 (1999)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift: A New Formulation of Tabled Resolution with Delay. EPIA 1999: 163-177
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
1998
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juliana Freire, Terrance Swift, David Scott Warren: Scheduling in SLG Revisited. TAPD 1998: 62-66
1997
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire: XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441
1996
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258
1995
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208
1994
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy: CCTIS: An Expert Transactions Processing System. IAAI 1994
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. SLP 1994: 219-235
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. SLP 1994: 633-652
1993
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679

Coauthor Index

1José Júlio Alferes
[i7] [c38] [i3] [c33] [j11] [c31] [i1] [c25]
2Francisco Azevedo
[c31]
3Pedro Barahona
[c31]
4Luís Fernando Castro
[c28]
5Weidong Chen
[j1] [c1]
6Baoqiu Cui
[j10] [c24]
7José C. Cunha
[c37]
8Carlos Viegas Damásio
[c31] [c27] [c23]
9Hasan Davulcu
[c29]
10Steven Dawson
[j2] [c11] [c10]
11Juliana Freire
[j4] [c22] [c20] [c19] [c16] [c14] [c12] [c5]
12Joseph Gartner
[c27]
13Andy Gill
[e2]
14Ana Sofia Gomes
[i7] [c38]
15Calvin C. Henderson
[c8]
16Richard Holberger
[c8]
17Rui Hu
[c12] [c5]
18Jennifer Jones
[c29]
19Matthias Knorr
[i3] [c33]
20João Leite (João Alexandre Leite)
[j12] [i6]
21Rui Marques
[c37] [c32]
22John Murphy
[c8]
23Edward Neham
[c8]
24Luís Moniz Pereira (Luíz Moniz Pereira)
[c35] [j11] [i1] [c27] [c25] [c23]
25Alexandre Miguel Pinto
[c35]
26L. Robert Pokorny
[c29]
27Axel Polleres
[e1]
28Y. S. Ramakrishna
[c21]
29C. R. Ramakrishnan
[c21] [j2] [c11] [c10]
30I. V. Ramakrishnan
[j5] [c21] [c13] [c11] [c10] [c9]
31Prasad Rao
[j5] [c19] [c13] [c9]
32Fabrizio Riguzzi
[j15] [j13] [i5] [i4] [c41] [c40]
33Chris Rued
[c29]
34Konstantinos F. Sagonas
[j9] [j8] [j5] [j3] [c19] [c18] [c17] [c15] [c13] [c11] [c7] [c6] [c2]
35Steven Skiena
[j2] [c11]
36Martin Slota
[j12] [i6]
37Scott A. Smolka
[c21]
38Allen Tien
[c27]
39Tatyana Vidrevich
[c29]
40David Scott Warren
[j14] [c39] [i2] [c29] [c28] [j9] [j8] [j5] [c24] [j4] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [j1] [c13] [c12] [c11] [c9] [c7] [c6] [c5] [c4] [c3] [c2] [c1]

Colors in the list of coauthors

Last update Thu May 23 04:18:32 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page