PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.

Vaishak Belle, Hector J. Levesque

Browse the full AAAI paper archive.