| Publication | Date of Publication | Type |
|---|
| Comparing planning domain models using answer set programming | 2024-05-29 | Paper |
| Master Surgical Scheduling via Answer Set Programming | 2024-02-13 | Paper |
| Rescheduling rehabilitation sessions with answer set programming | 2023-06-15 | Paper |
| Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving | 2022-04-11 | Paper |
| The Seventh Answer Set Programming Competition: Design and Results | 2021-09-03 | Paper |
| ASP-Core-2 Input Language Format | 2021-09-03 | Paper |
| Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming | 2021-09-03 | Paper |
| Abstract Solvers for Computing Cautious Consequences of ASP programs | 2020-05-04 | Paper |
| Abstract solvers for quantified Boolean formulas and their applications | 2020-02-10 | Paper |
| Design and results of the second international competition on computational models of argumentation | 2020-01-20 | Paper |
| Translation-based approaches for solving disjunctive temporal problems with preferences | 2019-10-25 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| An ASP-based framework for the manipulation of articulated objects using dual-arm robots | 2019-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631190 | 2019-04-24 | Paper |
| Shared aggregate sets in answer set programming | 2018-12-04 | Paper |
| Cautious reasoning in ASP via minimal models and unsatisfiable cores | 2018-12-04 | Paper |
| CASP solutions for planning in hybrid domains | 2017-11-09 | Paper |
| Disjunctive answer set solvers via templates | 2017-11-09 | Paper |
| The Sixth Answer Set Programming Competition | 2017-10-24 | Paper |
| Nurse scheduling via answer set programming | 2017-09-05 | Paper |
| The design of the Seventh Answer Set Programming Competition | 2017-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282970 | 2017-07-18 | Paper |
| Abstract Solvers for Dung’s Argumentation Frameworks | 2016-03-10 | Paper |
| Design and results of the Fifth Answer Set Programming Competition | 2015-12-28 | Paper |
| Multi-engine ASP solving with policy adaptation | 2015-12-28 | Paper |
| The Design of the Sixth Answer Set Programming Competition | 2015-11-04 | Paper |
| Multi-level Algorithm Selection for ASP | 2015-11-04 | Paper |
| Applying Machine Learning Techniques to ASP Solving | 2014-02-25 | Paper |
| \textsf{TSAT++}: an open platform for satisfiability modulo theories | 2013-09-25 | Paper |
| Solving disjunctive temporal problems with preferences using maximum satisfiability | 2012-10-25 | Paper |
| Planning as satisfiability with IPC simple preferences and action costs | 2012-10-25 | Paper |
| Algorithms for Solving Satisfiability Problems with Qualitative Preferences | 2012-07-23 | Paper |
| Look-back techniques for ASP programs with aggregates | 2012-07-04 | Paper |
| An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints | 2012-05-11 | Paper |
| Introducing Preferences in Planning as Satisfiability | 2011-06-10 | Paper |
| Solving satisfiability problems with preferences | 2010-11-19 | Paper |
| On the relation among answer set solvers | 2009-07-06 | Paper |
| optsat: A Tool for Solving SAT Related Optimization Problems | 2008-10-30 | Paper |
| Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers | 2008-09-29 | Paper |
| Experimenting with Look-Back Heuristics for Hard ASP Programs | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Answer set programming based on propositional satisfiability | 2007-01-30 | Paper |
| The SAT-based approach to separation logic | 2007-01-24 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| AI*IA 2005: Advances in Artificial Intelligence | 2006-06-27 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708926 | 2003-06-20 | Paper |
