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]

Bibliographies