Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub684
Abstract Tableau-based decision procedures have bee
Tableau-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.  +
Archivierungsnummer LTCS-06-05  +
Author Rafael Peñaloza Nyssen +
BibTex
@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},
}
Bibtype Techreport  +
Download Penaloza-LTCS-06-05.pdf  +
ErsterAutorNachname Penaloza  +
ErsterAutorVorname Rafael  +
Forschungsgruppe Automatentheorie +
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.  +
Publication text Rafael Penaloza<br /> '''[[LATPub684
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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub684|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Penaloza-LTCS-06-05.pdf|Download]]
[[Media:Penaloza-LTCS-06-05.pdf|Download]]  +
Publication text en Rafael Penaloza<br /> '''[[LATPub684
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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub684|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Penaloza-LTCS-06-05.pdf|Download]]
[[Media:Penaloza-LTCS-06-05.pdf|Download]]  +
Reviewed 0  +
Title Pinpointing in Tableaus  +
Typ LTCS-Report  +
Type techreport  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub684 + , LATPub684 + , LATPub684 + , LATPub684 + , LATPub684 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:09  +
verstecke Attribute die hierhin verlinken 
LATPub684/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.