Non-iterative Modal Resolution Calculi.

Dirk Pattinson Cláudia Nalon

Published in: IJCAR (2) (2024)

Keyphrases

high resolution
modal logic
image resolution
iterative optimization
databases
bayesian networks
multiscale
rough sets
spatial relations
sampling rate
higher resolution
consequence finding
conflict detection