scientific article; zbMATH DE number 4128792
From MaRDI portal
Publication:4207887
zbMath0689.03012MaRDI QIDQ4207887
V. S. Subrahmanian, Howard A. Blair
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsparaconsistent logicslogic programming languagesAND/OR tree searchinginconsistent formal systemsparaconsistent model- theoretic semantics for programspre-fixed-points of a monotone operatorreasoning about knowledge bases
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Binary resolution over Boolean lattices ⋮ Paraconsistent disjunctive deductive databases ⋮ Probabilistic logic programming ⋮ Paraconsistent logic programming ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Learning any memory-less discrete semantics for dynamical systems represented by logic programs ⋮ A semantical framework for supporting subjective and conditional probabilities in deductive databases ⋮ Paraconsistent inference relations induced from inconsistency measures
This page was built for publication:
