The defining power of stratified and hierarchical logic programs

DOI10.1016/0743-1066(93)90013-7zbMath0787.68018OpenAlexW1997003985MaRDI QIDQ4036281

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

zbMATH Keywords

closed-world assumptionnegative informationstratified logic programsdefining powerhierarchical logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Multi-valued autoepistemic logic ⋮ Between constructive mathematics and PROLOG ⋮ Contextual hypotheses and semantics of logic programs

This page was built for publication: The defining power of stratified and hierarchical logic programs