On the Entailment Problem for a Logic of Typicality.

Richard Booth Giovanni Casini Thomas Andreas Meyer Ivan José Varzinczak

Published in: IJCAI (2015)

Keyphrases

logic programming
probabilistic logic
modal logic
multi valued
classical logic
data sets
automated reasoning
np complete
maximum entropy
neural network
search engine
co occurrence
logical framework
nonmonotonic logics
logical implication
logic based argumentation