Show simple item record

dc.contributor.authorArieli, Ofer
dc.contributor.authorCaminada, Martin W.A.
dc.date.accessioned2014-03-06T13:24:01Z
dc.date.available2014-03-06T13:24:01Z
dc.date.issued2013-06
dc.identifier.citationArieli , O & Caminada , M W A 2013 , ' A QBF-based Formalization of Abstract Argumentation Semantics ' , Journal of Applied Logic , vol. 11 , no. 2 , pp. 229-252 . https://doi.org/10.1016/j.jal.2013.03.009en
dc.identifier.otherPURE: 31696610
dc.identifier.otherPURE UUID: d461f9cc-1416-4fb2-bad2-df65724c7c40
dc.identifier.otherScopus: 84876862786
dc.identifier.urihttp://hdl.handle.net/2164/3153
dc.descriptionSupported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project).en
dc.format.extent24
dc.language.isoeng
dc.relation.ispartofJournal of Applied Logicen
dc.rights© 2013. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Applied Logic. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in JOURNAL OF APPLIED LOGIC, VOL 11, ISSUE 2, (2013) DOI: 10.1016/j.jal.2013.03.009en
dc.subjectsemantics for abstract argumentationen
dc.subjectframeworksen
dc.subjectquantified Boolean formulasen
dc.subjectsigned theoriesen
dc.subjectQA Mathematicsen
dc.subjectComputer Science(all)en
dc.subjectEngineering and Physical Sciences Research Council (EPSRC)en
dc.subjectEP/J012084/1en
dc.subject.lccQAen
dc.titleA QBF-based Formalization of Abstract Argumentation Semanticsen
dc.typeJournal articleen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.description.statusPeer revieweden
dc.description.versionPostprinten
dc.identifier.doihttps://doi.org/10.1016/j.jal.2013.03.009


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record