| Publication | Date of Publication | Type |
|---|
| Minimal constraint violation probability in model predictive control for linear systems | 2025-01-21 | Paper |
| Model-based recasting in answer-set programming | 2018-08-28 | Paper |
| A model building framework for answer set programming with external computations | 2017-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282982 | 2017-07-18 | Paper |
| Semantical characterizations and complexity of equivalences in answer set programming | 2017-07-12 | Paper |
| Reasoning about evolving nonmonotonic knowledge bases | 2017-07-12 | Paper |
| Data repair of inconsistent nonmonotonic description logic programs | 2016-10-14 | Paper |
| Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies | 2016-09-07 | Paper |
| Semi-equilibrium models for paracoherent answer set programs | 2016-03-08 | Paper |
| Domain expansion for ASP-programs with external sources | 2016-03-08 | Paper |
| Weighted Electoral Control | 2015-05-28 | Paper |
| Preference-Based Diagnosis Selection in Multi-Context Systems | 2015-02-04 | Paper |
| Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | 2015-01-14 | Paper |
| A Complexity Assessment for Queries Involving Sufficient and Necessary Causes | 2015-01-14 | Paper |
| Causal Graph Justifications of Logic Programs | 2014-11-25 | Paper |
| Finding explanations of inconsistency in multi-context systems | 2014-10-13 | Paper |
| FLP answer set semantics without circular justifications for general logic programs | 2014-06-10 | Paper |
| Efficient HEX-Program Evaluation Based on Unfounded Sets | 2014-03-24 | Paper |
| Hex Semantics via Approximation Fixpoint Theory | 2013-10-10 | Paper |
| Towards Query Answering in Relational Multi-Context Systems | 2013-10-10 | Paper |
| Finding similar/diverse solutions in answer set programming | 2013-06-14 | Paper |
| Conflict-driven ASP solving with external sources | 2013-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906884 | 2013-02-28 | Paper |
| Modular Nonmonotonic Logic Programming Revisited | 2012-11-13 | Paper |
| Exploiting Unfounded Sets for HEX-Program Evaluation | 2012-09-21 | Paper |
| Simulating Production Rules Using ACTHEX | 2012-07-23 | Paper |
| HEX programs with action atoms | 2012-05-11 | Paper |
| A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There | 2011-06-15 | Paper |
| Pushing Efficient Evaluation of HEX Programs by Modular Decomposition | 2011-05-26 | Paper |
| Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems | 2011-05-26 | Paper |
| Relational Information Exchange and Aggregation in Multi-Context Systems | 2011-05-26 | Paper |
| Symmetry Breaking for Distributed Multi-Context Systems | 2011-05-26 | Paper |
| Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources | 2011-05-19 | Paper |
| Reasoning about Evolving Nonmonotonic Knowledge Bases | 2011-05-06 | Paper |
| Updating action domain descriptions | 2011-01-31 | Paper |
| The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems | 2010-10-01 | Paper |
| Preference-Based Inconsistency Assessment in Multi-Context Systems | 2010-10-01 | Paper |
| Decomposition of Distributed Nonmonotonic Multi-Context Systems | 2010-10-01 | Paper |
| The mcs-ie System for Explaining Inconsistency in Multi-Context Systems | 2010-10-01 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Combining Nonmonotonic Knowledge Bases with External Sources | 2010-01-07 | Paper |
| Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs | 2009-11-10 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There | 2009-01-22 | Paper |
| Comparing Action Descriptions Based on Semantic Preferences | 2008-10-30 | Paper |
| Complexity results for answer set programming with bounded predicate arities and implications | 2008-04-21 | Paper |
| Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Comparing action descriptions based on semantic preferences | 2007-10-23 | Paper |
| A knowledge-based approach for selecting information sources | 2007-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460681 | 2004-03-29 | Paper |
| On properties of update sequences based on causal rejection | 2004-03-01 | Paper |
| Using methods of declarative logic programming for intelligent information agents | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800165 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536313 | 2002-06-25 | Paper |
