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

Jianmin Ji, Hannes Strass. From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK. In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Volume 263 of Frontiers in Artificial Intelligence and Applications, pages 1039-1040, IOS Press, 2014. [doi]

@inproceedings{JiS14,
  title = {From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK},
  author = {Jianmin Ji and Hannes Strass},
  year = {2014},
  doi = {10.3233/978-1-61499-419-0-1039},
  url = {http://dx.doi.org/10.3233/978-1-61499-419-0-1039},
  researchr = {https://researchr.org/publication/JiS14},
  cites = {0},
  citedby = {0},
  pages = {1039-1040},
  booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)},
  editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
  volume = {263},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-61499-419-0},
}