| Publication | Date of Publication | Type |
|---|
| Epistemic logic programs: a study of some properties | 2025-01-03 | Paper |
| Reasoning on relations, modalities, and sets | 2024-09-06 | Paper |
| Parallel Logic Programming: A Sequel | 2023-12-12 | Paper |
| Epistemic logic programs: a study of some properties | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5087786 | 2022-07-01 | Paper |
| An epistemic logic for multi-agent systems with budget and costs | 2021-12-01 | Paper |
| Adding Metalogic Features to Knowledge Representation Languages* | 2021-10-25 | Paper |
| Multi-context systems in dynamic environments | 2019-08-13 | Paper |
| RASP and ASP as a fragment of linear logic | 2018-08-28 | Paper |
| Query answering in resource-based answer set semantics | 2017-11-09 | Paper |
| Decidability results for sets with atoms | 2017-07-12 | Paper |
| Negation as a Resource: a Novel View on Answer Set Semantics* | 2016-08-15 | Paper |
| Qualitative uncertainty orderings revised | 2013-12-04 | Paper |
| Negation as a Resource: A Novel View on Answer Set Semantics | 2013-10-10 | Paper |
| Nested weight constraints in ASP | 2013-07-30 | Paper |
| Autonomous agents coordination: Action languages meet CLP() and Linda | 2013-06-26 | Paper |
| Layered map reasoning | 2013-05-24 | Paper |
| An Agg Application Supporting Visual Reasoning1 | 2013-05-10 | Paper |
| Distributed colorings for collision-free routing in sink-centric sensor networks | 2012-09-13 | Paper |
| BAAC: a Prolog system for action description and agents coordination | 2012-08-29 | Paper |
| Strong Equivalence of RASP Programs | 2012-07-23 | Paper |
| A graphical representation of relational formulae with complementation | 2012-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100236 | 2011-11-23 | Paper |
| Weight Constraints with Preferences in ASP | 2011-05-26 | Paper |
| Perspectives on Logic-Based Approaches for Reasoning about Actions and Change | 2011-05-19 | Paper |
| Extending and Implementing RASP | 2011-03-28 | Paper |
| An Investigation of Multi-Agent Planning in CLP | 2011-03-28 | Paper |
| Theory-Specific Automated Reasoning | 2010-07-20 | Paper |
| Answer Set Programming with Resources | 2010-04-21 | Paper |
| Multivalued action languages with constraints in CLP(FD) | 2010-04-07 | Paper |
| An efficient relational deductive system for propositional non-classical logics | 2009-11-30 | Paper |
| Representing Multi-agent Planning in CLP | 2009-11-10 | Paper |
| An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems | 2009-10-27 | Paper |
| Modeling preferences and conditional preferences on resource consumption and production in ASP | 2009-06-08 | Paper |
| Multivalued Action Languages with Constraints in CLP(FD) | 2009-03-05 | Paper |
| An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics | 2009-01-20 | Paper |
| Comparative uncertainty: theory and automation | 2008-04-10 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| The axiom of elementary sets on the edge of Peircean expressibility | 2006-01-16 | Paper |
| Three-variable statements of set-pairing | 2004-10-27 | Paper |
| Compiling dyadic first-order specifications into map algebra | 2003-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539604 | 2002-07-10 | Paper |
| Goals and benchmarks for automated map reasoning | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503910 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940937 | 2000-02-28 | Paper |
| \(T\)-resolution: Refinements and model elimination | 2000-01-25 | Paper |
