A three-valued semantics for logic programmers

DOI10.1017/S1471068406002742zbMATH Open1122.68028WikidataQ114116309 ScholiaQ114116309MaRDI QIDQ5482275FDOQ5482275

Authors: Lee Naish 

Publication date: 28 August 2006

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

Recommendations

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

zbMATH Keywords

verificationmodelsnegationinadmissibilitydeclarative debuggingimmediate consequence operatorsldnf resolution

Mathematics Subject Classification ID

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

Cited In (12)

• Legality concepts for three-valued logic programs
• Programming in three-valued logic
• Transforming floundering into success
• A three-valued semantics for deductive databases and logic programs
• Realizability of three-valued semantics for abstract dialectical frameworks
• Truth versus information in logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Title not available (Why is that?)
• Correctness and Completeness of Logic Programs
• Incremental Tabling in Support of Knowledge Representation and Reasoning

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)