dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Mourlas, G. | en |
dc.contributor.editor | Nerode A. | en |
dc.contributor.editor | Dix J. | en |
dc.contributor.editor | Furbach U. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Mourlas, G. | en |
dc.date.accessioned | 2019-11-13T10:40:30Z | |
dc.date.available | 2019-11-13T10:40:30Z | |
dc.date.issued | 1997 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54151 | |
dc.description.abstract | In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) which integrates abduction and constraint solving in Logic Programming. It is build on top of the ECLiPSe language for Constraint Logic Programming (CLP) interfacing (and exploiting) appropriately the non-monotonic reasoning of abduction with the specialized constraint solving of the CLP language. ACLP is intended as a programming language that extends the underlying CLP language in which using NMR (in this case abduction) together with constraint solving it is possible to develop flexible solutions that are computationally viable in the real-life domain. We present the basic theory of ACLP that underlies the system, the main features of the ACLP language and how it can be used when developing applications. We then report on some experiments performed in order to test the cost of the use of the ACLP system as compared with the direct use of the (lower level) constraint solving framework of CLP on which this is build. These experiments provide evidence that the non-monotonic framework of ACLP does not compromise significantly the computational efficiency of the solutions thus confirming the computational viability of the framework for the development of flexible solutions to real-life applications. © 1997, Springer Verlag. All rights reserved. | en |
dc.source | 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84946707072&partnerID=40&md5=45b05893769fbfc817a8a402bbca5c41 | |
dc.subject | Computational efficiency | en |
dc.subject | Codes (symbols) | en |
dc.subject | Computation theory | en |
dc.subject | Computer programming languages | en |
dc.subject | Logic programming | en |
dc.subject | Computational linguistics | en |
dc.subject | Complex problems | en |
dc.subject | Non-monotonic reasoning | en |
dc.subject | Basic theory | en |
dc.subject | Constraint Logic Programming | en |
dc.subject | Constraint Solving | en |
dc.subject | Direct use | en |
dc.subject | Life domain | en |
dc.subject | Real-life applications | en |
dc.title | ACLP: Flexible solutions to complex problems | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 1265 | |
dc.description.startingpage | 387 | |
dc.description.endingpage | 398 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | Deutsche Forschungsgemeinschaft (DFG) | de |
dc.description.notes | <p>Sponsors: Association of Logic Programming (ALP) | en |
dc.description.notes | Compulog Network of Excellence | en |
dc.description.notes | et al | en |
dc.description.notes | Gesellschaft fur Informatik (GI) | en |
dc.description.notes | University of Koblenz | en |
dc.description.notes | Conference code: 143959 | en |
dc.description.notes | Cited By :7</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |