| Publication | Date of Publication | Type |
|---|
| \texttt{xASP}: an explanation generation system for answer set programming | 2023-04-04 | Paper |
Action-centered information retrieval
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| Explaining actual causation via reasoning about actions and change | 2020-02-18 | Paper |
| An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | 2019-10-24 | Paper |
An ASP methodology for understanding narratives about stereotypical activities
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Constraint answer set solver EZCSP and why integration schemas matter
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
CASP solutions for planning in hybrid domains
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A theory of intentions for intelligent agents (extended abstract)
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
ASP with non-herbrand partial functions: a language and system for practical use
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| An Answer Set Solver for non-Herbrand Programs: Progress Report | 2014-02-25 | Paper |
Prolog and ASP inference under one roof
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
A ``conservative approach to extending answer set programming with non-Herbrand functions
Correct Reasoning | 2012-07-23 | Paper |
| Learning domain-specific heuristics for answer set solvers | 2012-05-11 | Paper |
| Representing constraint satisfaction problems in answer set programming | 2011-08-24 | Paper |
| A general method to solve complex problems by combining multiple answer set programs | 2011-08-24 | Paper |
| Learning and using domain-specific heuristics in ASP solvers | 2011-06-28 | Paper |
Industrial-size scheduling with ASP+CP
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Formalization of psychological knowledge in answer set programming and its application
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Splitting a CR-Prolog Program
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
CR-Prolog as a Specification Language for Constraint Satisfaction Problems
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
cr-models: An Inference Engine for CR-Prolog
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Answer set based design of knowledge systems
Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 1954102 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1884392 (Why is no real title available?) | 2003-03-18 | Paper |
