scientific article; zbMATH DE number 3848592

MaRDI QIDQ3318096zbMATH OpenFDO

Authors Jean-Louis Lassez, Michael J. Maher

Publication date 1983

zbMATH Keywords

3-valued logic, Herbrand interpretationsleast fixed pointsLogic Programmingsemantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Recommendations

• Optimal fixedpoints of logic programs
• A kripke-kleene semantics for logic programs*
• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 549976
• A simple fixed point characterization of three-valued stable model semantics

Cited in

(10)

• Optimal fixedpoints of logic programs
• A simple fixed point characterization of three-valued stable model semantics
• A slight strengthening of a theorem of Blair and Kunen
• scientific article; zbMATH DE number 1696794 (Why is no real title available?)
• scientific article; zbMATH DE number 1824109 (Why is no real title available?)
• scientific article; zbMATH DE number 3903941 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 1059312 (Why is no real title available?)
• On the Floyd–Warshall algorithm for logic programs
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication:

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