| Publication | Date of Publication | Type |
|---|
An abstract machine for fixed-order dynamically stratified programs
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Terminating evaluation of logic programs with finite three-valued models
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Query-driven procedures for hybrid MKNF knowledge bases
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Incremental Tabling in Support of Knowledge Representation and Reasoning
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
A goal-directed implementation of query answering for hybrid MKNF knowledge bases
Theory and Practice of Logic Programming | 2014-04-17 | Paper |
Editorial: 29th international conference on logic programming special issue
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
XSB: extending Prolog with tabled logic programming
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
| Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions | 2012-05-11 | Paper |
The PITA system: tabling and answer subsumption for reasoning under uncertainty
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Splitting and updating hybrid knowledge bases
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Tabling with answer subsumption: implementation, applications and performance
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Concurrent and Local Evaluation of Normal Programs
Logic Programming | 2009-01-22 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
Preference Logic Grammars: Fixed point semantics and application to data standardization
Artificial Intelligence | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1696874 (Why is no real title available?) | 2002-01-28 | Paper |
The limits of fixed-order computation
Theoretical Computer Science | 2001-08-20 | Paper |
An abstract machine for efficiently computing queries to well-founded models
The Journal of Logic Programming | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1487801 (Why is no real title available?) | 2000-08-10 | Paper |
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1453067 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1332641 (Why is no real title available?) | 1999-09-09 | Paper |
Efficient access mechanisms for tabled logic programs
The Journal of Logic Programming | 1999-05-04 | Paper |
Efficient top-down computation of queries under the well-founded semantics
The Journal of Logic Programming | 1997-07-06 | Paper |
