scientific article; zbMATH DE number 549976

MaRDI QIDQ4287495zbMATH OpenFDO

Authors V. Thibau, Jean-Paul Delahaye

Publication date 12 April 1994

zbMATH Keywords

denotational semanticsleast fixpoint semanticslogic program with negationthree-valued Herbrand interpretations

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Programming in three-valued logic
• scientific article; zbMATH DE number 1931681
• Minimum model semantics for logic programs with negation-as-failure
• Publication:5750391
• scientific article; zbMATH DE number 18533

Cited in

(6)

• Partial models and logic programming
• scientific article; zbMATH DE number 1696798 (Why is no real title available?)
• scientific article; zbMATH DE number 3848592 (Why is no real title available?)
• scientific article; zbMATH DE number 1931681 (Why is no real title available?)
• Minimum model semantics for logic programs with negation-as-failure
• Programming in three-valued logic

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 Q4287495)