Two-Valued Logic Programs

Vladimir Lifschitz
We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning�default logic, logic programming with strong negation, and nonmonotonic causal logic�and study its possibilities as a language for describing actions.