A Resolution Principle for Constrained Logics.

Hans-Jürgen Bürckert

Published in: Artif. Intell. (1994)

Keyphrases

modal logic
low resolution
valued logic
high resolution
expressive power
consequence finding
artificial intelligence
classical logic
conflict detection
data sets
conditional logic
nonmonotonic logics
sampling rate
inference rules
super resolution
bayesian networks
genetic algorithm
neural network