Article3049: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Martin Diller (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Johannes Peter Wallner; Stefan Woltran }} {{Article |Referier…“) |
Martin Diller (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 16: | Zeile 16: | ||
{{Publikation Details | {{Publikation Details | ||
|Link=https://www.tandfonline.com/doi/abs/10.1080/19462166.2015.1036922 | |Link=https://www.tandfonline.com/doi/abs/10.1080/19462166.2015.1036922 | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation | ||
}} | }} |
Aktuelle Version vom 18. September 2020, 14:39 Uhr
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Martin DillerMartin Diller, Johannes Peter WallnerJohannes Peter Wallner, Stefan WoltranStefan Woltran
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015
- Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation
@article{DWW2015,
author = {Martin Diller and Johannes Peter Wallner and Stefan Woltran},
title = {Reasoning in Abstract Dialectical Frameworks Using Quantified
Boolean Formulas},
journal = {Argument \& Computation},
volume = {6},
number = {2},
year = {2015},
pages = {149{\textendash}177}
}