Toward Efficient Default Reasoning.

David W. Etherington James M. Crawford

Published in: AAAI/IAAI, Vol. 1 (1996)

Keyphrases

default reasoning
belief revision
nonmonotonic reasoning
dependency directed backtracking
partial order
default rules
proof theory
artificial intelligence
np hard
general purpose
default logic
conditional logic