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.
Related Items
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
