A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (Q3524923): 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.1007/978-3-540-75256-1_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1876907935
@@ Property / OpenAlex ID: W1876907935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708930
@@ Property / cites work: Q4708930 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent declarative semantics for extended logic programs
+Normal rank
@@ Property / cites work @@
+Q4236380
@@ Property / cites work: Q4236380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798022
@@ Property / cites work: Q4798022 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental recomputation in local languages.
@@ Property / cites work: Incremental recomputation in local languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive incremental evaluation of Datalog queries
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / 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 @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+Any-world assumptions in logic programming
@@ Property / cites work: Any-world assumptions in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic foundation of stable model semantics
@@ Property / cites work: Epistemic foundation of stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / 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 @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3524923