Sciweavers

2392 search results - page 415 / 479
» informs 2000
Sort
View
118
Voted
AAI
2000
138views more  AAI 2000»
15 years 13 days 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
15 years 13 days 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
15 years 13 days 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...
93
Voted
AIL
2000
78views more  AIL 2000»
15 years 13 days 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
115
Voted
AROBOTS
2000
108views more  AROBOTS 2000»
15 years 12 days 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