Default Reasoning Implementation in CoGui.

Patrice Buche Jérôme Fortin Alain Gutierrez

Published in: ICCS (2014)

Keyphrases

default reasoning
belief revision
default logic
partial order
nonmonotonic reasoning
dependency directed backtracking
probabilistic reasoning
conditional logic
proof theory
proof theoretic
closed world reasoning
expert systems
probabilistic logic
default theories
machine learning
heuristic search