Semantics of fixed points for annotated programs. A realization by Mho-resolution

MaRDI QIDQ3404325zbMATH OpenFDO

Authors Carlos Ernesto Ramírez

Publication date 8 February 2010

zbMATH Keywords

annotated logicshyper-resolutionprogramming logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Fixpoint semantics for logic programming a survey
• A fixed point semantics for logic programs extended with cuts
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 709760
• Sound and complete SLD-resolution for bilattice-based annotated logic programs

Cited in

(1)

• Sound and complete SLD-resolution for bilattice-based annotated logic programs

This page was built for publication: Semantics of fixed points for annotated programs. A realization by Mho-resolution

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