Sciweavers

2473 search results - page 15 / 495
» The Logic of Communication Graphs
Sort
View
111
Voted
JELIA
2004
Springer
15 years 9 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
135
Voted
CLIMA
2004
15 years 5 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
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...
138
Voted
CAISE
2004
Springer
15 years 9 months ago
Network-based Business Process Management: a Discussion on Embedding Business Logic in Communications Networks
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
Louis-François Pau, Peter H. M. Vervest
158
Voted
AGENTCL
2003
Springer
15 years 9 months ago
Logic-Based Agent Communication Protocols
Abstract. An agent communication protocol specifies 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...
60
Voted
ATAL
2009
Springer
15 years 10 months ago
Logical formalization of social commitments: application to agent communication languages
Benoit Gaudou, Andreas Herzig, Dominique Longin