Browse wiki
From International Center for Computational Logic
Hannes Straß + und Jianmin Ji +
@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}
}
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}
}
Jianmin +
Jianmin Ji, Hannes Straß<br/> '''[[Inproceedings2930490119|<b>Implementing Default and Autoepistemic Logics via the Logic of GK</b>]]'' … Jianmin Ji, Hannes Straß<br/> '''[[Inproceedings2930490119|<b>Implementing Default and Autoepistemic Logics via the Logic of GK</b>]]''' <br/>__NOTOC__In Sébastien Konieczny and Hans Tompits, eds., <i>Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR)</i>, July 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings2930490119|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:HS1532868684_2014_NMR14-17.pdf|Download]]:HS1532868684_2014_NMR14-17.pdf|Download]] +
Jianmin Ji, Hannes Straß<br/> '''[[Inproceedings2930490119/en|<b>Implementing Default and Autoepistemic Logics via the Logic of GK</b>]]'' … Jianmin Ji, Hannes Straß<br/> '''[[Inproceedings2930490119/en|<b>Implementing Default and Autoepistemic Logics via the Logic of GK</b>]]''' <br/>__NOTOC__In Sébastien Konieczny and Hans Tompits, eds., <i>Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR)</i>, July 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings2930490119|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:HS1532868684_2014_NMR14-17.pdf|Download]]:HS1532868684_2014_NMR14-17.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Implementing Default and Autoepistemic Logics via the Logic of GK +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
26. Oktober 2021, 11:46:19 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Implementing Default and Autoepistemic Logics via the Logic of GK +, Implementing Default and Autoepistemic Logics via the Logic of GK +, Implementing Default and Autoepistemic Logics via the Logic of GK +, Implementing Default and Autoepistemic Logics via the Logic of GK + und Implementing Default and Autoepistemic Logics via the Logic of GK +
