Normal Modal Preferential Consequence.

Katarina Britz Thomas Meyer Ivan José Varzinczak

Published in: Australasian Conference on Artificial Intelligence (2012)

Keyphrases

modal logic
neural network
case study
computer vision
data structure
lower bound
multiresolution
nonmonotonic logics
tableau calculus