scientific article; zbMATH DE number 1418327

MaRDI QIDQ4941889zbMATH OpenFDO

Authors Yann Loyer, Nicolas Spyratos, Daniel Stamate

Publication date 19 March 2000

zbMATH Keywords

four-valued logicinconsistencylogic programminglogics of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Parametrized semantics of logic programs -- a unifying framework
• A kripke-kleene semantics for logic programs*
• Truth versus information in logic programming
• A logical foundation for logic programming II: Semantics of general logic programs
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs

Cited in

(8)

• An implementation of Kripke-Kleene semantics
• Parametrized semantics of logic programs -- a unifying framework
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
• Truth versus information in logic programming
• scientific article; zbMATH DE number 1223549 (Why is no real title available?)
• scientific article; zbMATH DE number 1759493 (Why is no real title available?)
• Hypothesis-based semantics of logic programs in multivalued logics
• Gates and circuits via Dunn semantics

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