Minimization of Abnormality: A Simple System for Default Reasoning.

Witold Lukaszewicz

Published in: ECAI (1986)

Keyphrases

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