| dc.contributor.author | Kakas, Antonis C. | en |
| dc.contributor.author | Kowalski, R. A. | en |
| dc.contributor.author | Toni, F. | en |
| dc.creator | Kakas, Antonis C. | en |
| dc.creator | Kowalski, R. A. | en |
| dc.creator | Toni, F. | en |
| dc.date.accessioned | 2019-11-13T10:40:27Z | |
| dc.date.available | 2019-11-13T10:40:27Z | |
| dc.date.issued | 1992 | |
| dc.identifier.issn | 0955-792X | |
| dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54125 | |
| dc.description.abstract | This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning | en |
| dc.description.abstract | and we introduce an argumentation-theoretic approach to the use of abduction as an interpretation for negation as failure. We also analyse the links between abduction and the extension of logic programming obtained by adding a form of explicit negation. Finally we discuss the relation between abduction and truth maintenance. © 1993 Oxford University Press. | en |
| dc.source | Journal of Logic and Computation | en |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-77957187070&doi=10.1093%2flogcom%2f2.6.719&partnerID=40&md5=7789cea618e0d60fd51d2dff978e174a | |
| dc.title | Abductive logic programming | en |
| dc.type | info:eu-repo/semantics/article | |
| dc.identifier.doi | 10.1093/logcom/2.6.719 | |
| dc.description.volume | 2 | |
| dc.description.issue | 6 | |
| dc.description.startingpage | 719 | |
| dc.description.endingpage | 770 | |
| 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 :385</p> | en |
| dc.source.abbreviation | J Logic Comput | en |
| dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
| dc.gnosis.orcid | 0000-0001-6773-3944 | |
