Login / Signup
Supporting and Optimizing Full Unification in a Forward Chaining Rule System.
Howard E. Shrobe
Published in:
AAAI (1993)
Keyphrases
</>
forward chaining
backward chaining
theorem proving
defeasible logic
planning systems
theorem prover
horn clauses
classification rules
petri net
association rules
rule sets
machine learning
first order logic
default logic
rough sets
general purpose
blocks world
decision trees