Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorToni, F.en
dc.contributor.authorMancarella, P.en
dc.contributor.editorGliozzi V.en
dc.contributor.editorPozzato G.L.en
dc.contributor.editorGiordano L.en
dc.creatorKakas, Antonis C.en
dc.creatorToni, F.en
dc.creatorMancarella, P.en
dc.description.abstractArgumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework for formalizing human argumentation and debate. In this context, the purpose of this paper is twofold: To draw a formal connection between argumentation and classical reasoning (in the form of Propositional Logic) and link this to support defeasible, Non-Monotonic Reasoning in AI. To this effect, we propose Argumentation Logic and show properties and extensions thereof.en
dc.sourceCEUR Workshop Proceedingsen
dc.source29th Italian Conference on Computational Logic, CILC 2014en
dc.subjectComputation theoryen
dc.subjectLogic programmingen
dc.subjectFormal logicen
dc.subjectPropositional logicen
dc.subjectDefeasible reasoningen
dc.subjectNon-monotonic reasoningen
dc.titleArgumentation for propositional logic and nonmonotonic reasoningen
dc.description.endingpage286 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notesConference code: 111565en
dc.description.notesCited By :1</p>en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record