Sciweavers

192 search results - page 11 / 39
» OSCAR: An Architecture for Generally Intelligent Agents
Sort
View
ATAL
1999
Springer
13 years 11 months ago
Reasoning about Visibility, Perception and Knowledge
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
Michael Wooldridge, Alessio Lomuscio
ATAL
2006
Springer
13 years 9 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
ATAL
2010
Springer
13 years 8 months ago
Distributed coordination of mobile agent teams: the advantage of planning ahead
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...
Laura Barbulescu, Zachary B. Rubinstein, Stephen F...
ATAL
2003
Springer
14 years 18 days ago
Argumentation based decision making for autonomous agents
This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is d...
Antonis C. Kakas, Pavlos Moraitis
ATAL
2007
Springer
14 years 1 months ago
Aborting tasks in BDI agents
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
John Thangarajah, James Harland, David N. Morley, ...