| Publication | Date of Publication | Type |
|---|
| Nonmonotonic reasoning by monotonic inferences with priority constraints | 2024-10-24 | Paper |
On the extension of logic programming with negation through uniform proofs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The loop formula based semantics of description logic programs
Theoretical Computer Science | 2012-03-13 | Paper |
On the semantics of top-\(k\) ranking for objects with uncertain data
Computers & Mathematics with Applications | 2012-02-05 | Paper |
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence | 2011-11-08 | Paper |
Loop formulas for description logic programs
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Weight Constraint Programs with Functions
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Theory and Practice of Logic Programming | 2009-10-19 | Paper |
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Enhancing global SLS-resolution with loop cutting and tabling mechanisms
Theoretical Computer Science | 2005-01-11 | Paper |
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1950447 (Why is no real title available?) | 2003-07-17 | Paper |
SLT-resolution for the well-founded semantics
Journal of Automated Reasoning | 2002-10-15 | Paper |
An abductive approach to disjunctive logic programming
The Journal of Logic Programming | 2001-03-25 | Paper |
| scientific article; zbMATH DE number 1420809 (Why is no real title available?) | 2000-08-28 | Paper |
| scientific article; zbMATH DE number 1222411 (Why is no real title available?) | 1999-05-18 | Paper |
On the equivalence of semantics for normal logic programs
The Journal of Logic Programming | 1995-04-06 | Paper |
Autoepistemic logic of first order and its expressive power
Journal of Automated Reasoning | 1995-02-22 | Paper |
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences | 1994-11-06 | Paper |
| scientific article; zbMATH DE number 638305 (Why is no real title available?) | 1994-10-13 | Paper |
Logic program semantics and circumscription of autoepistemic theories
Information Processing Letters | 1994-06-15 | Paper |
Autoepistemic circumscription and logic programming
Journal of Automated Reasoning | 1994-03-13 | Paper |
| scientific article; zbMATH DE number 219220 (Why is no real title available?) | 1993-06-29 | Paper |
Preservation of integrity constraints in definite DATALOG programs
Information Processing Letters | 1993-05-16 | Paper |
Design of desirable relational database schemes
Journal of Computer and System Sciences | 1993-01-17 | Paper |
Unifying functional and multivalued dependencies for relational database design
Information Sciences | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4210121 (Why is no real title available?) | 1990-01-01 | Paper |
