Sciweavers

309 search results - page 24 / 62
» Logic-Based Agent Communication Protocols
Sort
View
CSFW
2009
IEEE
14 years 2 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
ATAL
2010
Springer
13 years 8 months ago
Agreeing on plans through iterated disputes
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
VRML
1999
ACM
13 years 12 months ago
An Open Virtual Environment for Autonomous Agents Using VRML and Java
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
Bernhard Jung, Jan-Torsten Milde
ACMICEC
2007
ACM
107views ECommerce» more  ACMICEC 2007»
13 years 11 months ago
Developing semantically interoperable e-commerce systems
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
Jurriaan van Diggelen, Frank Dignum
FLAIRS
2007
13 years 10 months ago
An Argumentation Based Approach to Multi-Agent Learning
This paper addresses the issue of learning from communication among agents that work in the same domain, are capable of learning from examples, and communicate using an argumentat...
Santiago Ontañón, Enric Plaza