| Publication | Date of Publication | Type |
|---|
The Expressivity of Quantified Group Announcements
Journal Of Logic And Computation | 2024-02-08 | Paper |
| Model Checking for Coalition Announcement Logic | 2023-03-24 | Paper |
A Logic of East and West
Journal of Artificial Intelligence Research | 2023-03-13 | Paper |
Data-Driven Revision of Conditional Norms in Multi-Agent Systems
Journal of Artificial Intelligence Research | 2023-01-09 | Paper |
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Fields of Logic and Computation III | 2022-11-09 | Paper |
| Modeling norm specification and verification in multiagent systems | 2022-09-28 | Paper |
Logics with group announcements and distributed knowledge: completeness and expressive power
Journal of Logic, Language and Information | 2022-07-15 | Paper |
| Coalition and group announcement logic | 2021-12-14 | Paper |
Coalition and group announcement logic
(available as arXiv preprint) | 2021-12-14 | Paper |
| Norm specification and verification in multiagent systems | 2021-10-12 | Paper |
| Computational models for normative multi-agent systems | 2021-06-15 | Paper |
Coalition logic with individual, distributed and common knowledge
Journal Of Logic And Computation | 2020-02-13 | Paper |
Embedding coalition logic in the minimal normal multimodal logic with intersection
Modality, Semantics and Interpretations | 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
Journal Of Logic And Computation | 2019-07-10 | Paper |
Model checking for coalition announcement logic
Logical Investigations | 2019-03-11 | Paper |
Intuitionistic modal logic: a 15-year retrospective
Journal Of Logic And Computation | 2019-01-31 | Paper |
Alternating-time temporal logic with resource bounds
Journal Of Logic And Computation | 2019-01-31 | Paper |
Interpolation for a sequent calculus of generalized quantifiers
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
On the complexity of resource-bounded logics
Theoretical Computer Science | 2018-11-23 | Paper |
| scientific article; zbMATH DE number 6928613 (Why is no real title available?) | 2018-08-29 | Paper |
Modal logics for reasoning about infinite unions and intersections of binary relations
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
Journal of Artificial Intelligence Research | 2018-08-14 | Paper |
On the complexity of resource-bounded logics
Lecture Notes in Computer Science | 2018-03-26 | Paper |
Fair decomposition of group obligations
Journal Of Logic And Computation | 2018-02-13 | Paper |
| Decidable model-checking for a resource logic with production of resources | 2017-07-18 | Paper |
Model-checking for resource-bounded ATL with production and consumption of resources
Journal of Computer and System Sciences | 2017-06-30 | Paper |
The virtues of idleness: a decidable fragment of resource agent logic
Artificial Intelligence | 2017-02-28 | Paper |
Qualitative spatial logics for buffered geometries
The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
Verifying systems of resource-bounded agents
Pursuit of the Universal | 2016-08-17 | Paper |
A logic for reasoning about knowledge of unawareness
Journal of Logic, Language and Information | 2015-02-27 | Paper |
Fair allocation of group tasks according to social norms
Lecture Notes in Computer Science | 2014-10-14 | Paper |
Minimal preference change
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Logic and agent programming languages
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Reasoning about plan revision in BDI agent programs
Theoretical Computer Science | 2012-01-04 | Paper |
Logic for coalitions with bounded resources
Journal Of Logic And Computation | 2011-12-19 | Paper |
Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
Lecture Notes in Computer Science | 2011-09-16 | Paper |
| Logical omniscience and the cost of deliberation | 2011-05-06 | Paper |
Belief ascription under bounded resources
Synthese | 2010-08-13 | Paper |
Verifying Dribble agents
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Expressing properties of coalitional ability under resource bounds
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Reasoning about Other Agents’ Beliefs under Bounded Resources
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Verifying time, memory and communication bounds in systems of reasoning agents
Synthese | 2009-11-04 | Paper |
Bounded-Resource Reasoning as (Strong or Classical) Planning
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Preference-based belief revision for rule-based agents
Synthese | 2009-06-16 | Paper |
A logic of situated resource-bounded agents
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Verifying Time and Communication Costs of Rule-Based Reasoners
Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
| scientific article; zbMATH DE number 5295701 (Why is no real title available?) | 2008-07-01 | Paper |
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
The Dynamics of Syntactic Knowledge
Journal Of Logic And Computation | 2007-05-14 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
A general method for proving decidability of intuitionistic modal logics
Journal of Applied Logic | 2006-10-10 | Paper |
A Modal Perspective on Path Constraints
Journal Of Logic And Computation | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 1848312 (Why is no real title available?) | 2003-01-01 | Paper |
State space search with prioritised soft constraints
Applied Intelligence | 2002-02-12 | Paper |
Functional dependencies between variables
Studia Logica | 2001-02-18 | Paper |
Reachability logic: an efficient fragment of transitive closure logic
Logic Journal of the IGPL | 2000-11-14 | Paper |
| scientific article; zbMATH DE number 1163387 (Why is no real title available?) | 1998-09-20 | Paper |
| scientific article; zbMATH DE number 1086487 (Why is no real title available?) | 1998-04-01 | Paper |
Generalized quantification as substructural logic
Journal of Symbolic Logic | 1997-03-17 | Paper |
Correspondence and Completeness for Generalized Quantifiers
Logic Journal of the IGPL | 1996-07-24 | Paper |
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
Journal of Logic, Language and Information | 1996-03-17 | Paper |
