Autoepistemic Stable Closures and Contradiction Resolution.

Published in: NMR (1988)

Keyphrases

autoepistemic logic
default logic
real time
image resolution
modal logic
default theories
low resolution
image quality
consequence finding
temporal resolution
high resolution
expert systems
multi agent
image sequences
database systems
information systems
learning algorithm
machine learning