Temporal representation and reasoning in artificial intelligence: A review (Q5943344): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Two theories of time
@@ Property / cites work: Two theories of time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3806791
@@ Property / cites work: Q3806791 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies for modal resolution: Results and problems
+Normal rank
@@ Property / cites work @@
+Modal resolution in clausal form
@@ Property / cites work: Modal resolution in clausal form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812209
@@ Property / cites work: Q3812209 / 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 @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / 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 @@
+The token reification approach to temporal reasoning
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / 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
@@ Property / cites work @@
+Tense logic and time
@@ Property / cites work: Tense logic and time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028767
@@ Property / cites work: Q4028767 / 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 @@
+Temporal reasoning based on semi-intervals
@@ Property / cites work: Temporal reasoning based on semi-intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets as a basis for a theory of possibility
@@ Property / cites work: Fuzzy sets as a basis for a theory of possibility / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of fuzzy set theory to mathematical programming
+Normal rank
@@ Property / cites work @@
+Q3221891
@@ Property / cites work: Q3221891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039980
@@ Property / cites work: Q4039980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704917
@@ Property / cites work: Q3704917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750447
@@ Property / cites work: Q5750447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028782
@@ Property / cites work: Q4028782 / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal hierarchies to efficiently maintain large temporal databases
+Normal rank
@@ Property / cites work @@
+Temporal logics in AI: semantical and ontological considerations
+Normal rank
@@ Property / cites work @@
+Q4028772
@@ Property / cites work: Q4028772 / 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 @@
+A critical examination of Allen's theory of action and time
+Normal rank
@@ Property / cites work @@
+Q5750422
@@ Property / cites work: Q5750422 / 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 @@
+Planning for temporally extended goals.
@@ Property / cites work: Planning for temporally extended goals. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590035
@@ Property / cites work: Q5590035 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Reasoning about effects of concurrent actions
@@ Property / cites work: Reasoning about effects of concurrent actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems in formal temporal reasoning
@@ Property / cites work: Problems in formal temporal reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and approximate reasoning
@@ Property / cites work: Fuzzy logic and approximate reasoning / rank @@
+Normal rank