Login / Signup
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.
Stefan Wölfl
Published in:
JELIA (2004)
Keyphrases
</>
alternating time temporal logic
action theories
situation calculus
model checking
action language
model theoretic
formal semantics
initial state
reasoning about actions
qualitative preferences
incomplete information
np hard
logic programs
default reasoning
kripke models