Relative expressiveness of defeasible logics.

Michael J. Maher

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

expressive power
computational properties
inheritance reasoning
modal logic
default logic
defeasible logic
first order logic
databases
neural network
real world
machine learning
learning algorithm
knowledge base
data complexity
nonmonotonic logics
practical reasoning