The defining power of stratified and hierarchical logic programs
From MaRDI portal
Publication:4036281
DOI10.1016/0743-1066(93)90013-7zbMath0787.68018MaRDI QIDQ4036281
Gerhard Jäger, Robert F. Stärk
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 assumption; negative information; stratified logic programs; defining power; hierarchical logic programs
68N17: Logic programming
Related Items