• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish
  • FAQ
Schließen

Refine

Author

  • Zukowski, Ulrich (1)

Year of publication

  • 2001 (1)

Document Type

  • Doctoral Thesis (1)

Language

  • English (1)

Has Fulltext

  • yes (1)

Is part of the Bibliography

  • no (1)

Keywords

  • Auswertungsstrategien (1)
  • Logische Programme (1)
  • Logische Programmierung (1)
  • Programmtransformation (1)
  • Wohlfundierte Semantik (1)
  • program transformations (1)
  • well-founded semantics (1)

Institute

  • Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik (1)

1 search hit

  • 1 to 1
  • BibTeX
  • CSV
  • RIS
  • XML
  • 10
  • 20
  • 50
  • 100
Flexible Computation of the Well-Founded Semantics of Normal Logic Programs (2001)
Zukowski, Ulrich
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.
  • 1 to 1

DINI-Zertifikat     OPUS4 Logo

  • Contact
  • Imprint
  • Sitelinks