Answering atomic queries in indefinite deductive databases (Q3486861): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/int.4550040402
+Normal rank
@@ Property / OpenAlex ID @@
+W2168105301
@@ Property / OpenAlex ID: W2168105301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340205
@@ Property / cites work: Q3340205 / rank @@
+Normal rank
@@ Property / cites work @@
+On compiling queries in recursive first-order databases
+Normal rank
@@ Property / cites work @@
+A problem-oriented inferential database system
@@ Property / cites work: A problem-oriented inferential database system / rank @@
+Normal rank
@@ Property / cites work @@
+On recursive axioms in deductive databases
@@ Property / cites work: On recursive axioms in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of logical query languages for databases
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3747756
@@ Property / cites work: Q3747756 / rank @@
+Normal rank