Classical Negation in Logic Programs and Disjunctive Databases (1991)
by
Michael Gelfond
,
Vladimir Lifschitz
| Venue: | New Generation Computing |
| Citations: | 689 - 59 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 |
