Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorToni, F.en
dc.creatorKakas, Antonis C.en
dc.creatorToni, F.en
dc.date.accessioned2019-11-13T10:40:30Z
dc.date.available2019-11-13T10:40:30Z
dc.date.issued1999
dc.identifier.issn0955-792X
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54155
dc.description.abstractIn recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for non-monotonic reasoning that can also be formulated via argumentation can be given new semantics, by a direct extension of the logic programming semantics. In this paper we develop an abstract computational framework where various argumentation semantics can be computed via different parametric variations of a simple basic proof theory. This proof theory is given in terms of derivations of trees where each node in a tree contains an argument (or attack) against its corresponding parent node. The proposed proof theory, defined here for the case of logic programming, generalizes directly to other logics for non-monotonic reasoning that can also be formalized via argumentation. The abstract proof theory forms the basis for developing concrete top-down proof procedures for query evaluation. These proof procedures are obtained by adopting specific search strategies and ways of computing attacks in the particular argumentation framework. For logic programming these procedures can be seen as a generalization of the Eshghi-Kowalski abductive proof procedure that in turn generalizes SLDNF.en
dc.sourceJournal of Logic and Computationen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0032642028&partnerID=40&md5=08f41c329713ab66f666783e839754ad
dc.subjectTheorem provingen
dc.subjectLogic programmingen
dc.subjectComputational linguisticsen
dc.subjectDefault reasoningen
dc.subjectNegation as failure (NAF)en
dc.titleComputing argumentation in logic programmingen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume9
dc.description.issue4
dc.description.startingpage515
dc.description.endingpage562
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Cited By :70</p>en
dc.source.abbreviationJ Logic Computen
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.gnosis.orcid0000-0001-6773-3944


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record