scientific article
From MaRDI portal
Publication:3983044
zbMath0737.68015MaRDI QIDQ3983044
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Resolving contradictions: A plausible semantics for inconsistent systems ⋮ A semantics for a class of non-deterministic and causal production system programs ⋮ Update rules in datalog programs ⋮ An operator for composing deductive data bases with theories of constraints ⋮ Loop checking and the well-founded semantics ⋮ Tableaux for logic programming with strong negation ⋮ Handling Exceptions in Logic Programming without Negation as Failure ⋮ An encompassing framework for paraconsistent logic programs ⋮ A rule based knowledge transaction model for mobile environments ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Well-founded semantics and stratification for ordered logic programs
This page was built for publication:
