Relative Expressiveness of Well-Founded Defeasible Logics.

Michael J. Maher

Published in: Australasian Conference on Artificial Intelligence (2013)

Keyphrases

expressive power
default logic
inheritance reasoning
computational properties
defeasible logic
data complexity
inference rules
modal logic
default reasoning
deontic logic
first order logic
case study
databases
multi agent
nonmonotonic logics
conditional logic
defeasible reasoning
tableau calculus