Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Filtern
Erscheinungsjahr
- 2001 (1)
Dokumenttyp
- Dissertation (1)
Sprache
- Englisch (1)
Volltext vorhanden
- ja (1)
Gehört zur Bibliographie
- nein (1)
Schlagworte
- Wohlfundierte Semantik (1) (entfernen)
The well-founded semantics has been accepted as the most relevant semantics for logic-based information systems. In this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common data structure and provides a common language to describe their evaluation strategy. This rewriting system gives the formal background to analyze and combine different evaluation strategies in a common framework, or to design new algorithms and prove the correctness of its implementations at a high level just by changing the order of program transformations.