| Publication | Date of Publication | Type |
|---|
Applying visible strong equivalence in answer-set program transformations
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Hyper tableaux
Logics in Artificial Intelligence | 2019-10-08 | Paper |
A tableau calculus for minimal model reasoning
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Cumulativity Tailored for Nonmonotonic Reasoning
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Simulating parity reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| BMC via on-the-fly determinization | 2013-08-30 | Paper |
Conflict-driven XOR-clause learning
Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
Origins of answer-set programming -- some background and two personal accounts
(available as arXiv preprint) | 2013-02-28 | Paper |
SMT-based induction methods for timed systems
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Applying visible strong equivalence in answer-set program transformations
Correct Reasoning | 2012-07-23 | Paper |
Solving parity games by a reduction to SAT
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Partitioning search spaces of a randomized search
Fundamenta Informaticae | 2011-11-22 | Paper |
| scientific article; zbMATH DE number 5942124 (Why is no real title available?) | 2011-08-24 | Paper |
Strong equivalence of logic programs with abstract constraint atoms
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Compact translations of non-disjunctive answer set programs to propositional clauses
Lecture Notes in Computer Science | 2011-05-19 | Paper |
| On testing answer-set programs | 2011-05-11 | Paper |
| Extending clause learning DPLL with parity reasoning | 2011-05-11 | Paper |
Partitioning SAT instances for distributed solving
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
A Module-Based Framework for Multi-language Constraint Modeling
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Computing Stable Models via Reductions to Difference Logic
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
| Incorporating clause learning in grid-based randomized SAT solving | 2009-10-26 | Paper |
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Justification-Based Local Search with Adaptive Noise Strategies
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Strategies for Solving SAT in Grids by Randomized Search
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Answer Set Programming without Unstratified Negation
Logic Programming | 2009-01-22 | Paper |
Incorporating Learning in Grid-Based Randomized SAT Solving
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
Answer Set Programming: A Declarative Approach to Solving Search Problems
Logics in Artificial Intelligence | 2008-10-30 | Paper |
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
Journal of Algorithms | 2008-09-29 | Paper |
Logic programs with monotone abstract constraint atoms
Theory and Practice of Logic Programming | 2008-03-27 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence | 2007-10-23 | Paper |
| Hard satisfiable clause sets for benchmarking equivalence reasoning techniques | 2007-03-30 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Unrestricted vs restricted cut in a tableau method for Boolean circuits
Annals of Mathematics and Artificial Intelligence | 2006-01-23 | Paper |
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 1931680 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1890628 (Why is no real title available?) | 2003-04-02 | Paper |
| scientific article; zbMATH DE number 1884391 (Why is no real title available?) | 2003-03-18 | Paper |
| Nonmonotonic reasoning: Towards efficient calculi and implementations | 2002-08-29 | Paper |
Extending and implementing the stable model semantics
Artificial Intelligence | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1696820 (Why is no real title available?) | 2002-01-28 | Paper |
| Extending the Smodels system with cardinality and weight constraints | 2001-08-30 | Paper |
On the equivalence of the static and disjunctive well-founded semantics and its computation
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1163573 (Why is no real title available?) | 2000-11-20 | Paper |
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1453071 (Why is no real title available?) | 2000-05-25 | Paper |
A decision method for nonmonotonic reasoning based on autoepistemic reasoning
Journal of Automated Reasoning | 1995-05-30 | Paper |
On the impact of stratification on the complexity of nonmonotonic reasoning
Journal of Applied Non-Classical Logics | 1994-12-21 | Paper |
| scientific article; zbMATH DE number 517078 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 549992 (Why is no real title available?) | 1994-04-12 | Paper |
| scientific article; zbMATH DE number 500200 (Why is no real title available?) | 1994-02-01 | Paper |
| scientific article; zbMATH DE number 97792 (Why is no real title available?) | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 67493 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4183390 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4075021 (Why is no real title available?) | 1988-01-01 | Paper |
