Details
| Original language | Undefined/Unknown |
|---|---|
| Pages (from-to) | 685-710 |
| Journal | Arch. Math. Log. |
| Volume | 54 |
| Issue number | 5-6 |
| Publication status | Published - 2015 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Arch. Math. Log., Vol. 54, No. 5-6, 2015, p. 685-710.
Research output: Contribution to journal › Article › Research › 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 -