- AutorIn
- Franz Baader Instituts für Theoretische Informatik Technische Universität Dresden
- Hongkai LiuInstituts für Theoretische Informatik Technische Universität Dresden
- Anees ul MehdiInstituts für Theoretische Informatik Technische Universität Dresden
- Titel
- Integrate Action Formalisms into Linear Temporal Description Logics
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795137
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 09-03
- Erstveröffentlichung
- 2009
- DOI
- https://doi.org/10.25368/2022.172
- Abstract (EN)
- The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.
- Freie Schlagwörter (DE)
- Büchi-Automat, Prädikatenlogik erster Stufe, Beschreibungslogik
- Freie Schlagwörter (EN)
- Büchi automaton, first-order predicate logic, description logic
- 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-795137
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
- CC BY 4.0