|
|
Michael Gelfond and Vladimir Lifschitz (1991): Classical Negation in Logic Programs and Disjunctive Databases
| Title: |
Classical Negation in Logic Programs and Disjunctive Databases |
| Author(s): |
Michael Gelfond and Vladimir Lifschitz |
| Year: |
1991 |
| Journal: |
New Generation Computing |
| Volume: |
9 |
| Pages: |
365-385 |
Concepts
|
|
