Event calculus and temporal action logics compared (Q2457610): 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.1016/j.artint.2006.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1979739245
@@ Property / OpenAlex ID: W1979739245 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+A unifying semantics for time and events
@@ Property / cites work: A unifying semantics for time and events / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518416
@@ Property / cites work: Q4518416 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+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 causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+A new deductive approach to planning
@@ Property / cites work: A new deductive approach to planning / rank @@
+Normal rank
@@ Property / cites work @@
+A simple declarative language for describing narratives with actions
+Normal rank
@@ Property / cites work @@
+Q4955330
@@ Property / cites work: Q4955330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798014
@@ Property / cites work: Q4798014 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling the event calculus with the situation calculus
+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 @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+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 @@
+Event Calculus Reasoning Through Satisfiability
@@ Property / cites work: Event Calculus Reasoning Through Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198889
@@ Property / cites work: Q3198889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial intelligence today. Recent trends and development
+Normal rank
@@ Property / cites work @@
+An abductive event calculus planner
@@ Property / cites work: An abductive event calculus planner / rank @@
+Normal rank
@@ Property / cites work @@
+From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
+Normal rank
@@ Property / cites work @@
+The qualification problem: A solution to the problem of anomalous models
+Normal rank
@@ Property / cites work @@
+Reasoning robots. The art and science of programming robotic agents
+Normal rank
@@ Property / cites work @@
+On the relation between situation calculus and event calculus
+Normal rank