Experimenting with Power Default Reasoning.

Eric Klavins William C. Rounds Guo-Qiang Zhang

Published in: AAAI/IAAI (1998)

Keyphrases

default reasoning
belief revision
nonmonotonic reasoning
conditional logic
default logic
dependency directed backtracking
proof theory
probabilistic logic
probabilistic reasoning
partial order
inheritance reasoning
closed world reasoning
neural network
default rules
general purpose
proof theoretic
modal logic