Sciweavers

2392 search results - page 415 / 479
» informs 2000
Sort
View
AAI
2000
138views more  AAI 2000»
13 years 9 months ago
Compositional Design and Reuse of a Generic Agent Model
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
AI
2000
Springer
13 years 9 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
AI
2000
Springer
13 years 9 months ago
Understanding dynamic scenes
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
Antonio Chella, Marcello Frixione, Salvatore Gagli...
AIL
2000
78views more  AIL 2000»
13 years 9 months ago
Representation of formal dispute with a standing order
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
Gerard Vreeswijk
AROBOTS
2000
108views more  AROBOTS 2000»
13 years 9 months ago
Robot Awareness in Cooperative Mobile Robot Learning
Most of the straight-forward learning approaches in cooperative robotics imply for each learning robot a state space growth exponential in the number of team members. To remedy the...
Claude F. Touzet