Combining negation as failure and embedded implications in logic programs

DOI10.1016/S0743-1066(97)10014-0MaRDI QIDQ4223469zbMATH OpenFDO

Authors N. Olivetti, Laura Giordano

Publication date 7 March 1999

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

zbMATH Keywords

negation as failurefixed point semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• \(N\)-Prolog and equivalence of logic programs. I
• A sound and complete semantics for a version of negation as failure
• Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
• scientific article; zbMATH DE number 18533

Cited in

(6)

• Representing Defaults and Negative Information Without Negation-as-Failure
• Equilibrium logic
• In praise of impredicativity: a contribution to the formalization of meta-programming
• scientific article; zbMATH DE number 2085282 (Why is no real title available?)
• Semantics of structured normal logic programs
• Negation in combining constraint systems

This page was built for publication: Combining negation as failure and embedded implications in logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223469)