| Publication | Date of Publication | Type |
|---|
| Integrating competencies into preventive maintenance scheduling with answer set optimization | 2024-10-30 | Paper |
| Short Boolean formulas as explanations in practice | 2024-05-29 | Paper |
Solution Enumeration by Optimality in Answer Set Programming
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination | 2023-04-04 | Paper |
| On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning | 2023-02-03 | Paper |
Applying visible strong equivalence in answer-set program transformations
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| On syntactic forgetting under uniform equivalence | 2021-12-01 | Paper |
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Information and Computation | 2021-09-21 | Paper |
Boosting Answer Set Optimization with Weighted Comparator Networks
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Declarative encodings of acyclicity properties
Journal Of Logic And Computation | 2020-08-05 | Paper |
| Rewriting optimization statements in answer-set programs | 2019-10-24 | Paper |
| The return of \textit{xorro} | 2019-10-10 | Paper |
Stable-unstable semantics: Beyond NP with normal logic programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Optimizing phylogenetic supertrees using answer set programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Answer set programming modulo acyclicity
Fundamenta Informaticae | 2017-11-09 | Paper |
Clingo goes linear constraints over reals and integers
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| scientific article; zbMATH DE number 6747915 (Why is no real title available?) | 2017-07-18 | Paper |
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Learning discrete decomposable graphical models via constraint optimization
Statistics and Computing | 2017-03-23 | Paper |
Writing declarative specifications for clauses
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Answer set programming modulo acyclicity
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
ASP solving for expanding universes
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Cumulativity Tailored for Nonmonotonic Reasoning
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Improving the normalization of weight rules in answer set programs
Logics in Artificial Intelligence | 2015-01-14 | Paper |
SAT modulo graphs: acyclicity
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Normalizing cardinality rules using merging and sorting constructions
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Applying visible strong equivalence in answer-set program transformations
Correct Reasoning | 2012-07-23 | Paper |
| Sampler programs: the stable model semantics of abstract constraint programs revisited | 2012-05-11 | 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 |
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Some (in)translatability results for normal logic programs and propositional theories
Journal of Applied Non-Classical Logics | 2009-11-30 | 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 |
A Translation-based Approach to the Verification of Modular Equivalence
Journal Of Logic And Computation | 2009-08-24 | Paper |
Removing Redundancy from Answer Set Programs
Logic Programming | 2009-01-22 | Paper |
Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
Theory and Practice of Logic Programming | 2008-12-18 | Paper |
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
Theory and Practice of Logic Programming | 2007-12-10 | Paper |
Modularity Aspects of Disjunctive Stable Models
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Modularity Aspects of Disjunctive Stable Models
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | 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 |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 1931684 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1884384 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1759372 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1696840 (Why is no real title available?) | 2002-01-28 | Paper |
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1453053 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1301756 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1218288 (Why is no real title available?) | 1998-11-03 | Paper |
| scientific article; zbMATH DE number 517078 (Why is no real title available?) | 1994-08-21 | Paper |
