Fixed-Parameter Tractability of Disjunction-Free Default Reasoning.

Xishun Zhao Decheng Ding

Published in: J. Comput. Sci. Technol. (2003)

Keyphrases

default reasoning
belief revision
nonmonotonic reasoning
default logic
partial order
dependency directed backtracking
conditional logic
default rules
probabilistic reasoning
expert systems
np hard
decision theory