dc.contributor.author | Toni, F. | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.editor | Nerode A. | en |
dc.contributor.editor | Marek V.W. | en |
dc.contributor.editor | Truszczynski M. | en |
dc.creator | Toni, F. | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:42:28Z | |
dc.date.available | 2019-11-13T10:42:28Z | |
dc.date.issued | 1995 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/55063 | |
dc.description.abstract | We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined as generalisations of corresponding proof theories and procedures for the stable theory and preferred extension semantics. In turn, these can be seen as generalisations of the Eshghi-Kowalski abductive procedure for logic programming. © Springer-Verlag Berlin Heidelberg 1995. | en |
dc.source | 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84947912880&partnerID=40&md5=575913c40df18f0438d46e7acdc62e1f | |
dc.subject | Semantics | en |
dc.subject | Computation theory | en |
dc.subject | Logic programming | en |
dc.subject | Proof procedures | en |
dc.subject | Non-monotonic reasoning | en |
dc.subject | Argumentation frameworks | en |
dc.subject | Acceptability semantics | en |
dc.subject | Proof theory | en |
dc.title | Computing the acceptability semantics | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 928 | |
dc.description.startingpage | 401 | |
dc.description.endingpage | 415 | |
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>Sponsors: Association for Logic Programming | en |
dc.description.notes | Conference code: 147529 | en |
dc.description.notes | Cited By :16</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 | |