Skeptical query-answering in Constrained Default Logic (Q4632323): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61313-7_101
+Normal rank
@@ Property / OpenAlex ID @@
+W1492128823
@@ Property / OpenAlex ID: W1492128823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Alternative approaches to default logic
@@ Property / cites work: Alternative approaches to default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830546
@@ Property / cites work: Q3830546 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / 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 logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling a default reasoning system into Prolog
@@ Property / cites work: Compiling a default reasoning system into Prolog / 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 @@
+A new methodology for query answering in default logics via structure-oriented theorem proving
+Normal rank
@@ Property / cites work @@
+On prediction in Theorist
@@ Property / cites work: On prediction in Theorist / rank @@
+Normal rank
@@ Property / cites work @@
+Default reasoning by deductive planning
@@ Property / cites work: Default reasoning by deductive planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713941
@@ Property / cites work: Q4713941 / rank @@
+Normal rank