Parametrized semantics of logic programs -- a unifying framework

DOI10.1016/S0304-3975(03)00047-1zbMATH Open1070.68086MaRDI QIDQ1884892FDOQ1884892

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

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

Cites Work

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

Cited In (6)

• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Contextual hypotheses and semantics of logic programs
• Title not available (Why is that?)
• Any-world assumptions in logic programming
• Extending Logic Programming with Labelled Variables: Model and Semantics

Uses Software

• HySpirit

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

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