On the Parameterized Complexity of Default Logic and Autoepistemic Logic

Arne Meier, Johannes Schmidt 0001, Michael Thomas, Heribert Vollmer. On the Parameterized Complexity of Default Logic and Autoepistemic Logic. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 389-400, Springer, 2012. [doi]

@inproceedings{MeierSTV12,
  title = {On the Parameterized Complexity of Default Logic and Autoepistemic Logic},
  author = {Arne Meier and Johannes Schmidt 0001 and Michael Thomas and Heribert Vollmer},
  year = {2012},
  doi = {10.1007/978-3-642-28332-1_33},
  url = {http://dx.doi.org/10.1007/978-3-642-28332-1_33},
  researchr = {https://researchr.org/publication/MeierSTV12},
  cites = {0},
  citedby = {0},
  pages = {389-400},
  booktitle = {Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings},
  editor = {Adrian Horia Dediu and Carlos Martín-Vide},
  volume = {7183},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28331-4},
}