Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
Pierre DeransartRafael OliveiraPublished in: CoRR (2010)
Keyphrases
- constraint solving
- rule based reasoning
- case based reasoning
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- inference mechanism
- decision support system
- constraint satisfaction
- constraint programming
- artificial intelligence
- knowledge representation
- databases
- formal semantics
- reasoning tasks