Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Steps toward a cognitive vision system
AI Magazine
Reasoning about Dynamic Depth Profiles
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
ESP: a logic of only-knowing, noisy sensing and acting
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A message passing algorithm for plan recognition
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Accounting for context in plan recognition, with application to traffic monitoring
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |
Reasoning about movement in two-dimensions can be broken down to depth and spatial relations between objects. This paper covers previous work based on the formal logic descriptions in situational calculus. Also covered is a simulator that produces data for a logical reasoner to process and potentially make decisions about motion in two-dimensions.