Details
| Original language | English |
|---|---|
| Volume | 10061 |
| Publication status | Published - 2010 |
Publication series
| Name | Dagstuhl Seminar Proceedings |
|---|---|
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
The Complexity of Reasoning for Fragments of Autoepistemic Logic. / Creignou, Nadia; Meier, Arne; Thomas, Michael et al.
2010. (Dagstuhl Seminar Proceedings).
2010. (Dagstuhl Seminar Proceedings).
Research output: Working paper/Preprint › Technical report › Research
Creignou, N, Meier, A, Thomas, M & Vollmer, H 2010 'The Complexity of Reasoning for Fragments of Autoepistemic Logic' Dagstuhl Seminar Proceedings. <http://drops.dagstuhl.de/opus/volltexte/2010/2523/>
Creignou, N., Meier, A., Thomas, M., & Vollmer, H. (2010). The Complexity of Reasoning for Fragments of Autoepistemic Logic. (Dagstuhl Seminar Proceedings). http://drops.dagstuhl.de/opus/volltexte/2010/2523/
Creignou N, Meier A, Thomas M, Vollmer H. The Complexity of Reasoning for Fragments of Autoepistemic Logic. 2010. (Dagstuhl Seminar Proceedings).
Download
@techreport{12361de168c74213920196faba6a1b19,
title = "The Complexity of Reasoning for Fragments of Autoepistemic Logic",
author = "Nadia Creignou and Arne Meier and Michael Thomas and Heribert Vollmer",
year = "2010",
language = "English",
volume = "10061",
series = "Dagstuhl Seminar Proceedings",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik, Germany",
type = "WorkingPaper",
institution = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik, Germany",
}
Download
TY - UNPB
T1 - The Complexity of Reasoning for Fragments of Autoepistemic Logic
AU - Creignou, Nadia
AU - Meier, Arne
AU - Thomas, Michael
AU - Vollmer, Heribert
PY - 2010
Y1 - 2010
M3 - Technical report
VL - 10061
T3 - Dagstuhl Seminar Proceedings
BT - The Complexity of Reasoning for Fragments of Autoepistemic Logic
ER -