| dc.contributor.author | Arieli, Ofer | |
| dc.contributor.author | Caminada, Martin W.A. | |
| dc.date.accessioned | 2014-03-06T13:24:01Z | |
| dc.date.available | 2014-03-06T13:24:01Z | |
| dc.date.issued | 2013-06 | |
| dc.identifier | 31696610 | |
| dc.identifier | d461f9cc-1416-4fb2-bad2-df65724c7c40 | |
| dc.identifier | 84876862786 | |
| dc.identifier.citation | Arieli , 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.009 | en |
| dc.identifier.uri | http://hdl.handle.net/2164/3153 | |
| dc.description | Supported 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.extent | 24 | |
| dc.format.extent | 242611 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Journal of Applied Logic | en |
| dc.subject | semantics for abstract argumentation | en |
| dc.subject | frameworks | en |
| dc.subject | quantified Boolean formulas | en |
| dc.subject | signed theories | en |
| dc.subject | QA Mathematics | en |
| dc.subject | General Computer Science | en |
| dc.subject | Engineering and Physical Sciences Research Council (EPSRC) | en |
| dc.subject | EP/J012084/1 | en |
| dc.subject.lcc | QA | en |
| dc.title | A QBF-based Formalization of Abstract Argumentation Semantics | en |
| dc.type | Journal article | en |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.description.status | Peer reviewed | en |
| dc.identifier.doi | 10.1016/j.jal.2013.03.009 | |
