An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.

Michael Dierkes

Published in: Computational Logic (2000)

Keyphrases

tree decompositions
decision making
horn clauses
decision makers
high resolution
decision rules
fixed point
query answering
influence diagrams
databases
decision problems
sampling rate
iterative procedure
decision processes