Abstract
The focus of the research is the semantics of logic programming. Concepts in the
currently used semantics like negation as failure, the Closed World Assumption and
multivalued interpretations need to be thoroughly understood in order to develop
semantics for extensions of the logic programming paradigm. These new semantics
need to be motivated generalizations of
... read more