On the Parameterized Complexity of Default Logic and Autoepistemic Logic.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

View graph of relations

Details

Original languageEnglish
Title of host publicationLanguage and Automata Theory and Applications
Subtitle of host publication6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Pages389-400
Publication statusPublished - 2012

Keywords

    cs.CC, cs.AI, 68Q17, F.4.1; I.2.3

Cite this

On the Parameterized Complexity of Default Logic and Autoepistemic Logic. / Meier, Arne; Schmidt, Johannes; Thomas, Michael et al.
Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012. p. 389-400.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Meier, A, Schmidt, J, Thomas, M & Vollmer, H 2012, On the Parameterized Complexity of Default Logic and Autoepistemic Logic. in Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. pp. 389-400. https://doi.org/10.1007/978-3-642-28332-1_33
Meier, A., Schmidt, J., Thomas, M., & Vollmer, H. (2012). On the Parameterized Complexity of Default Logic and Autoepistemic Logic. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings (pp. 389-400) https://doi.org/10.1007/978-3-642-28332-1_33
Meier A, Schmidt J, Thomas M, Vollmer H. On the Parameterized Complexity of Default Logic and Autoepistemic Logic. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012. p. 389-400 doi: 10.1007/978-3-642-28332-1_33
Meier, Arne ; Schmidt, Johannes ; Thomas, Michael et al. / On the Parameterized Complexity of Default Logic and Autoepistemic Logic. Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012. pp. 389-400
Download
@inproceedings{3ec6f183f2734b8fb9eda020dd3a1d3e,
title = "On the Parameterized Complexity of Default Logic and Autoepistemic Logic.",
keywords = "cs.CC, cs.AI, 68Q17, F.4.1; I.2.3",
author = "Arne Meier and Johannes Schmidt and Michael Thomas and Heribert Vollmer",
year = "2012",
doi = "10.1007/978-3-642-28332-1_33",
language = "English",
pages = "389--400",
booktitle = "Language and Automata Theory and Applications",

}

Download

TY - GEN

T1 - On the Parameterized Complexity of Default Logic and Autoepistemic Logic.

AU - Meier, Arne

AU - Schmidt, Johannes

AU - Thomas, Michael

AU - Vollmer, Heribert

PY - 2012

Y1 - 2012

KW - cs.CC

KW - cs.AI

KW - 68Q17

KW - F.4.1; I.2.3

U2 - 10.1007/978-3-642-28332-1_33

DO - 10.1007/978-3-642-28332-1_33

M3 - Conference contribution

SP - 389

EP - 400

BT - Language and Automata Theory and Applications

ER -

By the same author(s)