Efficient hypothetical reasoning system for predicate-logic knowledge base.

Akiko Kondo Toshiro Makino Mitsuru Ishizuka

Published in: Knowl. Based Syst. (1993)

Keyphrases

predicate logic
hypothetical reasoning
knowledge base
expert systems
semantic network
knowledge representation and reasoning
knowledge representation
knowledge acquisition
deductive databases
formal logic
data mining
data model
temporal logic