\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579): Difference between revisions

@@ Property / author @@
-Antonis C. Kakas
@@ Property / author: Antonis C. Kakas / rank @@
-Normal rank
@@ Property / author @@
+Antonis C. Kakas
@@ Property / author: Antonis C. Kakas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / 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.2010.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2052908243
@@ Property / OpenAlex ID: W2052908243 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about action. II: The qualification problem
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / 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 @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple declarative language for describing narratives with actions
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707774
@@ Property / cites work: Q4707774 / rank @@
+Normal rank
@@ Property / cites work @@
+CHICA, An Abductive Planning System Based on Event Calculus
+Normal rank
@@ Property / cites work @@
+Q4941842
@@ Property / cites work: Q4941842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809153
@@ Property / cites work: Q4809153 / rank @@
+Normal rank
@@ Property / cites work @@
+An abductive event calculus planner
@@ Property / cites work: An abductive event calculus planner / rank @@
+Normal rank
@@ Property / cites work @@
+Event Calculus Planning Through Satisfiability
@@ Property / cites work: Event Calculus Planning Through Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The qualification problem: A solution to the problem of anomalous models
+Normal rank