Operators vs. arguments: The ins and outs of reification (Q857666): Difference between revisions

@@ Property / Wikidata QID @@
+Q57924090
@@ Property / Wikidata QID: Q57924090 / 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 @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bringing them all Together
@@ Property / cites work: Bringing them all Together / rank @@
+Normal rank
@@ Property / cites work @@
+A non-reified temporal logic
@@ Property / cites work: A non-reified temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013848
@@ Property / cites work: Q4013848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / 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 @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Chronological Logic
@@ Property / cites work: A Note on Chronological Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Internalization: The Case of Hybrid Logics
@@ Property / cites work: Internalization: The Case of Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics in AI: semantical and ontological considerations
+Normal rank