A Unifying Framework for Abductive and Constraint Logic Programming.

Published in: WLP (1997)

Keyphrases

constraint logic programming
logic programming
artificial intelligence
expert systems
constraint solving
logic programming language
programming paradigms
global constraints
abductive reasoning