INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
Leslie De KoninckTom SchrijversBart DemoenPublished in: WLP (2006)
Keyphrases
- constraint logic programming
- temporal reasoning
- constraint solving
- logic programming language
- answer set programming
- logic programming
- programming paradigms
- temporal information
- temporal constraints
- constraint propagation
- constraint programming
- qualitative and quantitative
- logic programs
- knowledge base
- constraint satisfaction
- proof theoretic
- finite domain
- knowledge representation
- global constraints
- constraint satisfaction problems
- answer sets
- nonmonotonic reasoning
- temporal relations
- constraint databases
- expert systems
- search algorithm
- machine learning
- orders of magnitude