A Resolution Calculus Extende by Equivalence.

Jürgen Müller Rolf Socher-Ambrosius

Published in: GWAI (1989)

Keyphrases

high resolution
consequence finding
search space
sampling rate
automated deduction
real time
databases
information retrieval
knowledge base
search algorithm
higher resolution
conflict detection