scientific article; zbMATH DE number 1269580
From MaRDI portal
Publication:4236380
zbMath0936.68021MaRDI QIDQ4236380
Carlos Viegas Damásio, Luís Moniz Pereira
Publication date: 20 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Logic programming (68N17) Paraconsistent logics (03B53)
Related Items (13)
Belief revision via Lamarckian evolution ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Quasi-classical reasoning in paraconsistent databases ⋮ Heterogeneous Approximate Reasoning with Graded Truth Values ⋮ Completing causal networks by meta-level abduction ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption ⋮ Paraconsistent Logic Programs with Four-Valued Rough Sets ⋮ Ordering default theories and nonmonotonic logic programs ⋮ An encompassing framework for paraconsistent logic programs ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Any-world assumptions in logic programming
This page was built for publication:
