| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00063350 |
| Název v původním jazyce | Augmenting tractable fragments of abstract argumentation |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 1 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | Jimp - Článek v impaktovaném časopise evidovaném ve Web of Science |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 69,650 |
| Faktor korekce | 90,8 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 63,257 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 50,0 % | 34,825 | 31,628 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Dvorak Wolfgang (státní příslušnost: AT - Rakouská republika) |
| Tvůrce | Ordyniak Sebastian (státní příslušnost: DE - Spolková republika Německo; A - domácí tvůrce; G - garant výsledku) |
| Tvůrce | Szeider Stefan (státní příslušnost: AT - Rakouská republika) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We present a new approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms defined for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not. More specifically, we show that the problems of Credulous and Skeptical Acceptance are fixed-parameter tractable when parameterized by the distance from the fragment of acyclic argumentation frameworks-for most semantics. Other tractable fragments such as the fragments of symmetrical and bipartite frameworks seem to prohibit an augmentation: the acceptance problems are already intractable for frameworks at distance 1 from the fragments. For our study we use a broad setting and consider several different semantics. |
| Klíčová slova | Abstract argumentation; Backdoors; Computational complexity; Parameterized complexity; Fixed-parameter tractability |
| Kód UT ISI | 000304737300005 |
| Rozsah stran | 157-173 |
| Název periodka | ARTIFICIAL INTELLIGENCE |
| ISSN | 0004-3702 |
| Svazek periodika | 186 |
| Číslo periodika v rámci uvedeného svazku | 1 |
| Stát vydavatele periodika | NL - Nizozemsko |
| Počet stran výsledku | 17 |
| DOI výsledku | 10.1016/j.artint.2012.03.002 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00063350!RIV13-MSM-14330___ |
| Kontrolní kód | [A4FC848815A9] |
| Jiný výskyt tohoto výsledku se v RIV nenachází |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| O - Projekt operačního programu |