A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.

Hans de Nivelle Ian Pratt-Hartmann

Published in: IJCAR (2001)

Keyphrases

decision making
high resolution
information retrieval
decision makers
neural network
decision rules
decision process
real time
case study
low resolution
decision problems
influence diagrams
search procedure
decision processes
consequence finding
conflict detection