A Calculus and Complexity Bound for Minimal Conditional Logic.

Nicola Olivetti Camilla Schwind

Published in: ICTCS (2001)

Keyphrases

conditional logic
worst case
default reasoning
modal logic
defeasible reasoning
artificial intelligence
lower bound
higher order logic
belief revision
computational complexity
probabilistic logic
knowledge representation and reasoning