Model Checking Agent Dialogues
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 132-147
- https://doi.org/10.1007/11493402_8
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Model checking agentspeakPublished by Association for Computing Machinery (ACM) ,2003
- Commitment-based and dialogue-game-based protocols: new trends in agent communication languagesThe Knowledge Engineering Review, 2002
- Bringing Coherence to Agent ConversationsPublished by Springer Nature ,2002
- Model checking multi-agent systems with MABLEPublished by Association for Computing Machinery (ACM) ,2002
- Games That Agents Play: A Formal Framework for Dialogues between Autonomous AgentsJournal of Logic, Language and Information, 2002
- On the Formal Specification of Electronic InstitutionsPublished by Springer Nature ,2001
- Semantic Issues in the Verification of Agent Communication LanguagesAutonomous Agents and Multi-Agent Systems, 2000
- Model checking multiagent systemsJournal of Logic and Computation, 1998
- Decision procedures for BDI logicsJournal of Logic and Computation, 1998
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987