Reducing the Derivation of Redundant Clauses in Reasoning Systems.

Rolf Socher-Ambrosius

Published in: IJCAI (1989)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
diagnostic reasoning
description logics
search space
first order logic
reasoning under uncertainty
highly redundant
data model
owl dl
general purpose
theorem proving
horn clauses
data mining
machine learning