| Publication | Date of Publication | Type |
|---|
Linear planar 3-SAT
Theoretical Computer Science | 2026-03-26 | Paper |
| Dependency matrices for multiplayer strategic dependencies | 2024-09-12 | Paper |
| Base-based model checking for multi-agent only believing | 2024-05-29 | Paper |
Complexity of planning for connected agents in a partially known environment
Theoretical Computer Science | 2023-01-04 | Paper |
Copy and remove as dynamic operators
Journal of Applied Non-Classical Logics | 2022-03-03 | Paper |
| A computationally grounded logic of graded belief | 2021-12-01 | Paper |
Knowledge-based programs as succinct policies for partially observable domains
Artificial Intelligence | 2021-08-16 | Paper |
| scientific article; zbMATH DE number 7368429 (Why is no real title available?) | 2021-07-06 | Paper |
Dynamic epistemic logic games with epistemic temporal goals
(available as arXiv preprint) | 2021-07-06 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
DEL-based epistemic planning: decidability and complexity
Artificial Intelligence | 2020-11-16 | Paper |
Symbolic model checking of public announcement protocols
Journal Of Logic And Computation | 2020-02-17 | Paper |
| Gossip in dynamic networks | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7084828 (Why is no real title available?) | 2019-07-24 | Paper |
| Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis | 2019-07-24 | Paper |
Dynamic gossip
Bulletin of the Iranian Mathematical Society | 2019-05-23 | Paper |
Reasoning about knowledge and messages in asynchronous multi-agent systems
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
| Epistemic probability logic simplified | 2018-04-23 | Paper |
| Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment | 2018-04-12 | Paper |
The modal logic of copy and remove
Information and Computation | 2017-09-04 | Paper |
Epistemic protocols for dynamic gossip
Journal of Applied Logic | 2017-01-16 | Paper |
Tableau method and NEXPTIME-completeness of DEL-sequents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
LotrecScheme
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Drawing interactive Euler diagrams from region connection calculus specifications
Journal of Logic, Language and Information | 2016-07-05 | Paper |
Announcements to attentive agents
Journal of Logic, Language and Information | 2016-07-04 | Paper |
Asynchronous announcements in a public channel
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
The Ceteris Paribus Structure of Logics of Game Forms
Journal of Artificial Intelligence Research | 2015-05-28 | Paper |
A modal logic of epistemic games
Games | 2015-05-19 | Paper |
Drawing Euler diagrams from region connection calculus specifications with local search
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Logics with Copy and Remove
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Tableaux for non-normal public announcement logic
Logic and Its Applications | 2015-01-09 | 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 |
Kripke's worlds. An introduction to modal logics via tableaux
Studies in Universal Logic | 2013-10-09 | Paper |
Agents that look at one another
Logic Journal of the IGPL | 2013-06-11 | Paper |
Complexity results of STIT fragments
Studia Logica | 2013-01-03 | Paper |
Generalized DEL-Sequents
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Building an epistemic logic for argumentation
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Seeing, Knowledge and Common Knowledge
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
A logic for reasoning about counterfactual emotions
Artificial Intelligence | 2011-06-17 | Paper |
| Coalition games over Kripke semantics: expressiveness and complexity | 2011-05-31 | Paper |
| Properties of logics of individual and group agency | 2011-03-30 | Paper |
Epistemic games in modal logic: Joint actions, knowledge and preferences all together
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
