| Publication | Date of Publication | Type |
|---|
| Navigating and Querying Answer Sets: How Hard Is It Really and Why? (Empirical Case Study) | 2024-07-16 | Dataset |
| Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes | 2024-05-29 | Paper |
| Enhancing temporal planning by sequential macro-actions | 2024-05-29 | Paper |
| Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems | 2022-09-30 | Paper |
| Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling | 2022-09-30 | Paper |
| Lifting symmetry breaking constraints with inductive logic programming | 2022-08-10 | Paper |
| The Seventh Answer Set Programming Competition: Design and Results | 2021-09-03 | Paper |
| plasp 3: Towards Effective ASP Planning | 2021-09-03 | Paper |
| ASP-Core-2 Input Language Format | 2021-09-03 | Paper |
| Declarative encodings of acyclicity properties | 2020-08-05 | Paper |
| Rewriting optimization statements in answer-set programs | 2019-10-24 | Paper |
| Multi-shot ASP solving with clingo | 2019-09-19 | Paper |
| Abstract gringo | 2017-11-09 | Paper |
| Shift Design with Answer Set Programming* | 2017-11-09 | Paper |
| Rewriting recursive aggregates in answer set programming: back to monotonicity | 2017-11-09 | Paper |
| Answer Set Programming Modulo Acyclicity* | 2017-11-09 | Paper |
| The Sixth Answer Set Programming Competition | 2017-10-24 | Paper |
| plasp 3: towards effective ASP planning | 2017-09-05 | Paper |
| The design of the Seventh Answer Set Programming Competition | 2017-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282991 | 2017-07-18 | Paper |
| Learning discrete decomposable graphical models via constraint optimization | 2017-03-23 | Paper |
| Writing Declarative Specifications for Clauses | 2016-11-30 | Paper |
| Design and results of the Fifth Answer Set Programming Competition | 2015-12-28 | Paper |
| The Design of the Sixth Answer Set Programming Competition | 2015-11-04 | Paper |
| Progress in clasp Series 3 | 2015-11-04 | Paper |
| Answer Set Programming Modulo Acyclicity | 2015-11-04 | Paper |
| Shift Design with Answer Set Programming | 2015-11-04 | Paper |
| aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming | 2015-11-04 | Paper |
| ASP Solving for Expanding Universes | 2015-11-04 | Paper |
| Combining Heuristics for Configuration Problems Using Answer Set Programming | 2015-11-04 | Paper |
| Learning Boolean logic models of signaling networks with ASP | 2015-09-29 | Paper |
| Tableau Calculi for Logic Programs under Answer Set Semantics | 2015-09-17 | Paper |
| Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving | 2015-02-04 | Paper |
| Improving the Normalization of Weight Rules in Answer Set Programs | 2015-01-14 | Paper |
| SAT Modulo Graphs: Acyclicity | 2015-01-14 | Paper |
| Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming | 2013-10-10 | Paper |
| Symbolic System Synthesis Using Answer Set Programming | 2013-10-10 | Paper |
| Accurate Computation of Sensitizable Paths Using Answer Set Programming | 2013-10-10 | Paper |
| Multi-threaded ASP solving with clasp | 2013-03-13 | Paper |
| Conflict-driven answer set solving: from theory to practice | 2012-11-15 | Paper |
| Constraint Answer Set Solving | 2012-11-13 | Paper |
| On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers | 2012-11-13 | Paper |
| Multi-criteria optimization in answer set programming | 2012-08-29 | Paper |
| Gearing Up for Effective ASP Planning | 2012-07-23 | Paper |
| On elementary loops of logic programs | 2012-05-24 | Paper |
| Complex optimization in answer set programming | 2011-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011296 | 2011-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011302 | 2011-06-28 | Paper |
| Detecting inconsistencies in large biological networks with answer set programming | 2011-06-15 | Paper |
| Reactive Answer Set Programming | 2011-05-26 | Paper |
| Coala: A Compiler from Action Languages to ASP | 2010-10-01 | Paper |
| An Incremental Answer Set Programming Based System for Finite ModelComputation | 2010-10-01 | Paper |
| Monotonic Answer Set Programming | 2009-08-24 | Paper |
| Solution Enumeration for Projected Boolean Search Problems | 2009-06-03 | Paper |
| Generic Tableaux for Answer Set Programming | 2009-03-05 | Paper |
| Engineering an Incremental ASP Solver | 2009-01-22 | Paper |
| Detecting Inconsistencies in Large Biological Networks with Answer Set Programming | 2009-01-22 | Paper |
| The nomore + + Approach to Answer Set Solving | 2008-05-27 | Paper |
| Tableau Calculi for Answer Set Programming | 2008-03-11 | Paper |
| Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | 2008-03-04 | Paper |
| Conflict-Driven Answer Set Enumeration | 2007-11-13 | Paper |
| Debugging ASP Programs by Means of ASP | 2007-11-13 | Paper |
| Head-Elementary-Set-Free Logic Programs | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
