| Publication | Date of Publication | Type |
|---|
| Nonmonotonic reasoning by monotonic inferences with priority constraints | 2024-10-24 | Paper |
| Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT | 2024-03-14 | Paper |
A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
(available as arXiv preprint) | 2024-01-23 | Paper |
| A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases | 2024-01-23 | Paper |
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Restricted Chase Termination: A Hierarchical Approach and Experimentation
Rules and Reasoning | 2023-06-28 | Paper |
On the extension of logic programming with negation through uniform proofs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Restricted chase termination for existential rules: a hierarchical approach and experimentation
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies | 2021-02-23 | Paper |
Three-valued semantics for hybrid MKNF knowledge bases revisited
Artificial Intelligence | 2017-11-21 | Paper |
Well-founded operators for normal hybrid MKNF knowledge bases
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Recycling computed answers in rewrite systems for abduction
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Flexible approximators for approximating fixpoint theory
Advances in Artificial Intelligence | 2016-06-22 | Paper |
Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Disjunctive logic programs with existential quantification in rule heads
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Reconciling well-founded semantics of DL-programs and aggregate programs | 2014-02-25 | Paper |
Embedding functions into disjunctive logic programs
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Relating weight constraint and aggregate programs: semantics and representation
Theory and Practice of Logic Programming | 2013-08-22 | Paper |
Well-supported semantics for logic programs with generalized rules
Correct Reasoning | 2012-07-23 | 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 |
| Embedding functions into disjunctive logic programs | 2011-08-24 | Paper |
Level mapping induced loop formulas for weight constraint and aggregate logic programs
Fundamenta Informaticae | 2011-06-14 | Paper |
Strong equivalence of logic programs with abstract constraint atoms
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Level mapping induced loop formulas for weight constraint and aggregate logic programs
Fundamenta Informaticae | 2011-03-28 | Paper |
Loop formulas for description logic programs
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors
Information Processing Letters | 2010-01-29 | Paper |
Weight Constraint Programs with Functions
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
A Default Approach to Semantics of Logic Programs with Constraint Atoms
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 |
Lparse Programs Revisited: Semantics and Representation of Aggregates
Logic Programming | 2009-01-22 | 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 and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | 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 |
| scientific article; zbMATH DE number 2088041 (Why is no real title available?) | 2004-08-12 | 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 |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial Intelligence | 2002-09-09 | 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 |
Iterative belief revision in extended logic programming
Theoretical Computer Science | 1997-02-27 | Paper |
On the equivalence of semantics for normal logic programs
The Journal of Logic Programming | 1995-04-06 | 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 |
Autoepistemic circumscription and logic programming
Journal of Automated Reasoning | 1994-03-13 | Paper |
Conflict-free routing for BPC-permutations on synchronous hypercubes
Parallel Computing | 1993-05-16 | Paper |
An implementation of a nonlinear skewing scheme
Information Processing Letters | 1993-01-16 | Paper |
Unification modulo an equality theory for equational logic programming
Journal of Computer and System Sciences | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4210121 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4164143 (Why is no real title available?) | 1989-01-01 | Paper |
Enumerating outer narrowing derivations for constructor-based term rewriting systems
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060700 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3960989 (Why is no real title available?) | 1986-01-01 | Paper |
A class of confluent term rewriting systems and unification
Journal of Automated Reasoning | 1986-01-01 | Paper |
