A three-valued semantics for logic programmers

DOI10.1017/S1471068406002742zbMath1122.68028WikidataQ114116309 ScholiaQ114116309MaRDI QIDQ5482275

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

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

Related Items (6)

Correctness and Completeness of Logic Programs ⋮ Incremental Tabling in Support of Knowledge Representation and Reasoning ⋮ Truth versus information in logic programming ⋮ Logic Programs under Three-Valued Łukasiewicz Semantics ⋮ Unnamed Item ⋮ Transforming floundering into success

Uses Software

• Mercury

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