10568 search results - page 587 / 2114 » Computer Intelligence and Formalization |
148
click to vote
MICAI
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we describe a human organ selection process in which agents argue over whether a given donor’s organ is viable for transplantation. This process is framed in the CA...
133
click to vote
MICAI
2005
Springer
16 years 5 days ago
2005
Springer
We propose a framework for reactive motion and sensing planning based on critical events. A critical event amounts to crossing a critical curve, which divides the environment. We h...
170
click to vote
AUSAI
2005
Springer
16 years 4 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
179
click to vote
AI
2004
Springer
16 years 2 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
158
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...