How to Avoid the Derivation of Redundant Clauses in Reasoning Systems.

Rolf Socher-Ambrosius

Published in: J. Autom. Reason. (1992)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
description logics
diagnostic reasoning
search space
first order logic
highly redundant
general purpose
horn clauses
pairwise
semi supervised
owl dl