scientific article
From MaRDI portal
Publication:2715522
zbMath0978.03027MaRDI QIDQ2715522
No author found.
Publication date: 31 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
strong negationlogic programming semanticsstable modelscompletion semanticsminimal model reasoningnegation stability
Related Items
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective, Default Negation as Explicit Negation plus Update, Equilibrium logic, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Algebraic semantics for modal and superintuitionistic non-monotonic logics, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, What Is in a Step: New Perspectives on a Classical Question, An encompassing framework for paraconsistent logic programs, Safe beliefs for propositional theories, Logic programming and knowledge representation---The A-Prolog perspective, A non-deterministic view on non-classical negations, A first order nonmonotonic extension of constructive logic
