„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“.

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., , 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},
  year   = {2014}
}