3 search results - page 1 / 1 » A Tableau Method for Verifying Dialogue Game Protocols for A... |
DALT
2005
Springer
14 years 18 days ago
2005
Springer
CLIMA
2004
13 years 8 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...