Combining explicit negation and negation by failure via Belnap's logic

DOI10.1016/S0304-3975(96)00125-9MaRDI QIDQ673380zbMATH OpenFDO

Authors Paul Ruet, François Fages

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(96)00125-9

zbMATH Keywords

Belnap's four-valued logicbilatticesexplicit negationlogic programmingnegation as failurereasoning in the presence of incomplete informationsemantic

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A kripke-kleene semantics for logic programs*
• Bilattices and the semantics of logic programming
• Bilattices and the theory of truth
• Constructive negation by pruning
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1761412 (Why is no real title available?)
• Negation in logic programming
• The family of stable models
• The Semantics of Predicate Logic as a Programming Language

Cited in

(9)

• Parametrized semantics of logic programs -- a unifying framework
• Belnap's epistemic states and negation-as-failure
• Natural dualities through product representations: bilattices and beyond
• Preferences in artificial intelligence
• Imperfect information representation through extended logic programs in bilattices
• scientific article; zbMATH DE number 591001 (Why is no real title available?)
• scientific article; zbMATH DE number 1931672 (Why is no real title available?)
• Revisiting explicit negation in answer set programming
• Multi-valued logic programming semantics An algebraic approach

This page was built for publication: Combining explicit negation and negation by failure via Belnap's logic

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