Login / Signup
A Circumscriptive Formalization of the Qualification Problem.
G. Neelakantan Kartha
Published in:
IJCAI (2001)
Keyphrases
</>
event calculus
situation calculus
knowledge representation
formal model
operational semantics
logical language
fluent calculus
data mining
database
cooperative
preprocessing
reasoning about actions