A three-valued semantics for logic programmers

DOI10.1017/S1471068406002742MaRDI QIDQ5482275zbMATHWikidataFDO

Authors Lee Naish

Publication date 28 August 2006

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

verificationmodelsnegationinadmissibilitydeclarative debuggingimmediate consequence operatorsldnf resolution

Mathematics Subject Classification ID

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

Recommendations

• Programming in three-valued logic
• Truth versus information in logic programming
• Intuitionistic three-valued logic and logic programming
• scientific article; zbMATH DE number 3866574
• A closer look at declarative interpretations

Cited in

(12)

• Transforming floundering into success
• Programming in three-valued logic
• scientific article; zbMATH DE number 1761893 (Why is no real title available?)
• scientific article; zbMATH DE number 7453101 (Why is no real title available?)
• scientific article; zbMATH DE number 179051 (Why is no real title available?)
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Realizability of three-valued semantics for abstract dialectical frameworks
• Incremental Tabling in Support of Knowledge Representation and Reasoning
• Legality concepts for three-valued logic programs
• Truth versus information in logic programming
• Correctness and completeness of logic programs
• A three-valued semantics for deductive databases and logic programs

Describes a project that uses

Uses Software

• Mercury

This page was built for publication: A three-valued semantics for logic programmers

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