From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK

Jianmin JiJianmin Ji, Hannes StraßHannes Straß

Jianmin Ji, Hannes Straß
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), 1039--1040, August 2014. IOS Press

Details
Bibtex

@inproceedings{JS2014,
  author    = {Jianmin Ji and Hannes Stra{\ss}},
  title     = {From Default and Autoepistemic Logics to Disjunctive Answer Set
               Programs via the Logic of {GK}},
  booktitle = {Proceedings of the Twenty-First European Conference on Artificial
               Intelligence (ECAI)},
  publisher = {IOS Press},
  year      = {2014},
  month     = {August},
  pages     = {1039--1040},
  doi       = {10.3233/978-1-61499-419-0-1039}
}