Skip to main content
Article thumbnail
Location of Repository

A Tutorial on the Well-Founded Semantics

By Allen Van Gelder

Abstract

The well-founded semantics for "normal" logic programs is described using the alternating fixpoint construction as the basis. The presentation is informal. The semantics is motivated and illustrated through examples, and is compared briefly with earlier semantics for negation. Extensions to other forms of logic program are mentioned briefly. Recent work on practical implementations and applications is surveyed

Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.6520
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://cs.ucsc.edu/~avg/Papers... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.