Constraint logic programming for hedges.

Besik Dundua Mário Florido Temur Kutsia Mircea Marin

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

constraint logic programming
constraint solving
logic programming language
answer set programming
constraint programming
logic programming
global constraints
proof theoretic
temporal reasoning
constraint propagation
finite domain
programming paradigms
database
natural language
general purpose