- AutorIn
- Rafael Peñaloza
- Titel
- Pinpointing in Tableaus
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793514
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 06-05
- Erstveröffentlichung
- 2006
- DOI
- https://doi.org/10.25368/2022.158
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Beschreibungslogik, tableaubasiertes Entscheidungsverfahren, Boolean
- Freie Schlagwörter (EN)
- description logic, tableau-based decision procedure, Boolean
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-793514
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
- CC BY 4.0