| Publication | Date of Publication | Type |
|---|
| Metric temporal equilibrium logic over timed traces | 2025-01-03 | Paper |
| Clingraph: a system for ASP-based visualization | 2025-01-03 | Paper |
| Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis | 2024-07-19 | Paper |
| Hamiltonian cycle reconfiguration with answer set programming | 2024-05-29 | Paper |
| Recongo: bounded combinatorial reconfiguration with answer set programming | 2024-05-29 | Paper |
| Past-present temporal programs over finite traces | 2024-05-29 | Paper |
| A general framework for preferences in answer set programming | 2023-12-14 | Paper |
| Metric dynamic equilibrium logic | 2023-10-30 | Paper |
| Answer set programming made easy | 2023-08-17 | Paper |
| Metric temporal answer set programming over timed traces | 2023-04-04 | Paper |
| \textit{Clingraph}: ASP-based visualization | 2023-04-04 | Paper |
| Towards Verifying Logic Programs in the Input Language of clingo | 2022-11-09 | Paper |
| A tutorial on hybrid answer set solving with \textit{clingo} | 2022-07-01 | Paper |
| Planning with Incomplete Information in Quantified Answer Set Programming | 2022-01-10 | Paper |
| Train scheduling with hybrid answer set programming | 2021-09-03 | Paper |
| plasp 3: towards effective ASP planning | 2021-09-03 | Paper |
| ASP-Core-2 input language format | 2021-09-03 | Paper |
| \texttt{eclingo}: a solver for epistemic logic programs | 2020-12-13 | Paper |
| Verifying Tight Logic Programs with anthem and vampire | 2020-12-13 | Paper |
| Towards metric temporal answer set programming | 2020-12-13 | Paper |
| Temporal logic programs with temporal description logic axioms | 2020-06-04 | Paper |
| Lower bound founded logic of here-and-there | 2020-02-18 | Paper |
| Computing Diverse Optimal Stable Models | 2019-10-24 | Paper |
| Towards dynamic answer set programming over finite traces | 2019-10-10 | Paper |
| \textit{telingo} = ASP + time | 2019-10-10 | Paper |
| The return of \textit{xorro} | 2019-10-10 | Paper |
| Train scheduling with hybrid ASP | 2019-10-10 | Paper |
| Verifying strong equivalence of programs in the input language of \textsc{gringo} | 2019-10-10 | Paper |
| A simple signed system for paraconsistent reasoning | 2019-10-08 | Paper |
| Hybrid metabolic network completion | 2019-09-19 | Paper |
| Multi-shot ASP solving with clingo | 2019-09-19 | Paper |
| Gelfond-Zhang aggregates as propositional formulas | 2019-08-28 | Paper |
| Skeptical query-answering in Constrained Default Logic | 2019-04-29 | Paper |
| \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming | 2019-03-06 | Paper |
| \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description | 2019-01-15 | Paper |
| Temporal answer set programming on finite traces | 2018-12-04 | Paper |
| Computing diverse Boolean networks from phosphoproteomic time series data | 2018-10-17 | Paper |
| A minimization-based approach to iterated multi-agent belief change | 2018-07-12 | Paper |
| Answer set programming modulo acyclicity | 2017-11-09 | Paper |
| Abstract gringo | 2017-11-09 | Paper |
| \textit{clingcon}: the next generation | 2017-11-09 | Paper |
| aspeed: solver scheduling via answer set programming | 2017-11-09 | Paper |
| Shift design with answer set programming | 2017-11-09 | Paper |
| Clingo goes linear constraints over reals and integers | 2017-11-08 | Paper |
| Hybrid metabolic network completion | 2017-09-05 | Paper |
| plasp 3: towards effective ASP planning | 2017-09-05 | Paper |
| Catnap: generating test suites of constrained combinatorial testing with answer set programming | 2017-09-05 | Paper |
| Gelfond-Zhang aggregates as propositional formulas | 2017-09-05 | Paper |
| Automatic construction of parallel portfolios via algorithm configuration | 2017-02-22 | Paper |
| Writing declarative specifications for clauses | 2016-11-30 | Paper |
| Answer set programming modulo acyclicity | 2015-11-04 | Paper |
| Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics | 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 |
| Integrating ASP into ROS for reasoning in robots | 2015-11-04 | Paper |
| An implementation of consistency-based multi-agent belief change using ASP | 2015-11-04 | Paper |
| Implementing preferences with asprin | 2015-11-04 | Paper |
| Progress in clasp series 3 | 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 |
| A model-theoretic approach to belief change in answer set programming | 2015-09-17 | Paper |
| Ricochet Robots reloaded: a case-study in multi-shot ASP solving | 2015-02-04 | Paper |
| claspfolio2: Advances in Algorithm Selection for Answer Set Programming | 2014-11-25 | Paper |
| Answer set programming as a modeling language for course timetabling | 2014-02-27 | Paper |
| Minimal intervention strategies in logical signaling networks with ASP | 2014-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398056 | 2014-02-25 | Paper |
| Unsatisfiability-based optimization in clasp | 2014-02-25 | 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 |
| Extending the metabolic network of Ectocarpus siliculosus using answer set programming | 2013-10-10 | Paper |
| Multi-threaded ASP solving with clasp | 2013-03-13 | Paper |
| ASP modulo CSP: the clingcon system | 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 |
| Merging Logic Programs under Answer Set Semantics | 2012-11-13 | Paper |
| On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers | 2012-11-13 | Paper |
| Evolution of ontologies using ASP | 2012-08-29 | Paper |
| Multi-criteria optimization in answer set programming | 2012-08-29 | Paper |
| Gearing up for effective ASP planning | 2012-07-23 | Paper |
| Knowledge-based multi-criteria optimization to support indoor positioning | 2012-05-23 | Paper |
| Complex optimization in answer set programming | 2011-08-16 | Paper |
| Automatic network reconstruction using ASP | 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 |
| Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories | 2010-04-06 | Paper |
| On the relation between Reiter's default logic and its (major) variants | 2010-04-06 | Paper |
| Optimality theory through default logic | 2010-03-03 | 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 |
| Detecting Inconsistencies in Large Biological Networks with Answer Set Programming | 2009-01-22 | Paper |
| Engineering an Incremental ASP Solver | 2009-01-22 | Paper |
| Qualitative Constraint Enforcement in Advanced Policy Specification | 2008-09-16 | Paper |
| COBA 2.0: A Consistency-Based Belief Change System | 2008-09-16 | Paper |
| Modeling biological networks by action languages via answer set programming | 2008-09-02 | Paper |
| The nomore + + Approach to Answer Set Solving | 2008-05-27 | Paper |
| Model-Based Knowledge Representation and Reasoning Via Answer Set Programming | 2008-04-11 | Paper |
| Modelling Biological Networks by Action Languages Via Answer Set Programming | 2008-03-11 | Paper |
| Tableau Calculi for Answer Set Programming | 2008-03-11 | Paper |
| Finding Metabolic Pathways in Decision Forests | 2008-03-06 | Paper |
| Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | 2008-03-04 | Paper |
| A General Framework for Expressing Preferences in Causal Reasoning and Planning | 2007-12-10 | Paper |
| Conflict-Driven Answer Set Enumeration | 2007-11-13 | Paper |
| A Preference-Based Framework for Updating Logic Programs | 2007-11-13 | Paper |
| Debugging ASP Programs by Means of ASP | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| A consistency-based framework for merging knowledge bases | 2007-07-25 | Paper |
| Graphs and colorings for answer set programming | 2007-03-08 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Expressing Default Logic Variants in Default Logic | 2006-03-09 | Paper |
| A consistency-based approach for belief change | 2006-02-07 | Paper |
| Inconsistency Tolerance | 2005-08-17 | Paper |
| Inconsistency Tolerance | 2005-08-17 | Paper |
| On Computing Belief Change Operations using Quantified Boolean Formulas | 2005-03-21 | Paper |
| A semantic framework for preference handling in answer set programming | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460685 | 2004-03-29 | Paper |
| Reasoning credulously and skeptically within a single extension | 2004-03-07 | Paper |
| A framework for compiling preferences in logic programs | 2004-03-01 | Paper |
| Compiling specificity into approaches to nonmonotonic reasoning | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708944 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708928 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800166 | 2003-05-18 | Paper |
| Optimality theory as a family of cumulative logics | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784828 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784866 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784859 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536338 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530457 | 2002-11-13 | Paper |
| The role of default logic in knowledge representation | 2002-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524786 | 2001-07-29 | Paper |
| Expressing preferences in default logic | 2000-12-12 | Paper |
| Alternative foundations for Reiter's default logic | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955339 | 2000-10-25 | Paper |
| What is a (non-constructive) non-monotone logical system? | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262999 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260695 | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236375 | 1999-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246972 | 1999-06-16 | Paper |
| Prolog technology for default reasoning: proof theory and compilation techniques | 1999-01-12 | Paper |
| Towards a classification of defaults logics | 1998-12-10 | Paper |
| Signed systems for paraconsistent reasoning | 1998-08-03 | Paper |
| The automation of reasoning with incomplete information. From semantic foundations to efficient computation | 1998-06-04 | Paper |
| Default reasoning by deductive planning | 1996-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4837944 | 1995-11-20 | Paper |
| Alternative approaches to default logic | 1995-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298362 | 1994-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028825 | 1993-03-28 | Paper |
