Contextual Nets and Constraint Logic Programming.
Ugo MontanariFrancesca RossiFrancisco BuenoMaria J. García de la BandaManuel V. HermenegildoPublished in: ICLP Workshop on Concurrent Constraint Programming (1993)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming
- logic programming language
- answer set programming
- contextual information
- constraint programming
- constraint propagation
- temporal reasoning
- finite domain
- constraint solver
- artificial intelligence
- logic programs
- proof theoretic
- programming paradigms
- global constraints
- constraint satisfaction
- upper bound