@phdthesis{Zukowski2001, author = {Zukowski, Ulrich}, title = {Flexible Computation of the Well-Founded Semantics of Normal Logic Programs}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-226}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {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.}, subject = {Logische Programmierung}, language = {en} }