- Record: found
- Abstract: not found
- Article: not found
Enhancing Disjunctive Datalog by constraints
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references39
- Record: found
- Abstract: not found
- Article: not found
Classical negation in logic programs and disjunctive databases
Michael Gelfond, Vladimir Lifschitz (1991)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Word problems requiring exponential time(Preliminary Report)
L. J. Stockmeyer, A. R. Meyer (1973)
- Record: found
- Abstract: not found
- Article: not found
The well-founded semantics for general logic programs
John Schlipf, Kenneth A. Ross, Allen Van Gelder (1991)