Implementing Default and Autoepistemic Logics via the Logic of GK

Jianmin JiJianmin Ji, Hannes StrassHannes Strass

Download

Jianmin Ji, Hannes Strass
Implementing Default and Autoepistemic Logics via the Logic of GK
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014

Details
Bibtex

@inproceedings{JS2014,
  author    = {Jianmin Ji and Hannes Strass},
  title     = {Implementing Default and Autoepistemic Logics via the Logic of
               {GK}},
  editor    = {S{\'{e}}bastien Konieczny and Hans Tompits},
  booktitle = {Proceedings of the Fifteenth International Workshop on
               Non-Monotonic Reasoning (NMR)},
  year      = {2014},
  month     = {July}
}