| Publication | Date of Publication | Type |
|---|
| Epistemic logic programs: a study of some properties | 2025-01-03 | Paper |
| Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking | 2024-02-13 | Paper |
| How to leverage intelligent agents and complex event processing to improve patient monitoring | 2023-06-15 | Paper |
| Epistemic logic programs: a study of some properties | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5087787 | 2022-07-01 | Paper |
| Ensuring trustworthy and ethical behaviour in intelligent logical agents | 2022-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020958 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020984 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020577 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020576 | 2022-01-06 | 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 |
| Negation as a Resource: a Novel View on Answer Set Semantics* | 2016-08-15 | Paper |
| Elio Lanzarone: a life for science | 2015-12-28 | Paper |
| Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments | 2015-11-04 | Paper |
| Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses | 2015-11-04 | Paper |
| Negation as a Resource: A Novel View on Answer Set Semantics | 2013-10-10 | Paper |
| Strong Equivalence of RASP Programs | 2012-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100236 | 2011-11-23 | Paper |
| Weight Constraints with Preferences in ASP | 2011-05-26 | Paper |
| Extending and Implementing RASP | 2011-03-28 | Paper |
| Answer Set Programming with Resources | 2010-04-21 | Paper |
| Context-Based Commonsense Reasoning in the DALI Logic Programming Language | 2010-04-06 | Paper |
| Contracts Violation: Justification via Argumentation | 2009-08-20 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Modeling preferences and conditional preferences on resource consumption and production in ASP | 2009-06-08 | Paper |
| A Heuristic Approach to P2P Negotiation | 2009-02-12 | Paper |
| On the existence of stable models of non-stratified logic programs | 2007-03-08 | Paper |
| Normal forms for answer sets programming | 2006-01-03 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046855 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708902 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707768 | 2003-06-11 | Paper |
| On the equivalence and range of applicability of graph-based representations of logic programs. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537453 | 2002-06-30 | Paper |
| Reflection principles in computational logic | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373452 | 1998-01-21 | Paper |
| Contributions to the stable model semantics of logic programs with negation | 1997-02-28 | Paper |
| A metalogic programming approach: language, semantics and applications | 1994-10-12 | Paper |
| SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE | 1990-01-01 | Paper |
