Sciweavers

2638 search results - page 182 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CGF
1999
113views more  CGF 1999»
15 years 6 months ago
An Efficient and Flexible Perception Pipeline for Autonomous Agents
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...
Christophe Bordeux, Ronan Boulic, Daniel Thalmann
CEEMAS
2003
Springer
15 years 11 months ago
A Multi-agent Modal Language for Concurrency with Non-communicating Agents
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
Stefano Borgo
ICAIL
2005
ACM
16 years 2 days ago
A study of accrual of arguments, with applications to evidential reasoning
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
Henry Prakken
RAS
1998
81views more  RAS 1998»
15 years 6 months ago
Towards a theory of delegation for agent-based systems
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
Cristiano Castelfranchi, Rino Falcone
ATAL
2007
Springer
16 years 21 days ago
Unifying distributed constraint algorithms in a BDI negotiation framework
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
Bao Chau Le Dinh, Kiam Tian Seow