Classical Negation in Logic Programs and Disjunctive Databases (1991)

Cached

Download Links

by Michael Gelfond , Vladimir Lifschitz
Venue:New Generation Computing
Citations:878 - 73 self

Document Versions

Classical negation in logic programs and disjunctive databases –Michael Gelfond, Vladimir Lifschitz — 1991 — New Generation Computing
Classical Negation in Logic Programs and Disjunctive Databases –Michael Gelfond, Vladimir Lifschitz — 1991 — New Generation Computing
Classical Negation in Logic Programs and Disjunctive Databases –Michael Gelfond, Vladimir Lifschitz — 1991 — New Generation Computing