Action Relations In Rationale Clauses And Means Clauses.

Cecile T. Balkanski

Published in: COLING (1992)

Keyphrases

horn clauses
first order logic
search space
background knowledge
database
consequence finding
semantic relations
boolean formulae
natural language
computational complexity
temporal reasoning
propositional logic
refinement operators
logical formulas