Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorToni, F.en
dc.contributor.authorMancarella, P.en
dc.contributor.editorOren N.en
dc.contributor.editorReed C.en
dc.contributor.editorParsons S.en
dc.contributor.editorCerutti F.en
dc.creatorKakas, Antonis C.en
dc.creatorToni, F.en
dc.creatorMancarella, P.en
dc.date.accessioned2019-11-13T10:40:30Z
dc.date.available2019-11-13T10:40:30Z
dc.date.issued2014
dc.identifier.issn0922-6389
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54157
dc.description.abstractWe propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of Reduction ad Absurdum (RA). In the case of classically consistent theories, AL and PL are equivalent, and RA is recovered through a notion of (non-)acceptability of arguments. In the case of classically inconsistent theories, AL is an extension of PL that does not trivialize, enjoying good logic-based argumentation and general logical properties. © 2014 The authors and IOS PressAll rights reserved.en
dc.source5th International Conference on Computational Models of Argument, COMMA 2014en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84940528154&doi=10.3233%2f978-1-61499-436-7-345&partnerID=40&md5=22082ffd816da85478635376a2a2856a
dc.subjectProblem solvingen
dc.subjectComputational methodsen
dc.subjectAluminumen
dc.subjectSemanticsen
dc.subjectComputation theoryen
dc.subjectFormal logicen
dc.subjectArgumentationen
dc.subjectLogic-based argumentationsen
dc.subjectClassical propositional logicen
dc.subjectInconsistencyen
dc.subjectLogicen
dc.subjectLogical propertiesen
dc.titleArgumentation Logicen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.3233/978-1-61499-436-7-345
dc.description.volume266
dc.description.startingpage345
dc.description.endingpage356
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 113756en
dc.description.notesCited By :1</p>en
dc.source.abbreviationFront. Artif. Intell. Appl.en
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