Details
Originalsprache | undefiniert/unbekannt |
---|---|
Seiten (von - bis) | 685-710 |
Fachzeitschrift | Arch. Math. Log. |
Jahrgang | 54 |
Ausgabenummer | 5-6 |
Publikationsstatus | Veröffentlicht - 2015 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Arch. Math. Log., Jahrgang 54, Nr. 5-6, 2015, S. 685-710.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
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 -