Truth versus information in logic programming

DOI10.1017/S1471068413000069zbMath1302.68053arXiv1305.0141OpenAlexW3105042245WikidataQ57664999 ScholiaQ57664999MaRDI QIDQ2933087

Harald Søndergaard, Lee Naish

Publication date: 10 December 2014

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

Full work available at URL: https://arxiv.org/abs/1305.0141

zbMATH Keywords

many-valued logicprogram analysismodesinformation orderintended interpretationdeclarative debugginglogic program specificationspecification semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Many-valued logic (03B50)

Related Items (1)

Correctness and Completeness of Logic Programs

Cites Work

• Unnamed Item
• A logic covering undefinedness in program proofs
• Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers
• Proof systems for reasoning about computation errors
• Partiality and nondeterminacy in program proofs
• A typed logic of partial functions reconstructed classically
• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
• Fixpoint semantics for logic programming a survey
• Paraconsistent declarative semantics for extended logic programs
• Towards a logical semantics for pure Prolog
• Computer science today. Recent trends and developments
• A lattice-theoretical fixpoint theorem and its applications
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• Derivation of Logic Programs
• Bilattices and the semantics of logic programming
• Kleene's Logic, Generalized
• Bottom-up dataflow analysis of normal logic programs
• The Semantics of Predicate Logic as a Programming Language
• The family of stable models
• Hypothesis-based semantics of logic programs in multivalued logics
• A three-valued semantics for logic programmers
• Logic programming revisited
• On notation for ordinal numbers

This page was built for publication: Truth versus information in logic programming