Paraconsistent logic programming
type: Item
instance of: scholarly article
title: Paraconsistent logic programming
zbMATH Open document ID: 0686.68009
DOI: 10.1016/0304-3975(89)90126-6
author: Howard A. Blair
author: V. S. Subrahmanian
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
review text: See the review in Zbl 0631.68009.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4124983
zbMATH Keywords: semantics
zbMATH Keywords: clauses
zbMATH Keywords: inconsistency
zbMATH Keywords: two-valued logic
zbMATH Keywords: very large knowledge bases
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90126-6
OpenAlex ID: W1980589711
cites work: Q3960112
cites work: Q3477931
cites work: Q3861360
cites work: Q3727360
cites work: Q3206928
cites work: Q4207887
cites work: On the theory of inconsistent formal systems
cites work: A semantical analysis of the calculi \(C_n\)
cites work: Q3956917
cites work: A kripke-kleene semantics for logic programs*
cites work: Closures and fairness in the semantics of programming logic
cites work: Canonical logic programs
cites work: Q5812175
cites work: Q3339245
cites work: Q3727351
cites work: Q3747756
cites work: Q3817650
cites work: Quantitative deduction and its fixpoint theory
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Four valued semantics and the Liar
description: scientific article; zbMATH DE number 4124983