Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.
Miguel García-DíazSusana NievaPublished in: J. Funct. Log. Program. (2003)
Keyphrases
- real numbers
- constraint logic programming
- quantifier free
- constraint solver
- logic programming
- interval arithmetic
- logic programming language
- constraint solving
- constraint programming
- first order logic
- constraint propagation
- linear inequalities
- logic programs
- programming language
- declarative semantics
- constraint language
- function symbols
- domain specific
- global constraints
- co occurrence
- background knowledge
- data analysis
- computer vision
- constrained problems
- artificial neural networks
- decision making
- natural language
- integer program
- neural network
- quantifier elimination
- data mining