- Record: found
- Abstract: not found
- Book Chapter: not found
Reasoning Web. Semantic Technologies for Information Systems
Answer Set Programming: A Primer
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references82
- 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
- Article: not found
The polynomial-time hierarchy
Larry Stockmeyer (1976)