dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Toni, F. | en |
dc.contributor.author | Mancarella, P. | en |
dc.contributor.editor | Gliozzi V. | en |
dc.contributor.editor | Pozzato G.L. | en |
dc.contributor.editor | Giordano L. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Toni, F. | en |
dc.creator | Mancarella, P. | en |
dc.date.accessioned | 2019-11-13T10:40:30Z | |
dc.date.available | 2019-11-13T10:40:30Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54156 | |
dc.description.abstract | Argumentation 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.publisher | CEUR-WS | en |
dc.source | CEUR Workshop Proceedings | en |
dc.source | 29th Italian Conference on Computational Logic, CILC 2014 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84925274781&partnerID=40&md5=d8c82084aa87e4f1a4df3a0767bcb36b | |
dc.subject | Computation theory | en |
dc.subject | Logic programming | en |
dc.subject | Formal logic | en |
dc.subject | Propositional logic | en |
dc.subject | Defeasible reasoning | en |
dc.subject | Non-monotonic reasoning | en |
dc.title | Argumentation for propositional logic and nonmonotonic reasoning | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 1195 | |
dc.description.startingpage | 272 | |
dc.description.endingpage | 286 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 111565 | en |
dc.description.notes | Cited By :1</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |