A Resolution-Based Decision Procedure for Extensions of K4.

Harald Ganzinger Ullrich Hustadt Christoph Meyer Renate A. Schmidt

Published in: Advances in Modal Logic (1998)

Keyphrases

decision making
high resolution
decision problems
database
information retrieval
iterative procedure
consequence finding
computer vision
computational complexity
decision rules
decision processes
real time
artificial neural networks