| 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 |
| Towards practical deletion repair of inconsistent DL-programs | 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 |
| Distributed evaluation of nonmonotonic multi-context systems | 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 |
| Monitoring agents using declarative planning | 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 |
