Terrance Swift - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

The PITA system: Tabling and answer subsumption for reasoning under uncertaintyFabrizio Riguzzi, Terrance Swift. tplp, 11(4-5):433-449, 2011. [doi]

Splitting and updating hybrid knowledge basesMartin Slota, João Leite, Terrance Swift. tplp, 11(4-5):801-819, 2011. [doi]

2010

2009

Queries to Hybrid MKNF Knowledge Bases through Oracular TablingJosÃ© JÃºlio Alferes, Matthias Knorr, Terrance Swift. semweb 2009: 1-16 [doi]

Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. ProceedingsAndy Gill, Terrance Swift, editors, Volume 5418 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, ProceedingsAxel Polleres, Terrance Swift, editors, Volume 5837 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Incremental Answer Completion in the SLG-WAMTerrance Swift, Alexandre Miguel Pinto, LuÃs Moniz Pereira. ICLP 2009: 519-524 [doi]

An Engine for Computing Well-Founded ModelsTerrance Swift. ICLP 2009: 514-518 [doi]

2008

Concurrent and Local Evaluation of Normal ProgramsRui Marques, Terrance Swift. ICLP 2008: 206-222 [doi]

2004

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

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

Deduction in Ontologies via ASPTerrance Swift. lpnmr 2004: 275-288 [doi]

2002

2001

The limits of fixed-order computationKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. TCS, 254(1-2):465-499, 2001. [doi]

2000

Psychiatric Diagnosis from the Viewpoint of Computational LogicJoseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira. cl 2000: 1362-1376 [doi]

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

1999

1998

Scheduling in SLG RevisitedJuliana Freire, Terrance Swift, David Scott Warren. tapd 1998: 62-66 [doi]

Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative SchedulingJuliana Freire, Terrance Swift, David Scott Warren. jflp, 1998(3), 1998.

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic ProgramsKonstantinos F. Sagonas, Terrance Swift. TOPLAS, 20(3):586-634, 1998. [doi]

1997

1996

Principles and Practice of Unification FactoringSteven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift. TOPLAS, 18(5):528-563, 1996. [doi]

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

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

The Limits of Fixed-Order ComputationKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. lid 1996: 343-363

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

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

1995

1994

1993

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

The XSB Programming SystemKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. deductive 1993: 164