| Publication | Date of Publication | Type |
|---|
| ASP and subset minimality: enumeration, cautious reasoning and MUSes | 2023-06-27 | Paper |
| Modal logic S5 in answer set programming with lazy creation of worlds | 2023-04-04 | Paper |
| Enumeration of minimal models and MUSes in WASP | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020967 | 2022-01-11 | Paper |
| Modal Logic S5 Satisfiability in Answer Set Programming | 2022-01-10 | Paper |
| Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search | 2021-05-20 | Paper |
| Coalition formation in social environments with logic-based agents1 | 2021-01-20 | Paper |
| A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming | 2020-12-13 | Paper |
| Optimum stable model search: algorithms and implementation | 2020-08-05 | Paper |
| Enhancing Magic Sets with an Application to Ontological Reasoning | 2020-05-04 | Paper |
| Inconsistency Proofs for ASP: The ASP - DRUPE Format | 2020-05-04 | Paper |
| Chain answer sets for logic programs with generalized atoms | 2020-02-18 | Paper |
| Answer Set Enumeration via Assumption Literals | 2020-02-10 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| Argumentation Reasoning via Circumscription with Pyglaf | 2019-07-17 | Paper |
| Model Enumeration via Assumption Literals | 2019-07-17 | 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 |
| A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming | 2018-12-04 | Paper |
| Evaluating Answer Set Programming with Non-Convex Recursive Aggregates | 2017-11-09 | Paper |
| Rewriting recursive aggregates in answer set programming: back to monotonicity | 2017-11-09 | Paper |
| Complexity and compilation of GZ-aggregates in answer set programming | 2017-11-09 | Paper |
| Fuzzy answer set computation via satisfiability modulo theories | 2017-11-09 | Paper |
| Anytime answer set optimization via unsatisfiable core shrinking | 2017-11-09 | Paper |
| Model enumeration in propositional circumscription via unsatisfiable core analysis | 2017-11-08 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
| Supportedly stable answer sets for logic programs with generalized atoms | 2017-06-26 | Paper |
| Advances in WASP | 2015-11-04 | Paper |
| Anytime Computation of Cautious Consequences in Answer Set Programming | 2014-11-25 | Paper |
| Complexity of super-coherence problems in ASP | 2014-05-30 | Paper |
| Fuzzy answer sets approximations | 2014-02-27 | Paper |
| The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics | 2013-10-10 | Paper |
| Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues | 2013-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906882 | 2013-02-28 | Paper |
| Magic sets for disjunctive Datalog programs | 2012-11-15 | Paper |
| Team-building with answer set programming in the Gioia-Tauro seaport | 2012-08-30 | Paper |
| DYNAMIC MAGIC SETS FOR DISJUNCTIVE DATALOG PROGRAMS | 2012-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112638 | 2012-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011297 | 2011-06-28 | Paper |
| Dynamic Magic Sets for Programs with Monotone Recursive Aggregates | 2011-05-26 | Paper |
| Disjunctive ASP with functions: Decidable queries and effective computation | 2010-08-19 | Paper |
