Progression of Situation Calculus Action Theories with Incomplete Information.

Stavros Vassos Hector J. Levesque

Published in: IJCAI (2007)

Keyphrases

incomplete information
action theories
situation calculus
partial information
action language
autonomous agents
query answering
cooperative
expert systems
mobile robot
heuristic search
integrity constraints
knowledge representation and reasoning