The defining power of stratified and hierarchical logic programs

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

Recommendations

• The expressive power of stratified logic programs
• scientific article
• The expressiveness of locally stratified programs
• Negation by default and unstratifiable logic programs
• On stratified disjunctive programs

zbMATH Keywords

closed-world assumptionnegative informationstratified logic programsdefining powerhierarchical logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

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)