Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Tableau-based decision procedures have beeTableau-based decision procedures have been successfully used for solving a wide variety of problems. For some applications, nonetheless, it is desirable not only to obtain a Boolean answer, but also to detect the causes for such a result. In this report, a method for finding explanations on tableau-based procedures is explored, generalizing previous results on the field. The importance and use of the method is shown by means of examples. the method is shown by means of examples.  +
LTCS-06-05  +
@techreport{ Penaloza-LTCS-06-05,
  address = {Germany},
  author = {Rafael {Penaloza}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-06-05},
  title = {Pinpointing in Tableaus},
  type = {LTCS-Report},
  year = {2006},
}
Techreport  +
Penaloza-LTCS-06-05.pdf  +
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology  +
See http://lat.inf.tu-dresden.de/research/reports.html.  +
Rafael Penaloza<br /> '''[[LATPub684|Pinpointing in Tableaus]]Rafael Penaloza<br /> '''[[LATPub684|Pinpointing in Tableaus]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-06-05, 2006. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub684|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Penaloza-LTCS-06-05.pdf|Download]]ia:Penaloza-LTCS-06-05.pdf|Download]]  +
Rafael Penaloza<br /> '''[[LATPub684/en|Pinpointing in Tableaus]]Rafael Penaloza<br /> '''[[LATPub684/en|Pinpointing in Tableaus]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-06-05, 2006. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub684|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Penaloza-LTCS-06-05.pdf|Download]]ia:Penaloza-LTCS-06-05.pdf|Download]]  +
0  +
Pinpointing in Tableaus  +
LTCS-Report  +
techreport  +
2006  +
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.
Pinpointing in Tableaus  +
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.
25. März 2015, 14:34:09  +
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.