| Publication | Date of Publication | Type |
|---|
| Towards provenance in heterogeneous knowledge bases | 2023-04-04 | Paper |
| On syntactic forgetting under uniform equivalence | 2021-12-01 | Paper |
| Tractable reasoning using logic programs with intensional concepts | 2021-12-01 | Paper |
| On the limits of forgetting in answer set programming | 2020-11-16 | Paper |
| Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems | 2020-05-14 | Paper |
| A Syntactic Operator for Forgetting that Satisfies Strong Persistence | 2020-05-04 | Paper |
| Telco network inventory validation with NoHR | 2019-10-10 | Paper |
| Equivalence of defeasible normative systems | 2018-08-28 | Paper |
| You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming | 2018-07-12 | Paper |
| Reactive multi-context systems: heterogeneous reasoning in dynamic environments | 2018-05-11 | Paper |
| When you must forget: Beyond strong persistence when forgetting in answer set programming | 2017-11-08 | Paper |
| A bird's-eye view of forgetting in answer-set programming | 2017-09-05 | Paper |
| Moviola: interpreting dynamic logic programs via multi-shot answer set programming | 2017-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282976 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282995 | 2017-07-18 | Paper |
| Inconsistency Management in Reactive Multi-context Systems | 2016-11-30 | Paper |
| Forgetting in ASP: The Forgotten Properties | 2016-11-30 | Paper |
| On updates of hybrid knowledge bases composed of ontologies and rules | 2015-12-22 | Paper |
| What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems | 2015-01-19 | Paper |
| The rise and fall of semantic rule updates based onSE-models | 2014-12-10 | Paper |
| Evolving Bridge Rules in Evolving Multi-Context Systems | 2014-10-14 | Paper |
| Extending Social Abstract Argumentation with Votes on Attacks | 2014-03-31 | Paper |
| Non-monotonic Temporal Goals | 2013-10-10 | Paper |
| Early Recovery in Logic Program Updates | 2013-10-10 | Paper |
| Time Is Up! – Norms with Deadlines in Action Languages | 2013-10-04 | Paper |
| MKNF Knowledge Bases in Multi-Context Systems | 2012-09-21 | Paper |
| A Unifying Perspective on Knowledge Updates | 2012-09-21 | Paper |
| Normative Systems Represented as Hybrid Knowledge Bases | 2011-09-16 | Paper |
| Splitting and updating hybrid knowledge bases | 2011-08-16 | Paper |
| Back and Forth between Rules and SE-Models | 2011-05-26 | Paper |
| Evolving Logic Programs with Temporal Operators | 2011-05-19 | Paper |
| On Semantic Update Operators for Answer-Set Programs | 2011-05-11 | Paper |
| Towards closed world reasoning in dynamic open worlds | 2010-08-19 | Paper |
| Playing with Rules | 2010-02-02 | Paper |
| EVOLP: Tranformation-Based Semantics | 2009-02-12 | Paper |
| EVOLP: An Implementation | 2009-02-12 | Paper |
| Adding Evolving Abilities to a Multi-Agent System | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379040 | 2006-04-06 | Paper |
