The Complexity of Reasoning for Fragments of Autoepistemic Logic.

Research output: Contribution to journal › Article › Research › peer review

Authors

Research Organisations

Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 10
  • Captures
    • Readers: 6
see details

Details

Original languageUndefined/Unknown
Pages (from-to)17:1-17:22
JournalACM Trans. Comput. Log.
Volume13
Issue number2
Publication statusPublished - 2012

Cite this

The Complexity of Reasoning for Fragments of Autoepistemic Logic. / Creignou, Nadia; Meier, Arne; Vollmer, Heribert et al.
In: ACM Trans. Comput. Log., Vol. 13, No. 2, 2012, p. 17:1-17:22.

Research output: Contribution to journal › Article › Research › peer review

Creignou N, Meier A, Vollmer H, Thomas M. The Complexity of Reasoning for Fragments of Autoepistemic Logic. ACM Trans. Comput. Log. 2012;13(2):17:1-17:22. doi: 10.1145/2159531.2159539
Download
@article{6f7a786edfc14077879be76c21ad0ca7,
title = "The Complexity of Reasoning for Fragments of Autoepistemic Logic.",
author = "Nadia Creignou and Arne Meier and Heribert Vollmer and Michael Thomas",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2012",
doi = "10.1145/2159531.2159539",
language = "Undefined/Unknown",
volume = "13",
pages = "17:1--17:22",
journal = "ACM Trans. Comput. Log.",
issn = "1557-945X",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

Download

TY - JOUR

T1 - The Complexity of Reasoning for Fragments of Autoepistemic Logic.

AU - Creignou, Nadia

AU - Meier, Arne

AU - Vollmer, Heribert

AU - Thomas, Michael

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2012

Y1 - 2012

U2 - 10.1145/2159531.2159539

DO - 10.1145/2159531.2159539

M3 - Article

VL - 13

SP - 17:1-17:22

JO - ACM Trans. Comput. Log.

JF - ACM Trans. Comput. Log.

SN - 1557-945X

IS - 2

ER -

By the same author(s)