Implicit and explicit negation in logic programming

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 the currently used semantics. The generalization of logic programming allows formalization of more sophisticated problems requiring both increase of expressive power as well as refinement of the interpretation of the language.