Actions, Beliefs and Intentions in Rationale Clauses and Means Clauses.

Cecile T. Balkanski

Published in: AAAI (1992)

Keyphrases

first order logic
search space
mental states
background knowledge
horn clauses
boolean formulae
decision making
consequence finding
learning algorithm
video sequences
theorem proving
decision theoretic
boolean satisfiability
propositional theories