Semantisches Browsen
Aus International Center for Computational Logic
A prototype system is described whose core … A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for projection, forgetting and circumscription. This approach allows to express many representational and computational tasks in knowledge representation -- for example computation of abductive explanations and models with respect to logic programming semantics -- in a uniform operational system, backed by a uniform classical semantic framework.by a uniform classical semantic framework. +
@inproceedings{W2011,
author = {Christoph Wernhard},
title = {Computing with Logic as Operator Elimination: The {ToyElim}
System},
booktitle = {Proceedings of the 25th Workshop on Logic Programming, {WLP} 2011},
year = {2011}
}
author = {Christoph Wernhard},
title = {Computing with Logic as Operator Elimination: The {ToyElim}
System},
booktitle = {Proceedings of the 25th Workshop on Logic Programming, {WLP} 2011},
year = {2011}
}
Wernhard +
Christoph +
Christoph Wernhard<br/> '''[[WVPub128|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]] … Christoph Wernhard<br/> '''[[WVPub128|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]]''' <br/>__NOTOC__<i>Proceedings of the 25th Workshop on Logic Programming, WLP 2011</i>, 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub128|Details]][WVPub128|Details]] +
Christoph Wernhard<br/> '''[[WVPub128/en|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]] … Christoph Wernhard<br/> '''[[WVPub128/en|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]]''' <br/>__NOTOC__<i>Proceedings of the 25th Workshop on Logic Programming, WLP 2011</i>, 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub128|Details]][WVPub128|Details]] +
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.
Computing with Logic as Operator Elimination: The ToyElim System +
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.
13. April 2015, 13:07:35 +
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.
Computing with Logic as Operator Elimination: The ToyElim System +, Computing with Logic as Operator Elimination: The ToyElim System +, Computing with Logic as Operator Elimination: The ToyElim System +, Computing with Logic as Operator Elimination: The ToyElim System + und Computing with Logic as Operator Elimination: The ToyElim System +