91 search results - page 16 / 19 » Concurrent Actions in the Situation Calculus |
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
ICAS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
AAAI
1996
14 years 10 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
FAC
2010
14 years 8 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
KR
1998
Springer
15 years 1 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...