Approximate databases: a support tool for approximate reasoning (Q3647257): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.16.87-117
+Normal rank
@@ Property / OpenAlex ID @@
+W2103289573
@@ Property / OpenAlex ID: W2103289573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Declarative PTIME queries for relational databases using quantifier elimination
+Normal rank
@@ Property / cites work @@
+Finite Model Theory
@@ Property / cites work: Finite Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and efficient closed-world reasoning for planning
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+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 @@
+Q4067100
@@ Property / cites work: Q4067100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247261
@@ Property / cites work: Q4247261 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank