University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

A QBF-based Formalization of Abstract Argumentation Semantics

Simple item page
dc.contributor.authorArieli, Ofer
dc.contributor.authorCaminada, Martin W.A.
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2014-03-06T13:24:01Z
dc.date.available2014-03-06T13:24:01Z
dc.date.issued2013-06
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.description.statusPeer revieweden
dc.format.extent24
dc.format.extent242611
dc.identifier31696610
dc.identifierd461f9cc-1416-4fb2-bad2-df65724c7c40
dc.identifier84876862786
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.doi10.1016/j.jal.2013.03.009
dc.identifier.iss2en
dc.identifier.urihttp://hdl.handle.net/2164/3153
dc.identifier.vol11en
dc.language.isoeng
dc.relation.ispartofJournal of Applied Logicen
dc.subjectsemantics for abstract argumentationen
dc.subjectframeworksen
dc.subjectquantified Boolean formulasen
dc.subjectsigned theoriesen
dc.subjectQA Mathematicsen
dc.subjectGeneral Computer Scienceen
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

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
JAL_QBF_final_version.pdf
Size:
236.92 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
8.32 KB
Format:
Plain Text
Description:
Download

Collections

All research
Computing Science research
University Office research