Representing Actions by State Logic.

Camilla Schwind

Published in: AISB/GI (ECAI) (1978)

Keyphrases

logic programming
explicitly represent
search engine
state transition
action theories
state transitions
reasoning about actions
state information
data sets
state space
modal logic
decision theoretic
multi valued