Default Reasoning System DeReS.

Pawel Cholewinski V. Wiktor Marek Miroslaw Truszczynski

Published in: KR (1996)

Keyphrases

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