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

@@ 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