An essay on resolution logics.

Zbigniew Stachniak

Published in: Stud Logica (1993)

Keyphrases

modal logic
expressive power
genetic algorithm
high resolution
consequence finding
inference rules
valued logic
conflict detection
database
neural network
decision making
image processing
case study
nonmonotonic logics
conditional logic