Davidson and Reiter on Actions.

Published in: Fundam. Informaticae (2008)

Keyphrases

situation calculus
action theories
reasoning about actions
initial state
plan recognition
neural network
computer vision
modal logic
goal directed
database
data sets
search engine
human actions
multiple agents
decision procedures
action language