| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ana Sofia Gomes, José Júlio Alferes, Terrance Swift |
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Slota, João Leite, Terrance Swift |
Splitting and Updating Hybrid Knowledge Bases (Extended Version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
The PITA system: Tabling and answer subsumption for reasoning under uncertainty. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Slota, João Leite, Terrance Swift |
Splitting and updating hybrid knowledge bases. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Matthias Knorr, Terrance Swift |
Query-driven Procedures for Hybrid MKNF Knowledge Bases |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
XSB: Extending Prolog with Tabled Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ana Sofia Gomes, José Júlio Alferes, Terrance Swift |
Implementing Query Answering for Hybrid MKNF Knowledge Bases. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Marques, Terrance Swift, José C. Cunha |
A Simple and Efficient Implementation of Concurrent Local Tabling. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
Tabling with Answer Subsumption: Implementation, Applications and Performance. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Gill, Terrance Swift (eds.) |
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira |
Incremental Answer Completion in the SLG-WAM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift |
An Engine for Computing Well-Founded Models. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Tabling, WAM |
| 1 | Terrance Swift |
Design Patterns for Tabled Logic Programming. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Polleres, Terrance Swift (eds.) |
Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Matthias Knorr, Terrance Swift |
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Marques, Terrance Swift |
Concurrent and Local Evaluation of Normal Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift |
Deductive Diagnosis of Digital Circuits. |
AIAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift |
Deduction in Ontologies via ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Abduction in Well-Founded Semantics and Generalized Stable Models |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Baoqiu Cui, Terrance Swift |
Preference Logic Grammars: Fixed point semantics and application to data standardization. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Fernando Castro, Terrance Swift, David Scott Warren |
Suspending and Resuming Computations in Engines for SLG Evaluation. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The limits of fixed-order computation. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An abstract machine for efficiently computing queries to well-founded models. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
Efficient Access Mechanisms for Tabled Logic Programs. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift |
Tabling for Non-Monotonic Programming. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift |
A New Formulation of Tabled Resolution with Delay. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Well-founded Abduction via Tabled Dual Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Baoqiu Cui, Terrance Swift, David Scott Warren |
A Case Study in Using Preference Logic Grammars for Knowledge Representations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift |
Coherent Well-founded Annotated Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift |
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
SLG, memoing, stratification theories, prolog, tabling, WAM |
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Scheduling in SLG Revisited. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Taking I/O Seriously: Resolution Reconsidered for Disk. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
XSB: A System for Effciently Computing WFS. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift |
Principles and Practice of Unification Factoring. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
trie minimization, logic programming, indexing, unification |
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Logic Programming and Databases Integrated at Last? (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An Abstract Machine for Computing the Well-Founded Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The Limits of Fixed-Order Computation. |
Logic in Databases |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Terrance Swift, David Scott Warren |
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
Efficient Tabling Mechanisms for Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift |
Optimizing Clause Resolution: Beyond Unification Factoring. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren |
Exploiting Parallelism in Tabled Evaluations |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
Analysis of SLG-WAM Evaluation of Definite Programs. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
An Abstract Machine for SLG Resolution: Definite Programs. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
XSB as an Efficient Deductive Database Engine. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
XSB as a Deductive Database. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The XSB Programming System. |
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, Terrance Swift, David Scott Warren |
Goal-Directed Evaluation of Well-Founded Sematics for XSB. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")