Reasoning in abstract dialectical frameworks using quantified Boolean formulas (Englisch)
Freier Zugriff
- Neue Suche nach: Diller, Martin
- Neue Suche nach: Wallner, Johannes Peter
- Neue Suche nach: Woltran, Stefan
- Neue Suche nach: Diller, Martin
- Neue Suche nach: Wallner, Johannes Peter
- Neue Suche nach: Woltran, Stefan
In:
Argument & Computation
;
6
, 2
;
149-177
;
2015
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Reasoning in abstract dialectical frameworks using quantified Boolean formulas
-
Beteiligte:
-
Erschienen in:Argument & Computation ; 6, 2 ; 149-177
-
Verlag:
- Neue Suche nach: IOS Press
-
Erscheinungsort:Amsterdam, The Netherlands
-
Erscheinungsdatum:04.05.2015
-
Format / Umfang:29 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis – Band 6, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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