A general framework for reasoning about change (Q1877375): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / 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 @@
+Q4028767
@@ Property / cites work: Q4028767 / 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 @@
+The logical approach to temporal reasoning
@@ Property / cites work: The logical approach to temporal reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal defeasible reasoning
@@ Property / cites work: Temporal defeasible reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Concerted instant-interval temporal semantics. I: Temporal ontologies
+Normal rank
@@ Property / cites work @@
+Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+A critical examination of Allen's theory of action and time
+Normal rank
@@ Property / cites work @@
+An investigation of 'non-intermingling' principles in temporal logic
+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 @@
+Reconciling the event calculus with the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4398826
@@ Property / cites work: Q4398826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5760699
@@ Property / cites work: Q5760699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
+Normal rank
@@ Property / cites work @@
+On constructing instants from events
@@ Property / cites work: On constructing instants from events / rank @@
+Normal rank
@@ Property / cites work @@
+Free construction of time from events
@@ Property / cites work: Free construction of time from events / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886730
@@ Property / cites work: Q4886730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1877375