Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version.

Verónica Becher

Published in: SBIA (1995)

Keyphrases

preliminary version
nonmonotonic inference
conditional logic
nonmonotonic reasoning
defeasible reasoning
default reasoning
belief revision
higher order logic
modal logic
logic programming
defeasible logic
machine learning
probabilistic reasoning
legal reasoning
sound and complete axiomatization