Terrance Swift

	2010
49		Ana Sofia Gomes, José Júlio Alferes, Terrance Swift: Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39
48		Rui Marques, Terrance Swift, José C. Cunha: A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278
	2009
47		Andy Gill, Terrance Swift: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Springer 2009
46		Axel Polleres, Terrance Swift: Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings Springer 2009
45		Terrance Swift: An Engine for Computing Well-Founded Models. ICLP 2009: 514-518
44		Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524
43		José Júlio Alferes, Matthias Knorr, Terrance Swift: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. International Semantic Web Conference 2009: 1-16
	2008
42		Rui Marques, Terrance Swift: Concurrent and Local Evaluation of Normal Programs. ICLP 2008: 206-222
	2004
41		José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
40		Terrance Swift: Deduction in Ontologies via ASP. LPNMR 2004: 275-288
39		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)
	2003
38		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
37		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
36		Luís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350
35		Baoqiu Cui, Terrance Swift: Preference Logic Grammars: Fixed point semantics and application to data standardization. Artif. Intell. 138(1-2): 117-147 (2002)
	2001
34		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)
	2000
33		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
32		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)
	1999
31		Terrance Swift: A New Formulation of Tabled Resolution with Delay. EPIA 1999: 163-177
30		José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
29		Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220
28		Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
27		Terrance Swift: Tabling for Non-Monotonic Programming. Ann. Math. Artif. Intell. 25(3-4): 201-240 (1999)
26		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)
	1998
25		Juliana Freire, Terrance Swift, David Scott Warren: Scheduling in SLG Revisited. TAPD 1998: 62-66
24		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)
23		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)
	1997
22		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
21		Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212
20		Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire: XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441
	1996
19		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342
18		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288
17		Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538
16		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363
15		Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258
14		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)
	1995
13		I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711
12		Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208
11		Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations PLILP 1995: 115-132
10		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
9		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)
	1994
8		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
7		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512
6		Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. SLP 1994: 219-235
5		Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. SLP 1994: 633-652
4		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
3		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
	1993
2		Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679
1		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164

Coauthor Index

1	José Júlio Alferes	[30] [38] [39] [41] [43] [49]
2	Francisco Azevedo	[41]
3	Pedro Barahona	[41]
4	Luís Fernando Castro	[36]
5	Weidong Chen	[2] [9]
6	Baoqiu Cui	[29] [35]
7	José C. Cunha	[48]
8	Carlos Viegas Damásio	[28] [33] [41]
9	Hasan Davulcu	[37]
10	Steven Dawson	[10] [12] [14]
11	Juliana Freire	[3] [11] [15] [17] [20] [21] [23] [25]
12	Joseph Gartner	[33]
13	Andy Gill	[47]
14	Ana Sofia Gomes	[49]
15	Rui Hu	[3] [11]
16	Jennifer Jones	[37]
17	Matthias Knorr	[43]
18	Rui Marques	[42] [48]
19	Luís Moniz Pereira (Luíz Moniz Pereira)	[28] [30] [33] [38] [39] [44]
20	Alexandre Miguel Pinto	[44]
21	L. Robert Pokorny	[37]
22	Axel Polleres	[46]
23	Y. S. Ramakrishna	[22]
24	C. R. Ramakrishnan	[10] [12] [14] [22]
25	I. V. Ramakrishnan	[4] [10] [12] [13] [22] [26]
26	Prasad Rao	[4] [13] [20] [26]
27	Chris Rued	[37]
28	Konstantinos F. Sagonas	[1] [7] [8] [10] [13] [16] [18] [19] [20] [24] [26] [32] [34]
29	Steven Skiena	[10] [14]
30	Scott A. Smolka	[22]
31	Allen Tien	[33]
32	Tatyana Vidrevich	[37]
33	David Scott Warren	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [29] [32] [34] [36] [37]

Colors in the list of coauthors