Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1872397016
@@ Property / OpenAlex ID: W1872397016 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5105
@@ Property / arXiv ID: 1011.5105 / rank @@
+Normal rank
@@ Property / cites work @@
+An encompassing framework for paraconsistent logic programs
+Normal rank
@@ Property / cites work @@
+A paraconsistent logic programming approach for querying inconsistent databases
+Normal rank
@@ Property / cites work @@
+Paraconsistent declarative semantics for extended logic programs
+Normal rank
@@ Property / cites work @@
+Formal inconsistency and evolutionary databases
@@ Property / cites work: Formal inconsistency and evolutionary databases / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge representation techniques. A rough set approach.
+Normal rank
@@ Property / cites work @@
+Approximate databases: a support tool for approximate reasoning
+Normal rank
@@ Property / cites work @@
+On Ignorance and Contradiction Considered as Truth-Values
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+Paraconsistent Stable Semantics for Extended Disjunctive Programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2901212