The defining power of stratified and hierarchical logic programs
From MaRDI portal
Publication:4036281
DOI10.1016/0743-1066(93)90013-7zbMATH Open0787.68018OpenAlexW1997003985MaRDI QIDQ4036281FDOQ4036281
Robert F. Stärk, Gerhard Jäger
Publication date: 16 May 1993
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(93)90013-7
closed-world assumptionnegative informationstratified logic programsdefining powerhierarchical logic programs
Cited In (8)
- Contextual hypotheses and semantics of logic programs
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
- Between constructive mathematics and PROLOG
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multi-valued autoepistemic logic
- The expressive power of stratified logic programs with value invention
This page was built for publication: The defining power of stratified and hierarchical logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036281)
