Sensing Actions, Time, and Concurrency in the Situation Calculus.

Stephen Zimmerbaum Richard B. Scherl

Published in: ATAL (2000)

Keyphrases

sensing actions
situation calculus
event calculus
action theories
initial state
reasoning tasks
reasoning about actions
database systems
modal logic
concurrent actions
machine learning
search algorithm
multi agent systems
partial information