Semantisches Browsen
Aus International Center for Computational Logic
WV-1999-05 +
@techreport{HS1999,
author = {Steffen H{\"{o}}lldobler and Hans-Peter St{\"{o}}rr},
title = {Solving the Entailment Problem in the Fluent Calculus using
Binary Decision Diagrams},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {1999}
}
author = {Steffen H{\"{o}}lldobler and Hans-Peter St{\"{o}}rr},
title = {Solving the Entailment Problem in the Fluent Calculus using
Binary Decision Diagrams},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {1999}
}
Hölldobler +
Steffen +
Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology +
Steffen Hölldobler, Hans-Peter Störr<br … Steffen Hölldobler, Hans-Peter Störr<br /> '''[[WVPub231|Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-1999-05, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub231|Details]]231|Details]] +
Steffen Hölldobler, Hans-Peter Störr<br … Steffen Hölldobler, Hans-Peter Störr<br /> '''[[WVPub231/en|Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-1999-05, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub231|Details]]231|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.
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +
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:36 +
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.
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +, Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +, Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +, Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +, Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams + und Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +
