dc.contributor.author | Denecker, M. | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.editor | Kakas, Antonis C. | en |
dc.contributor.editor | Sadri S. | en |
dc.creator | Denecker, M. | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:39:28Z | |
dc.date.available | 2019-11-13T10:39:28Z | |
dc.date.issued | 2002 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53809 | |
dc.description.abstract | Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field. © 2002 Springer-Verlag Berlin Heidelberg. | en |
dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867643604&partnerID=40&md5=87d87139407c59ec66b1c30a97a6ff2e | |
dc.subject | Artificial intelligence | en |
dc.subject | Logic programming | en |
dc.subject | Extend logic programming | en |
dc.title | Abduction in logic programming | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 2407 | |
dc.description.startingpage | 402 | |
dc.description.endingpage | 436 | |
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 | <p>Cited By :79</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 | |