Towards a Generic Trace for Rule Based Constraint Reasoning
Armando Gonçalves Da Silva JuniorPierre DeransartLuis-Carlos MenezesMarcos Aurélio Almeida da SilvaJacques RobinPublished in: CoRR (2012)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- expert systems
- data driven
- rule base
- arc consistency
- rule based systems
- computer vision
- constraint satisfaction problems
- generic model
- contextual information
- linear programming
- domain specific
- probabilistic model
- query language
- high level