Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMichael, Antoniaen
dc.contributor.authorMourlas, Constantinosen
dc.creatorKakas, Antonis C.en
dc.creatorMichael, Antoniaen
dc.creatorMourlas, Constantinosen
dc.description.abstractThis 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 enhanced by its non-trivial integration with constraint solving. This integration of constraint solving into abductive reasoning facilitates a general form of constructive abduction and enables the application of abduction to computationally demanding problems. The paper studies the formal declarative and operational semantics of the ACLP framework together with its application to various problems. The general characteristics of the computation of ACLP and of its application to problems are also discussed. Empirical results based on an implementation of the ACLP framework on top of the CLP language of ECLiPSe show that ACLP is computationally viable, with performance comparable to the underlying CLP framework on which it is built. In addition, our experiments show the natural ability for ACLP to accommodate easily and in a robust way new or changing requirements of the original problem. ACLP thus combines the advantages of modularity and flexibility of the high-level representation afforded by abduction together with the computational effectiveness of low-level specialised constraint solving.en
dc.sourceJournal of Logic Programmingen
dc.subjectProblem solvingen
dc.subjectArtificial intelligenceen
dc.subjectComputational complexityen
dc.subjectConstraint theoryen
dc.subjectLogic programmingen
dc.subjectComputational linguisticsen
dc.subjectNonmonotonic reasoningen
dc.subjectAbductive constraint logic programmingen
dc.subjectConstraint solvingen
dc.titleACLP: Abductive Constraint Logic Programmingen
dc.description.endingpage177 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Cited By :62</p>en
dc.source.abbreviationJ Logic Programen
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record