Introduction: Progress in formal commonsense reasoning (Q814546): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2003.09.001
@@ Property / DOI: 10.1016/j.artint.2003.09.001 / rank @@
-Normal rank
@@ 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.1016/j.artint.2003.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2037341072
@@ Property / OpenAlex ID: W2037341072 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q5594195
@@ Property / cites work: Q5594195 / rank @@
+Normal rank
@@ Property / cites work @@
+Deep Blue
@@ Property / cites work: Deep Blue / rank @@
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform semantic treatment of default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698061
@@ Property / cites work: Q4698061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q5750425
@@ Property / cites work: Q5750425 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of nonmonotonic reasoning and logic programming
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic reasoning with logic programming
@@ Property / cites work: Non-monotonic reasoning with logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Two approaches to the formalisation of defeasible deontic reasoning
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2003.09.001
@@ Property / DOI: 10.1016/J.ARTINT.2003.09.001 / rank @@
+Normal rank