| Publication | Date of Publication | Type |
|---|
An abstract machine for fixed-order dynamically stratified programs
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Top-down and bottom-up evaluation procedurally integrated
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Who shaves the barber, and with what probability?
| 2018-09-03 | Paper |
XSB: extending Prolog with tabled logic programming
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
Tabling with answer subsumption: implementation, applications and performance
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
TCHR: a framework for tabled CLP
Theory and Practice of Logic Programming | 2008-07-23 | Paper |
Deductive Spreadsheets Using Tabled Logic Programming
Logic Programming | 2008-03-11 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
scientific article; zbMATH DE number 1956546 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1696815 (Why is no real title available?)
| 2002-01-28 | Paper |
The limits of fixed-order computation
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1497838 (Why is no real title available?)
| 2001-03-06 | 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 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 |
Tabled evaluation with delaying for general logic programs
Journal of the ACM | 1998-01-19 | Paper |
Efficient top-down computation of queries under the well-founded semantics
The Journal of Logic Programming | 1997-07-06 | Paper |
scientific article; zbMATH DE number 972138 (Why is no real title available?)
| 1997-01-28 | Paper |
scientific article; zbMATH DE number 549957 (Why is no real title available?)
| 1994-06-13 | Paper |
A goal-oriented approach to computing the well-founded semantics
The Journal of Logic Programming | 1994-01-13 | Paper |
scientific article; zbMATH DE number 192840 (Why is no real title available?)
| 1993-06-05 | Paper |
HiLog: A foundation for higher-order logic programming
The Journal of Logic Programming | 1993-05-16 | Paper |
scientific article; zbMATH DE number 4176500 (Why is no real title available?)
| 1989-01-01 | Paper |
Automatic mode inference for logic programs
The Journal of Logic Programming | 1988-01-01 | Paper |
PIQUE: a relational query language without relations
Information Systems | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3956406 (Why is no real title available?)
| 1986-01-01 | Paper |
Formal semantics for time in databases
ACM Transactions on Database Systems | 1983-01-01 | Paper |
lambda-normal forms in an intensional logic for English
Studia Logica | 1980-01-01 | Paper |
A parsing method for montague grammars
Linguistics and Philosophy | 1978-01-01 | Paper |
