Implementing Default and Autoepistemic Logics via the Logic of GK

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

„July“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Toggle side column

Implementing Default and Autoepistemic Logics via the Logic of GK

Jianmin JiJianmin Ji,  Hannes StraßHannes Straß
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),  2014
    @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}
    }