Strong Conditional Logic.

Cláudia Nalon Jacques Wainer

Published in: SBIA (1998)

Keyphrases

conditional logic
default reasoning
belief revision
modal logic
nonmonotonic reasoning
defeasible reasoning
higher order logic
nonmonotonic inference
sound and complete axiomatization
knowledge representation and reasoning
knowledge representation