| Publication | Date of Publication | Type |
|---|
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 |
Resilience, reliability, and coordination in autonomous multi-agent systems
AI Communications | 2022-12-12 | 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 |
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
Artificial Intelligence | 2021-12-13 | Paper |
| Norm specification and verification in multiagent systems | 2021-10-12 | Paper |
| Computational models for normative multi-agent systems | 2021-06-15 | Paper |
Efficient minimal preference change
Journal Of Logic And Computation | 2019-07-10 | Paper |
Alternating-time temporal logic with resource bounds
Journal Of Logic And Computation | 2019-01-31 | Paper |
On the complexity of resource-bounded logics
Theoretical Computer Science | 2018-11-23 | 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 |
Verifying systems of resource-bounded agents
Pursuit of the Universal | 2016-08-17 | 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 |
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 |
| 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 |
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
State space search with prioritised soft constraints
Applied Intelligence | 2002-02-12 | Paper |
