Parametrized semantics of logic programs -- a unifying framework

DOI10.1016/S0304-3975(03)00047-1zbMath1070.68086MaRDI QIDQ1884892

Nicolas Spyratos, Daniel Stamate, Yann Loyer

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Logic programmingInconsistencyLogics of knowledgeMulti-valued logics

Mathematics Subject Classification ID

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

Related Items (3)

Contextual hypotheses and semantics of logic programs ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Any-world assumptions in logic programming

Uses Software

• HySpirit

Cites Work

• Unnamed Item
• Unnamed Item
• Combining explicit negation and negation by failure via Belnap's logic
• Multi-valued logic programming semantics An algebraic approach
• Truth and reflection
• The value of the four values
• A kripke-kleene semantics for logic programs*
• Bilattices and the semantics of logic programming
• The Semantics of Predicate Logic as a Programming Language
• The family of stable models
• The well-founded semantics for general logic programs
• Combining knowledge with many-valued logics
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond

This page was built for publication: Parametrized semantics of logic programs -- a unifying framework