On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.

Yongmei Liu Gerhard Lakemeyer

Published in: Cognitive Robotics (2010)

Keyphrases

higher order
first order logic
action theories
human actions
data sets
decision making
multi agent
propositional logic
finite model theory
database systems
multi agent systems
decision theoretic
plan recognition
goal directed
multiple agents
quantifier elimination