Sciweavers

2034 search results - page 279 / 407
» Declarative Agent Control
Sort
View
146
Voted
ECAI
2010
Springer
15 years 3 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
116
Voted
CONNECTION
2004
134views more  CONNECTION 2004»
15 years 2 months ago
'Feeling' the flow of time through sensorimotor co-ordination
In this paper, we aim to design decision-making mechanisms for a simulated Khepera robot equipped with simple sensors, which integrates over time its perceptual experience in order...
Elio Tuci, Vito Trianni, Marco Dorigo
120
Voted
CDC
2010
IEEE
133views Control Systems» more  CDC 2010»
14 years 9 months ago
Decentralized task assignment in camera networks
The problem of task assignment naturally arises in multiagent multitask systems, where an optimal matching of agents and tasks is sought. This problem is a combinatorial optimizati...
Angelo Cenedese, Federico Cerruti, Mirko Fabbro, C...
119
Voted
SASO
2009
IEEE
15 years 9 months ago
Swarming Polyagents Executing Hierarchical Task Networks
Swarming agents often operate in benign geographic topologies that let them explore alternative trajectories with minor variations that the agent dynamics then amplify for improve...
Sven A. Brueckner, Theodore C. Belding, Robert Bis...
129
Voted
ATAL
2009
Springer
15 years 9 months ago
Solving multiagent assignment Markov decision processes
We consider the setting of multiple collaborative agents trying to complete a set of tasks as assigned by a centralized controller. We propose a scalable method called“Assignmen...
Scott Proper, Prasad Tadepalli