Publication:4209291
From MaRDI portal
zbMath0904.68159MaRDI QIDQ4209291
Massimo Benerecetti, Luciano Serafini, Fausto Giunchiglia
Publication date: 27 September 1998
Related Items
Unnamed Item, Local Models Semantics, or contextual reasoning = locality + compatibility, Where logic and agents meet, Verifying time, memory and communication bounds in systems of reasoning agents, Systems of agents controlled by logical programs: complexity of verification, On feasible cases of checking multi-agent systems behavior., Verifiable agent dialogues, Specifying and verifying interaction protocols in a temporal action logic, Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams, On complexity of verification of interacting agents' behavior, A Compositional Automata-based Approach for Model Checking Multi-Agent Systems