Default Reasoning in a Network Environment.

Zdravko Markov Lydia Sinapova Christo Dichev

Published in: ECAI (1990)

Keyphrases

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