Sciweavers

309 search results - page 24 / 62
» Logic-Based Agent Communication Protocols
Sort
View
127
Voted
CSFW
2009
IEEE
15 years 9 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...
136
Voted
ATAL
2010
Springer
15 years 3 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...
124
Voted
VRML
1999
ACM
15 years 7 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
116
Voted
ACMICEC
2007
ACM
107views ECommerce» more  ACMICEC 2007»
15 years 6 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
15 years 5 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