On the parameterized complexity of non-monotonic logics.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autorschaft

Forschungs-netzwerk anzeigen

Details

Originalspracheundefiniert/unbekannt
Seiten (von - bis)685-710
FachzeitschriftArch. Math. Log.
Jahrgang54
Ausgabenummer5-6
PublikationsstatusVeröffentlicht - 2015

Zitieren

On the parameterized complexity of non-monotonic logics. / Meier, Arne; Schindler, Irina; Schmidt, Johannes et al.
in: Arch. Math. Log., Jahrgang 54, Nr. 5-6, 2015, S. 685-710.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Meier A, Schindler I, Schmidt J, Thomas M, Vollmer H. On the parameterized complexity of non-monotonic logics. Arch. Math. Log. 2015;54(5-6):685-710. doi: 10.1007/S00153-015-0435-X
Meier, Arne ; Schindler, Irina ; Schmidt, Johannes et al. / On the parameterized complexity of non-monotonic logics. in: Arch. Math. Log. 2015 ; Jahrgang 54, Nr. 5-6. S. 685-710.
Download
@article{15e49eebadab4a8fb5ebd978eb33281f,
title = "On the parameterized complexity of non-monotonic logics.",
author = "Arne Meier and Irina Schindler and Johannes Schmidt and Michael Thomas and Heribert Vollmer",
note = "Funding information: This work is supported in part by DFG Grant VO 630/6-2 and ME 4279/1-1. Part of this work has been published in a preliminary form in: A. Meier and J. Schmidt and M. Thomas and H. Vollmer, On the Parameterized Complexity of Default Logic and Autoepistemic Logic, Proc. LATA 2012, pp. 389–400, vol. 7183 LNCS.",
year = "2015",
doi = "10.1007/S00153-015-0435-X",
language = "Undefined/Unknown",
volume = "54",
pages = "685--710",
journal = "Arch. Math. Log.",
issn = "1432-0665",
publisher = "Springer New York",
number = "5-6",

}

Download

TY - JOUR

T1 - On the parameterized complexity of non-monotonic logics.

AU - Meier, Arne

AU - Schindler, Irina

AU - Schmidt, Johannes

AU - Thomas, Michael

AU - Vollmer, Heribert

N1 - Funding information: This work is supported in part by DFG Grant VO 630/6-2 and ME 4279/1-1. Part of this work has been published in a preliminary form in: A. Meier and J. Schmidt and M. Thomas and H. Vollmer, On the Parameterized Complexity of Default Logic and Autoepistemic Logic, Proc. LATA 2012, pp. 389–400, vol. 7183 LNCS.

PY - 2015

Y1 - 2015

U2 - 10.1007/S00153-015-0435-X

DO - 10.1007/S00153-015-0435-X

M3 - Article

VL - 54

SP - 685

EP - 710

JO - Arch. Math. Log.

JF - Arch. Math. Log.

SN - 1432-0665

IS - 5-6

ER -

Von denselben Autoren