Reasoning in abstract dialectical frameworks using quantified Boolean formulas (English)
Free access
- New search for: Diller, Martin
- New search for: Wallner, Johannes Peter
- New search for: Woltran, Stefan
- New search for: Diller, Martin
- New search for: Wallner, Johannes Peter
- New search for: Woltran, Stefan
In:
Argument & Computation
;
6
, 2
;
149-177
;
2015
- Article (Journal) / Electronic Resource
-
Title:Reasoning in abstract dialectical frameworks using quantified Boolean formulas
-
Contributors:
-
Published in:Argument & Computation ; 6, 2 ; 149-177
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2015-05-04
-
Size:29 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents – Volume 6, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 101
-
A computational model of argumentation in agreement negotiation processesKoit, Mare / Õim, Haldur et al. | 2015
- 130
-
Computer-assisted safety argument review – a dialectics approachYuan, Tangming / Kelly, Tim / Xu, Tianhua et al. | 2015
- 149
-
Reasoning in abstract dialectical frameworks using quantified Boolean formulasDiller, Martin / Wallner, Johannes Peter / Woltran, Stefan et al. | 2015
- 178
-
Probabilistic abstract argumentation: an investigation with Boltzmann machinesRiveret, Régis / Korkinof, Dimitrios / Draief, Moez / Pitt, Jeremy et al. | 2015