Login / Signup
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
Yongmei Liu
Gerhard Lakemeyer
Published in:
IJCAI (2009)
Keyphrases
</>
higher order
first order logic
finite model theory
fixed point
propositional logic
information systems
plan recognition
action theories
real time
machine learning
goal directed
quantifier elimination