Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
A prototype system is described whose coreA 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}
}
Inproceedings  +
Proceedings of the 25th Workshop on Logic Programming, WLP 2011  +
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]]  +
Computing with Logic as Operator Elimination: The ToyElim System  +
inproceedings  +
2011  +
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.