Inproceedings3265: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Stefan Ellmauthaler (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Ellmauthaler |FurtherAuthors=Hannes Strass }} {{Inproceedings |Referiert=1 |Title=Th…“) |
Stefan Ellmauthaler (Diskussion | Beiträge) K (added abstract) |
||
| Zeile 15: | Zeile 15: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded). | |||
|Download=ASPOCP13-6.pdf | |Download=ASPOCP13-6.pdf | ||
|Link=https://arxiv.org/abs/1312.6140 | |Link=https://arxiv.org/abs/1312.6140 | ||
|Forschungsgruppe=Wissensbasierte Systeme | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} | ||
Version vom 5. Januar 2021, 12:27 Uhr
The DIAMOND system for argumentation: Preliminary report
Stefan EllmauthalerStefan Ellmauthaler, Hannes StrassHannes Strass
Stefan Ellmauthaler, Hannes Strass
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
- KurzfassungAbstract
Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded). - Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{ES2013,
author = {Stefan Ellmauthaler and Hannes Strass},
title = {The {DIAMOND} system for argumentation: Preliminary report},
editor = {Michael Fink and Yuliya Lierler},
booktitle = {Proceedings of the 6th International Workshop on Answer Set
Programming and Other Computing Paradigms (ASPOCP 2013)},
publisher = {CoRR},
year = {2013},
month = {September}
}
