COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming.
Franck PorcherPublished in: SPLT (1990)
Keyphrases
- high level
- multi valued
- linear constraints
- global constraints
- real world
- constraint language
- finite domain
- constrained optimization
- programming language
- constraint programming
- temporal logic
- constraint satisfaction
- model checking
- symbolic representation
- constraint satisfaction problems
- programming environment
- predicate logic
- general purpose
- neural network
- conceptual spaces
- derivation rules