Publication | Date of Publication | Type |
---|
Epistemic planning: perspectives on the special issue | 2023-06-19 | Paper |
Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic | 2023-03-31 | Paper |
Qualitative uncertainty and dynamics of argumentation through dynamic logic | 2023-03-30 | Paper |
Database repair via event-condition-action rules in dynamic logic | 2022-12-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5104712 | 2022-09-15 | Paper |
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms | 2022-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5020961 | 2022-01-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016798 | 2021-12-14 | Paper |
Epistemic reasoning about rationality and bids in auctions | 2021-12-01 | Paper |
A lightweight epistemic logic and its application to planning | 2021-11-02 | Paper |
Resource separation in dynamic logic of propositional assignments | 2021-08-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4999277 | 2021-07-06 | Paper |
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change | 2020-08-10 | Paper |
Possible Worlds Semantics Based on Observation and Communication | 2020-07-24 | Paper |
Resource separation in dynamic logic of propositional assignments | 2020-07-08 | Paper |
Autoepistemic equilibrium logic and epistemic specifications | 2020-03-27 | Paper |
The dynamic logic of policies and contingent planning | 2020-02-18 | Paper |
A Dynamic Logic Account of Active Integrity Constraints | 2019-12-06 | Paper |
Encoding Argument Graphs in Logic | 2019-08-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224561 | 2019-07-24 | Paper |
Talkin'bout consistency, or: When logically possible becomes possible | 2019-04-29 | Paper |
Judgment aggregation in dynamic logic of propositional assignments | 2019-01-31 | Paper |
The epistemic gossip problem | 2019-01-22 | Paper |
A formal account of dishonesty | 2019-01-08 | Paper |
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives | 2018-09-12 | Paper |
Public announcements, public assignments and the complexity of their logic | 2018-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4576175 | 2018-07-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636026 | 2018-04-23 | Paper |
How to share knowledge by gossiping | 2017-11-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5283005 | 2017-07-18 | Paper |
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL | 2017-07-03 | Paper |
On Hierarchical Task Networks | 2016-11-30 | Paper |
Refinement of Intentions | 2016-11-30 | Paper |
Using STIT Theory to Talk About Strategies | 2016-08-30 | Paper |
Announcements to attentive agents | 2016-07-04 | Paper |
A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation | 2015-12-17 | Paper |
Propositional Update Operators Based on Formula/Literal Dependence | 2015-09-17 | Paper |
Three Traditions in the Logic of Action: Bringing them Together | 2015-04-10 | Paper |
A Dynamic View of Active Integrity Constraints | 2015-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5419869 | 2014-06-11 | Paper |
Capturing equilibrium models in modal logic | 2014-04-24 | Paper |
Belief Merging in Dynamic Logic of Propositional Assignments | 2014-03-31 | Paper |
Listen to Me! Public Announcements to Agents That Pay Attention — or Not | 2013-11-06 | Paper |
Reasoning about Actions Meets Strategic Logics | 2013-11-06 | Paper |
Combining Equilibrium Logic and Dynamic Logic | 2013-10-10 | Paper |
Kripke's worlds. An introduction to modal logics via tableaux | 2013-10-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2852085 | 2013-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2852092 | 2013-10-07 | Paper |
A Simple Separation Logic | 2013-09-17 | Paper |
Grounding power on actions and mental attitudes | 2013-06-11 | Paper |
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions | 2012-11-02 | Paper |
Exploring the Power of Converse Events | 2012-08-23 | Paper |
The Modal Logic of Equilibrium Models | 2011-10-07 | Paper |
A Dynamic Logic of Institutional Actions | 2011-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3007260 | 2011-06-21 | Paper |
From Situation Calculus to Dynamic Epistemic Logic | 2011-06-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3003823 | 2011-05-31 | Paper |
Contingency-Based Equilibrium Logic | 2011-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3086943 | 2011-03-30 | Paper |
A Dynamic Logic for Termgraph Rewriting | 2010-10-04 | Paper |
A Logical Account of Lying | 2010-10-01 | Paper |
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ | 2010-08-13 | Paper |
On the dynamics of institutional agreements | 2010-05-10 | Paper |
A logic of trust and reputation | 2010-04-08 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
A dynamic logic of agency. I: STIT, capabilities and powers | 2010-03-05 | Paper |
Tableaux for Public Announcement Logic | 2010-02-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3400789 | 2010-02-05 | Paper |
Unifying the Intentional and Institutional Semantics of Speech Acts | 2010-02-02 | Paper |
Tableaux for Acceptance Logic | 2010-02-02 | Paper |
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes | 2010-01-14 | Paper |
Dynamic Context Logic | 2010-01-07 | Paper |
Intentions and Assignments | 2010-01-07 | Paper |
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together | 2010-01-07 | Paper |
Regression in Modal Logic | 2009-11-30 | Paper |
On the Dynamics of Institutional Agreements | 2009-11-12 | Paper |
A logical formalization of the OCC theory of emotions | 2009-11-04 | Paper |
Introspective forgetting | 2009-11-04 | Paper |
Metatheory of actions: beyond consistency | 2009-07-09 | Paper |
Deontic Logic in Computer Science | 2009-04-30 | Paper |
OCC’s Emotions: A Formalization in a BDI Logic | 2008-11-27 | Paper |
A STIT-Extension of ATL | 2008-10-30 | Paper |
A Modularity Approach for a Fragment of $\mathcal{ALC}$ | 2008-10-30 | Paper |
Introducing Attempt in a Modal Logic of Intentional Action | 2008-10-30 | Paper |
Uniform Interpolation by Resolution in Modal Logic | 2008-10-27 | Paper |
From DEL to EDL: Exploring the Power of Converse Events | 2008-09-16 | Paper |
Alternative axiomatics and complexity of deliberative STIT theories | 2008-08-20 | Paper |
A logic of intention and attempt | 2008-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q3509052 | 2008-07-01 | Paper |
A Tableau Method for Public Announcement Logics | 2008-01-04 | Paper |
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency | 2007-04-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5483003 | 2006-08-15 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4460680 | 2004-03-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4448344 | 2004-02-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4539631 | 2002-07-10 | Paper |
Propositional belief base update and minimal change | 2000-06-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4952297 | 2000-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4944961 | 2000-03-22 | Paper |
Formalizing action and change in modal logic I: the frame problem | 2000-01-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4247690 | 1999-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4235432 | 1999-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4236367 | 1999-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4225117 | 1999-07-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4385438 | 1998-04-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5688815 | 1997-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5688921 | 1997-06-09 | Paper |
A translation from the modal logic of provability into K4 | 1994-12-12 | Paper |
From ordering-based nonmonotonic reasoning to conditional logics | 1994-07-18 | Paper |
Interference logic = conditional logic + frame axiom | 1994-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4279076 | 1994-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4012252 | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3800001 | 1988-01-01 | Paper |