| Publication | Date of Publication | Type |
|---|
| The Expressivity of Quantified Group Announcements | 2024-02-08 | Paper |
| Model Checking for Coalition Announcement Logic | 2023-03-24 | Paper |
| A Logic of East and West | 2023-03-13 | Paper |
| Data-Driven Revision of Conditional Norms in Multi-Agent Systems | 2023-01-09 | Paper |
| State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869530 | 2022-09-28 | Paper |
| Logics with group announcements and distributed knowledge: completeness and expressive power | 2022-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384067 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5157010 | 2021-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993611 | 2021-06-15 | Paper |
| Coalition logic with individual, distributed and common knowledge1 | 2020-02-13 | Paper |
| Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection | 2020-02-04 | Paper |
| Group announcement logic with distributed knowledge | 2020-01-30 | Paper |
| Public group announcements and trust in doxastic logic | 2020-01-30 | Paper |
| Efficient minimal preference change | 2019-07-10 | Paper |
| Model checking for coalition announcement logic | 2019-03-11 | Paper |
| Alternating-time temporal logic with resource bounds | 2019-01-31 | Paper |
| Intuitionistic Modal Logic: A 15-year retrospective | 2019-01-31 | Paper |
| Interpolation for a sequent calculus of generalized quantifiers | 2019-01-10 | Paper |
| On the complexity of resource-bounded logics | 2018-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583959 | 2018-08-29 | Paper |
| Modal logics for reasoning about infinite unions and intersections of binary relations | 2018-08-28 | Paper |
| Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems | 2018-08-14 | Paper |
| On the complexity of resource-bounded logics | 2018-03-26 | Paper |
| Fair decomposition of group obligations | 2018-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282949 | 2017-07-18 | Paper |
| Model-checking for resource-bounded ATL with production and consumption of resources | 2017-06-30 | Paper |
| The virtues of idleness: a decidable fragment of resource agent logic | 2017-02-28 | Paper |
| Qualitative Spatial Logics for Buffered Geometries | 2016-09-07 | Paper |
| Verifying Systems of Resource-Bounded Agents | 2016-08-17 | Paper |
| A logic for reasoning about knowledge of unawareness | 2015-02-27 | Paper |
| Fair Allocation of Group Tasks According to Social Norms | 2014-10-14 | Paper |
| Minimal Preference Change | 2013-11-06 | Paper |
| Logic and Agent Programming Languages | 2013-09-17 | Paper |
| Reasoning about plan revision in BDI agent programs | 2012-01-04 | Paper |
| Logic for coalitions with bounded resources | 2011-12-19 | Paper |
| Reasoning about Joint Action and Coalitional Ability in K n with Intersection | 2011-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996156 | 2011-05-06 | Paper |
| Belief ascription under bounded resources | 2010-08-13 | Paper |
| Verifying Dribble Agents | 2010-02-02 | Paper |
| Expressing Properties of Coalitional Ability under Resource Bounds | 2010-01-07 | Paper |
| Reasoning about Other Agents’ Beliefs under Bounded Resources | 2009-11-12 | Paper |
| Verifying time, memory and communication bounds in systems of reasoning agents | 2009-11-04 | Paper |
| Bounded-Resource Reasoning as (Strong or Classical) Planning | 2009-08-20 | Paper |
| Preference-based belief revision for rule-based agents | 2009-06-16 | Paper |
| A logic of situated resource-bounded agents | 2009-03-24 | Paper |
| Verifying Time and Communication Costs of Rule-Based Reasoners | 2009-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509043 | 2008-07-01 | Paper |
| Verifying Space and Time Requirements for Resource-Bounded Agents | 2007-11-01 | Paper |
| The Dynamics of Syntactic Knowledge | 2007-05-14 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| A general method for proving decidability of intuitionistic modal logics | 2006-10-10 | Paper |
| A Modal Perspective on Path Constraints | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785506 | 2003-01-01 | Paper |
| State space search with prioritised soft constraints | 2002-02-12 | Paper |
| Functional dependencies between variables | 2001-02-18 | Paper |
| Reachability logic: an efficient fragment of transitive closure logic | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394916 | 1998-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362725 | 1998-04-01 | Paper |
| Generalized quantification as substructural logic | 1997-03-17 | Paper |
| Correspondence and Completeness for Generalized Quantifiers | 1996-07-24 | Paper |
| On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic | 1996-03-17 | Paper |
