Constraint Logic Programming for Hedges: A Semantic Reconstruction.
Besik DunduaMário FloridoTemur KutsiaMircea MarinPublished in: FLOPS (2014)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- three dimensional
- natural language
- temporal reasoning
- image reconstruction
- proof theoretic
- high resolution
- programming paradigms
- constraint propagation
- semantic web
- artificial intelligence
- integrity constraints
- global constraints
- semantic information
- constraint solver
- logic programs
- databases