Simple Default Reasoning in Theories of Action.

Hannes Strass Michael Thielscher

Published in: Australasian Conference on Artificial Intelligence (2009)

Keyphrases

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