Search Sciweavers | Sciweavers

3733 search results - page 23 / 747

» Logics of communication and change

click to vote

CLIMA
2004

127views Intelligent Agents» more CLIMA 2004»

Verifying Protocol Conformance for Logic-Based Communicating Agents

13 years 11 months ago

Download www.di.unito.it

Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...

Matteo Baldoni, Cristina Baroglio, Alberto Martell...

claim paper

Read More »

click to vote

AGENTCL
2003
Springer

280views Intelligent Agents» more AGENTCL 2003»

Logic-Based Agent Communication Protocols

14 years 3 months ago

Download www.doc.ic.ac.uk

Abstract. An agent communication protocol speciﬁes the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...

claim paper

Read More »

click to vote

ATAL
2009
Springer

94views Intelligent Agents» more ATAL 2009»

Logical formalization of social commitments: application to agent communication languages

14 years 4 months ago

Download www.aamas-conference.org

Benoit Gaudou, Andreas Herzig, Dominique Longin

claim paper

Read More »