Login / Signup
Using Plausible Inference Rules In Description Planning.
Alison Cawsey
Published in:
EACL (1991)
Keyphrases
</>
inference rules
modal logic
first order logic
theorem prover
theorem proving
logical framework
natural deduction
logic programming language
horn clauses
truth values
database systems
binary relations
set of inference rules
databases
heuristic search
feature vectors
learning algorithm