| Publication | Date of Publication | Type |
|---|
| Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL | 2023-04-04 | Paper |
| Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter | 2023-03-31 | Paper |
| An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases | 2022-09-30 | Paper |
| Hypothetical updates, priority and inconsistency in a logic programming language | 2022-08-30 | Paper |
| On the KLM properties of a fuzzy DL with typicality | 2022-06-15 | Paper |
| A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps | 2022-03-09 | Paper |
| Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model | 2021-12-01 | Paper |
| A reconstruction of multipreference closure | 2021-08-16 | Paper |
| Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure | 2021-05-20 | Paper |
| An ASP approach for reasoning in a concept-aware multipreferential lightweight DL | 2020-12-13 | Paper |
| Adding the power-set to description logics | 2020-04-21 | Paper |
| Reasoning about exceptions in ontologies: an approximation of the multipreference semantics | 2020-02-20 | Paper |
| Extending \(\mathcal{ALC}\) with the power-set construct | 2020-02-18 | Paper |
| A Multi-engine Theorem Prover for a Description Logic of Typicality | 2020-02-10 | Paper |
| An abductive proof procedure for conditional logic programming | 2019-04-29 | Paper |
| Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure | 2018-10-02 | Paper |
| Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 | 2018-05-03 | Paper |
| ASP for minimal entailment in a rational extension of SROEL | 2017-11-09 | Paper |
| Achieving completeness in the verification of action theories by Bounded Model Checking in ASP | 2015-12-28 | Paper |
| Semantic characterization of rational closure: from propositional logic to description logics | 2015-12-18 | Paper |
| Analytic tableaux calculi for KLM logics of nonmonotonic reasoning | 2015-09-17 | Paper |
| Tableau calculus for preference-based conditional logics | 2015-09-17 | Paper |
| Logics in access control: a conditional approach | 2015-01-12 | Paper |
| Business process verification with constraint temporal answer set programming | 2014-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852084 | 2013-10-07 | Paper |
| A non-monotonic description logic for reasoning about typicality | 2013-08-26 | Paper |
| Reasoning about actions with Temporal Answer Sets | 2013-06-26 | Paper |
| A Minimal Model Semantics for Nonmonotonic Reasoning | 2012-09-21 | Paper |
| A Conditional Constructive Logic for Access Control and Its Sequent Calculus | 2011-07-01 | Paper |
| A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ | 2011-07-01 | Paper |
| A Nonmonotonic Extension of KLM Preferential Logic P | 2010-10-12 | Paper |
| Verifying Business Process Compliance by Reasoning about Actions | 2010-08-24 | Paper |
| Knowledge Representation and Non-monotonic Reasoning | 2010-07-20 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| ALC + T: a Preferential Extension of Description Logics | 2010-02-05 | Paper |
| Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results | 2009-11-10 | Paper |
| Verifying Agents’ Conformance with Multiparty Protocols | 2009-08-20 | Paper |
| Analytic Tableau Calculi for KLM Rational Logic R | 2008-10-30 | Paper |
| Reasoning about Typicality in Preferential Description Logics | 2008-10-27 | Paper |
| Analytic Tableaux for KLM Preferential and Cumulative Logics | 2008-05-27 | Paper |
| Preferential Description Logics | 2008-05-15 | Paper |
| KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning | 2008-01-04 | Paper |
| Weak AGM postulates and strong Ramsey test: A logical formalization | 2007-10-23 | Paper |
| Specifying and verifying interaction protocols in a temporal action logic | 2007-07-25 | Paper |
| Tableau-based automata construction for dynamic linear time temporal logic | 2007-01-24 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Conditional logic of actions and causation | 2006-02-07 | Paper |
| Programming rational agents in a modal action logic | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448379 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708933 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799257 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799264 | 2003-03-18 | Paper |
| Iterated belief revision and conditional logic | 2002-06-24 | Paper |
| Reasoning about actions in dynamic linear time temporal logic | 2001-05-16 | Paper |
| Ramification and causality in a modal action logic | 2000-12-19 | Paper |
| Conditional reasoning in logic programming | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246975 | 2000-01-12 | Paper |
| Combining negation as failure and embedded implications in logic programs | 1999-03-07 | Paper |
| A modal extension of logic programming: modularity, beliefs and hypothetical reasoning | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838802 | 1998-10-08 | Paper |
| Extending negation as failure by abduction: A three-valued stable model semantics | 1997-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893673 | 1997-01-02 | Paper |
| Structuring logic programs: a modal approach | 1995-05-18 | Paper |
| On cumulative default logics | 1995-01-02 | Paper |
| Extending Horn clause logic with implication goals | 1992-06-28 | Paper |
