V. Lifschitz (1987): On the Declarative Semantics of Logic Programs with Negation


Title: On the Declarative Semantics of Logic Programs with Negation
Author(s): V. Lifschitz
Year: 1987
Booktitle: Readings in Nonmonotonic Reasoning
Editor(s): Ginsberg, Matthew L.
Chapter: 5.1
Pages: 337-351
Publisher: Morgan Kaufmann
Address: Los Altos, CA

Concepts