A procedural semantics for well-founded negation in logic programs

From MaRDI portal
Publication:3992225

DOI10.1016/0743-1066(92)90019-YzbMath0773.68064MaRDI QIDQ3992225

Kenneth A. Ross

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)




Related Items (20)







This page was built for publication: A procedural semantics for well-founded negation in logic programs