| Publication | Date of Publication | Type |
|---|
| Characterizations of the stable semantics by partial evaluation | 2022-08-30 | Paper |
| Characterizing D-WFS: Confluence and iterated GCWA | 2019-10-08 | Paper |
| Super logic programs | 2017-07-12 | Paper |
| Heterogeneous temporal probabilistic agents | 2017-07-12 | Paper |
| Probabilistic agent programs | 2017-06-13 | Paper |
| Privacy Preservation Using Multi-context Systems and Default Logic | 2012-07-23 | Paper |
| Towards an environment interface standard for agent platforms | 2012-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007257 | 2011-06-21 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Reasoning about temporal properties of rational play | 2009-07-06 | Paper |
| The First Contest on Multi-agent Systems Based on Computational Logic | 2009-04-28 | Paper |
| The Second Contest on Multi-Agent Systems Based on Computational Logic | 2009-01-20 | Paper |
| The Relationship Between Reasoning About Privacy and Default Logics | 2008-05-27 | Paper |
| Model checking multi-agent systems with logic based Petri nets | 2008-04-21 | Paper |
| Model checking abilities of agents: a closer look | 2008-04-11 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Improving performance of heterogeneous agents | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460681 | 2004-03-29 | Paper |
| Transformation-based bottom-up computation of the well-founded model | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708916 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799289 | 2003-03-18 | Paper |
| IMPACTing SHOP: Putting an AI planner into a multi-agent environment | 2003-03-10 | Paper |
| Relating defeasible and normal logic programming through transformation properties. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751371 | 2002-08-29 | Paper |
| Computation of the semantics of autoepistemic belief theories | 2002-07-24 | Paper |
| Explaining updates by minimal sums | 2002-03-03 | Paper |
| Meta-agent programs | 2001-10-30 | Paper |
| Temporal agent programs | 2001-08-20 | Paper |
| On the equivalence of the static and disjunctive well-founded semantics and its computation | 2001-08-20 | Paper |
| A general theory of confluent rewriting systems for logic programming and its applications | 2001-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501668 | 2000-09-04 | Paper |
| A framework to incorporate non-monotonic reasoning into constraint logic programming | 2000-05-28 | Paper |
| Semantics of (disjunctive) logic programs based on partial evaluation | 1999-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225120 | 1999-08-08 | Paper |
| Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA | 1998-08-03 | Paper |
| Characterizations of the disjunctive stable semantics by partial evaluation | 1998-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332416 | 1997-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858040 | 1995-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327611 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327612 | 1995-04-09 | Paper |
| The relationship between KLM and MAK models for nonmonotonic inference operations | 1994-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282551 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284031 | 1994-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202911 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735175 | 1989-01-01 | Paper |
