Ordered Paramodulation and Resolution as Decision Procedure.

Christian G. Fermüller Gernot Salzer

Published in: LPAR (1993)

Keyphrases

decision making
decision makers
theorem proving
high resolution
decision model
consequence finding
decision process
inference rules
decision problems
iterative procedure
sampling rate
decision rules
low resolution
data mining
real world
information systems
image resolution
computer vision
ordered sets