Login / Signup
Knowledge Equivalence in Combined Action Theories.
Ronald P. A. Petrick
Hector J. Levesque
Published in:
KR (2002)
Keyphrases
</>
action theories
knowledge base
expert systems
situation calculus
knowledge representation
machine learning
reasoning about actions