Login / Signup
Constraint Diagram Reasoning.
Bernd Meyer
Published in:
CP (1999)
Keyphrases
</>
knowledge representation
reasoning systems
automated reasoning
reasoning tasks
formal models
knowledge base
real time
probabilistic reasoning
reasoning engine
case study
default reasoning
spatial reasoning
knowledge representation and reasoning
uml class diagrams
constrained minimization
diagrammatic reasoning