We introduce unfounded sets and well-founded partial models, and define the well-founded semantics of a program to be its well-founded partial model. If the wel
Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented thre
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-