Browsing by Subject "Constraint solving"
Now showing items 1-1 of 1
-
Article
ACLP: Abductive Constraint Logic Programming
(2000)This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...