Combining negation as failure and embedded implications in logic programs

DOI10.1016/S0743-1066(97)10014-0zbMATH Open0911.68027MaRDI QIDQ4223469FDOQ4223469

Authors: N. Olivetti, Laura Giordano 

Publication date: 7 March 1999

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

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

zbMATH Keywords

negation as failurefixed point semantics

Mathematics Subject Classification ID

Logic programming (68N17)

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
• Title not available (Why is that?)
• 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)