A unifying semantics for time and events (Q814548): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2003.02.001
@@ Property / DOI: 10.1016/j.artint.2003.02.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.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2040546296
@@ Property / OpenAlex ID: W2040546296 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57931568
@@ Property / Wikidata QID: Q57931568 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+Q5590035
@@ Property / cites work: Q5590035 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4733438
@@ Property / cites work: Q4733438 / rank @@
+Normal rank
@@ Property / cites work @@
+An investigation of 'non-intermingling' principles in temporal logic
+Normal rank
@@ Property / cites work @@
+Q4952315
@@ Property / cites work: Q4952315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3309807
@@ Property / cites work: Q3309807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448686
@@ Property / cites work: Q4448686 / 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 @@
+Q5633670
@@ Property / cites work: Q5633670 / 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 @@
+Q3198927
@@ Property / cites work: Q3198927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2003.02.001
@@ Property / DOI: 10.1016/J.ARTINT.2003.02.001 / rank @@
+Normal rank