| Publication | Date of Publication | Type |
|---|
| Formalization of cognitive-agent systems, trust, and emotions | 2024-09-11 | Paper |
| Base-based model checking for multi-agent only believing | 2024-05-29 | Paper |
| Finding factors in legal case-based reasoning | 2024-03-22 | Paper |
A computationally grounded logic of awareness
Journal Of Logic And Computation | 2024-02-08 | Paper |
A Qualitative Theory of Cognitive Attitudes and their Change
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
A logic of ``black box classifier systems
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| A logic for binary classifiers and their explanation | 2023-03-31 | Paper |
A unified logical framework for explanations in classifier systems
Journal Of Logic And Computation | 2023-03-30 | Paper |
| Reasoning about belief, evidence and trust in a multi-agent setting | 2022-11-02 | Paper |
| scientific article; zbMATH DE number 7593561 (Why is no real title available?) | 2022-09-27 | Paper |
Modelling ceteris paribus preferences with deontic logic
Journal Of Logic And Computation | 2022-03-09 | Paper |
| scientific article; zbMATH DE number 7450037 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450037 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | 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 |
| A computationally grounded logic of graded belief | 2021-12-01 | Paper |
| Grounding awareness on belief bases | 2021-12-01 | Paper |
| Logics for games, emotions and institutions | 2021-10-12 | Paper |
Games of influence
Journal Of Logic And Computation | 2021-09-24 | Paper |
| scientific article; zbMATH DE number 7368429 (Why is no real title available?) | 2021-07-06 | Paper |
| Norms in MAS: definitions and related concepts | 2021-06-15 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
| Possible worlds semantics based on observation and communication | 2020-07-24 | Paper |
Rethinking epistemic logic with belief bases
Artificial Intelligence | 2020-03-27 | Paper |
| Reasoning about cognitive attitudes in a qualitative setting | 2020-02-18 | Paper |
| Comparing semantics for temporal STIT logic | 2019-09-23 | Paper |
| Reasons to believe in a social environment | 2019-07-24 | Paper |
| Reasoning about conditions in \textsf{STIT} logic | 2019-07-24 | Paper |
The dynamics of epistemic attitudes in resource-bounded agents
Studia Logica | 2019-07-03 | Paper |
Temporal STIT logic and its application to normative reasoning
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
The long-term benefits of following fairness norms under dynamics of learning and evolution
Fundamenta Informaticae | 2018-05-03 | Paper |
| Trust-based belief change | 2017-07-18 | Paper |
| A logic for reasoning about moral agents | 2017-04-03 | Paper |
A minimal logic for interactive epistemology
Synthese | 2017-03-14 | Paper |
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
Synthese | 2017-03-14 | Paper |
Decidability and expressivity of Ockhamist propositional dynamic logics
Logics in Artificial Intelligence | 2016-11-30 | Paper |
An epistemic logic of extensive games
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
A STIT logic for reasoning about social influence
Studia Logica | 2016-09-07 | 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 |
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 |
Three traditions in the logic of action: bringing them together
Outstanding Contributions to Logic | 2015-04-10 | Paper |
A logical analysis of responsibility attribution: emotions, individuals and collectives
Journal Of Logic And Computation | 2015-01-19 | Paper |
On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
Journal of Philosophical Logic | 2014-03-24 | 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 |
Ockhamist propositional dynamic logic: a natural link between PDL and CTL*
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 |
On the Logical Foundations of Moral Agency
Lecture Notes in Computer Science | 2012-11-02 | Paper |
From self-regarding to other-regarding agents in strategic games: a logical analysis
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
A modal framework for relating belief and signed information
Lecture Notes in Computer Science | 2011-09-16 | Paper |
A dynamic logic of institutional actions
Lecture Notes in Computer Science | 2011-09-16 | Paper |
A logic for reasoning about counterfactual emotions
Artificial Intelligence | 2011-06-17 | Paper |
A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
Journal of Logic, Language and Information | 2010-10-06 | Paper |
A logical analysis of commitment dynamics
Lecture Notes in Computer Science | 2010-09-29 | 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 |
A dynamic logic of agency. I: STIT, capabilities and powers
Journal of Logic, Language and Information | 2010-03-05 | 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 |
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 |
Intentions and Assignments
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
On the Dynamics of Institutional Agreements
Lecture Notes in Computer Science | 2009-11-12 | Paper |
From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Introducing Attempt in a Modal Logic of Intentional Action
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Trust and Norms in the Context of Computer Security: A Logical Formalization
Lecture Notes in Computer Science | 2008-08-28 | Paper |
A logic of intention and attempt
Synthese | 2008-07-30 | Paper |
The cognitive structure of surprise: looking for basic principles
Topoi | 2007-11-14 | Paper |
