878 search results - page 86 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
206
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
197
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
226
click to vote
E4MAS
2004
Springer
15 years 11 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
177
click to vote
IJAR
2010
15 years 4 months ago
2010
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
228
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...