| Publication | Date of Publication | Type |
|---|
| Efficient reasoning about knowledge and common knowledge | 2024-10-24 | Paper |
| Knowledge representation: modalities, conditionals, and nonmonotonic reasoning | 2024-09-11 | Paper |
| Reasoning about action and change | 2024-09-11 | Paper |
Epistemic planning: perspectives on the special issue
Artificial Intelligence | 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
Journal Of Logic And Computation | 2023-03-30 | Paper |
| Database repair via event-condition-action rules in dynamic logic | 2022-12-09 | Paper |
| scientific article; zbMATH DE number 7585720 (Why is no real title available?) | 2022-09-15 | Paper |
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL | 2022-03-30 | Paper |
| scientific article; zbMATH DE number 7455705 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455705 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| Relaxing exclusive control in Boolean games | 2021-12-14 | Paper |
Relaxing exclusive control in Boolean games
(available as arXiv preprint) | 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
Artificial Intelligence | 2021-11-02 | Paper |
Resource separation in dynamic logic of propositional assignments
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| scientific article; zbMATH DE number 7368429 (Why is no real title available?) | 2021-07-06 | Paper |
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Dynamics, Uncertainty and Reasoning | 2020-08-10 | Paper |
| Possible worlds semantics based on observation and communication | 2020-07-24 | Paper |
Resource separation in dynamic logic of propositional assignments
Lecture Notes in Computer Science | 2020-07-08 | Paper |
Resource separation in dynamic logic of propositional assignments
Lecture Notes in Computer Science | 2020-07-08 | Paper |
Autoepistemic equilibrium logic and epistemic specifications
Artificial Intelligence | 2020-03-27 | Paper |
| The dynamic logic of policies and contingent planning | 2020-02-18 | Paper |
A dynamic logic account of active integrity constraints
Fundamenta Informaticae | 2019-12-06 | Paper |
Encoding argument graphs in logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-08-20 | Paper |
| Frame-validity games and absolute minimality of modal axioms | 2019-07-24 | Paper |
Talkin'bout consistency, or: When logically possible becomes possible
Practical Reasoning | 2019-04-29 | Paper |
Judgment aggregation in dynamic logic of propositional assignments
Journal Of Logic And Computation | 2019-01-31 | Paper |
The epistemic gossip problem
Discrete Mathematics | 2019-01-22 | Paper |
A formal account of dishonesty
Logic Journal of the IGPL | 2019-01-08 | Paper |
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Public announcements, public assignments and the complexity of their logic
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| A simple account of multi-agent epistemic planning | 2018-07-12 | Paper |
| Before announcement | 2018-04-23 | Paper |
How to share knowledge by gossiping
AI Communications | 2017-11-10 | Paper |
| On the revision of planning tasks | 2017-07-18 | Paper |
Dynamic logic of propositional assignments: a well-behaved variant of PDL
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
On hierarchical task networks
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Refinement of intentions
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Using STIT theory to talk about strategies
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Announcements to attentive agents
Journal of Logic, Language and Information | 2016-07-04 | Paper |
A poor man's epistemic logic based on propositional assignment and higher-order observation
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Propositional update operators based on formula/literal dependence
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Three traditions in the logic of action: bringing them together
Outstanding Contributions to Logic | 2015-04-10 | Paper |
A dynamic view of active integrity constraints
Logics in Artificial Intelligence | 2015-01-14 | Paper |
| Some truths are best left unsaid | 2014-06-11 | Paper |
Capturing equilibrium models in modal logic
Journal of Applied Logic | 2014-04-24 | Paper |
Belief merging in dynamic logic of propositional assignments
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Listen to me! Public announcements to agents that pay attention -- or not
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Reasoning about actions meets strategic logics
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Combining equilibrium logic and dynamic logic
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Kripke's worlds. An introduction to modal logics via tableaux
Studies in Universal Logic | 2013-10-09 | Paper |
| From coalition logic to STIT | 2013-10-07 | Paper |
| A logical framework for grounding-based dialogue analysis | 2013-10-07 | Paper |
A simple separation logic
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Grounding power on actions and mental attitudes
Logic Journal of the IGPL | 2013-06-11 | Paper |
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Exploring the power of converse events
Dynamic Formal Epistemology | 2012-08-23 | Paper |
The Modal Logic of Equilibrium Models
Frontiers of Combining Systems | 2011-10-07 | Paper |
A dynamic logic of institutional actions
Lecture Notes in Computer Science | 2011-09-16 | Paper |
| Modal tableaux: completeness vs. termination | 2011-06-21 | Paper |
From Situation Calculus to Dynamic Epistemic Logic
Journal Of Logic And Computation | 2011-06-10 | Paper |
| Coalition games over Kripke semantics: expressiveness and complexity | 2011-05-31 | Paper |
Contingency-based equilibrium logic
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| Properties of logics of individual and group agency | 2011-03-30 | Paper |
A dynamic logic for termgraph rewriting
Lecture Notes in Computer Science | 2010-10-04 | Paper |
A Logical Account of Lying
Logics in Artificial Intelligence | 2010-10-01 | Paper |
`Knowable' as `known after an announcement'
The Review of Symbolic Logic | 2010-08-13 | Paper |
On the dynamics of institutional agreements
Synthese | 2010-05-10 | Paper |
A logic of trust and reputation
Logic Journal of the IGPL | 2010-04-08 | Paper |
On iterated revision in the AGM framework
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2010-04-06 | Paper |
A dynamic logic of agency. I: STIT, capabilities and powers
Journal of Logic, Language and Information | 2010-03-05 | Paper |
Tableaux for Public Announcement Logic
Journal Of Logic And Computation | 2010-02-19 | Paper |
| What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics | 2010-02-05 | Paper |
Unifying the intentional and institutional semantics of speech acts
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Tableaux for acceptance logic
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
The logic of acceptance: grounding institutions on agents' attitudes
Journal Of Logic And Computation | 2010-01-14 | Paper |
Intentions and Assignments
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Dynamic Context Logic
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Epistemic games in modal logic: Joint actions, knowledge and preferences all together
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Regression in modal logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On the Dynamics of Institutional Agreements
Lecture Notes in Computer Science | 2009-11-12 | Paper |
A logical formalization of the OCC theory of emotions
Synthese | 2009-11-04 | Paper |
Introspective forgetting
Synthese | 2009-11-04 | Paper |
Metatheory of actions: beyond consistency
Artificial Intelligence | 2009-07-09 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
OCC’s Emotions: A Formalization in a BDI Logic
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-27 | Paper |
Introducing Attempt in a Modal Logic of Intentional Action
Logics in Artificial Intelligence | 2008-10-30 | Paper |
A STIT-Extension of ATL
Logics in Artificial Intelligence | 2008-10-30 | Paper |
A Modularity Approach for a Fragment of $\mathcal{ALC}$
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Uniform Interpolation by Resolution in Modal Logic
Logics in Artificial Intelligence | 2008-10-27 | Paper |
From DEL to EDL: Exploring the Power of Converse Events
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Alternative axiomatics and complexity of deliberative STIT theories
Journal of Philosophical Logic | 2008-08-20 | Paper |
A logic of intention and attempt
Synthese | 2008-07-30 | Paper |
| Terminating modal tableaux with simple completeness proof | 2008-07-01 | Paper |
A Tableau Method for Public Announcement Logics
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal Of Logic And Computation | 2007-04-13 | Paper |
| scientific article; zbMATH DE number 5046357 (Why is no real title available?) | 2006-08-15 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
| scientific article; zbMATH DE number 2063026 (Why is no real title available?) | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2044479 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1765691 (Why is no real title available?) | 2002-07-10 | Paper |
Propositional belief base update and minimal change
Artificial Intelligence | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1444718 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1420892 (Why is no real title available?) | 2000-03-22 | Paper |
Formalizing action and change in modal logic I: the frame problem
Journal Of Logic And Computation | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1302388 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1267561 (Why is no real title available?) | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1269568 (Why is no real title available?) | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1241667 (Why is no real title available?) | 1999-07-05 | Paper |
| scientific article; zbMATH DE number 1140673 (Why is no real title available?) | 1998-04-13 | Paper |
| scientific article; zbMATH DE number 970636 (Why is no real title available?) | 1997-08-04 | Paper |
| scientific article; zbMATH DE number 970732 (Why is no real title available?) | 1997-06-09 | Paper |
A translation from the modal logic of provability into K4
Journal of Applied Non-Classical Logics | 1994-12-12 | Paper |
From ordering-based nonmonotonic reasoning to conditional logics
Artificial Intelligence | 1994-07-18 | Paper |
Interference logic = conditional logic + frame axiom
International Journal of Intelligent Systems | 1994-07-07 | Paper |
| scientific article; zbMATH DE number 500943 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 67510 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4066840 (Why is no real title available?) | 1988-01-01 | Paper |
