Inproceedings2930490119

PublikationenPublications

• Nach AutorBy Author
  • Hannes StraßHannes Straß
• Nach ForschungsgruppeBy Research Group

Toggle side column

Implementing Default and Autoepistemic Logics via the Logic of GK

Jianmin JiJianmin Ji,  Hannes StraßHannes Straß

• Download

Jianmin Ji, Hannes Straß
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 Stra{\ss}},
  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}
}