LATPub684

PublikationenPublications

• Nach AutorBy Author
  • Rafael Peñaloza NyssenRafael Peñaloza Nyssen
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Pinpointing in Tableaus

Rafael PenalozaRafael Penaloza

• Download

Rafael Penaloza
Pinpointing in Tableaus
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-05, 2006. LTCS-Report

• Details
• Bibtex

• KurzfassungAbstract
  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.
• Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}