| Publication | Date of Publication | Type |
|---|
| Game equivalence and expressive power of game description languages: a bisimulation approach | 2023-02-20 | Paper |
| Epistemic GDL: a logic for representing and reasoning about imperfect information games | 2021-11-02 | Paper |
| A Hierarchical Approach to Judgment Aggregation with Abstentions | 2019-12-06 | Paper |
| A sequential model of bargaining in logic programming | 2018-12-19 | Paper |
| On axiomatization of epistemic GDL | 2017-11-22 | Paper |
| Refinement of Intentions | 2016-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455626 | 2015-12-11 | Paper |
| How to efficiently allocate houses under price controls? | 2015-10-05 | Paper |
| Representing and reasoning about game strategies | 2015-04-23 | Paper |
| Judgment Aggregation with Abstentions: A Hierarchical Approach | 2013-11-06 | Paper |
| A Sequential Model for Reasoning about Bargaining in Logic Programs | 2013-10-10 | Paper |
| Relevant Minimal Change in Belief Update | 2012-09-21 | Paper |
| A logic-based axiomatic model of bargaining | 2011-01-31 | Paper |
| Frame problem in dynamic logic | 2009-11-30 | Paper |
| AI 2003: Advances in Artificial Intelligence | 2009-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624168 | 2009-04-28 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475138 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475141 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430399 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415199 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708931 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708198 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800162 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784406 | 2002-12-10 | Paper |
| Some contributions to nonmonotonic consequence | 2002-10-17 | Paper |
| Infinitary belief revision | 2002-04-11 | Paper |
| Nonlinear integer programming by Darwin and Boltzmann mixed strategy | 2001-03-22 | Paper |
| Default reasoning and belief revision: A syntax-independent approach | 2001-01-25 | Paper |
| Application of the simulated annealing algorithm to the combinatorial optimization problem with permutation property: An investigation of generation mechanism | 2000-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945926 | 2000-03-26 | Paper |
| Global optimization by Darwin and Boltzmann mixed strategy | 2000-03-21 | Paper |
| Open logic based on total-ordered partition model | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223289 | 1999-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218567 | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397797 | 1998-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388435 | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392265 | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4387857 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864966 | 1996-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4290437 | 1994-05-05 | Paper |
