Parametrized semantics of logic programs -- a unifying framework
type: Item
instance of: scholarly article
title: Parametrized semantics of logic programs -- a unifying framework
zbMATH Open document ID: 1070.68086
DOI: 10.1016/S0304-3975(03)00047-1
author: Yann Loyer
author: Nicolas Spyratos
author: Daniel Stamate
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2110986
zbMATH Keywords: Multi-valued logics
zbMATH Keywords: Logic programming
zbMATH Keywords: Logics of knowledge
zbMATH Keywords: Inconsistency
describes a project that uses: HySpirit
MaRDI profile type: Publication
cites work: The value of the four values
cites work: Q3206928
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: A kripke-kleene semantics for logic programs*
cites work: Bilattices and the semantics of logic programming
cites work: The family of stable models
cites work: Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
cites work: Combining knowledge with many-valued logics
cites work: Multi-valued logic programming semantics An algebraic approach
cites work: Q3486858
cites work: Combining explicit negation and negation by failure via Belnap's logic
cites work: The well-founded semantics for general logic programs
cites work: Truth and reflection
description: scientific article; zbMATH DE number 2110986