On the sequential nature of unification
Journal of Logic Programming
The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The society of mind
Artificial Intelligence - On connectionist symbol processing
Robust model-based motion tracking through the integration of search and estimation
International Journal of Computer Vision
Active vision
Color region tracking for vehicle guidance
Active vision
Real-time smooth pursuit tracking
Active vision
Complexity, decidability and undecidability results for domain-independent planning
Artificial Intelligence - Special volume on planning and scheduling
A first course in database systems
A first course in database systems
A collaborative dialogue model based on interaction between reactivity and deliberation
AGENTS '97 Proceedings of the first international conference on Autonomous agents
An Behavior-based Robotics
Transfer of fixation for an active stereo platform via affine structure recovery
ICCV '95 Proceedings of the Fifth International Conference on Computer Vision
Calibration-free visual control using projective invariance
ICCV '95 Proceedings of the Fifth International Conference on Computer Vision
How to Do the Right Thing
The Dynamic Structure of Everyday Life
The Dynamic Structure of Everyday Life
Functional Programming of Behavior-Based Systems
Autonomous Robots
Very fast action selection for parameterized behaviors
Proceedings of the 4th International Conference on Foundations of Digital Games
| Hi-index | 0.02 |
We describe a uniform technique for representing both sensory data andthe attentional state of an agent using a subset of modal logic withindexicals. The resulting representation maps naturally intofeed-forward parallel networks or can be implemented on stock hardwareusing bit-mask instructions. The representation has“circuit-semantics” (Nilsson, 1994, Rosenschein and Kaelbling, 1986),but can efficiently represent propositions containing modals, unarypredicates, and functions. We describe an example using Kludge, avision-based mobile robot programmed to perform simple naturallanguage instructions involving fetching and following tasks.