Login / Signup
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