Temporal representation and reasoning in artificial intelligence: A review

Mathematical and Computer Modelling

Volumn 34, Issue 1-2, 2001, Pages 55-80

  Pani, A K ^a   Bhattacharjee, G P ^b  

^a XLRI XAVIER SCHOOL OF MANAGEMENT   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Fuzzy temporal relation; Knowledge representation; Temporal constraint propagation; Temporal entities; Temporal primitive; Temporal reasoning

Indexed keywords

EID: 0035901838     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0895-7177(01)00049-8     Document Type: Article

References (146)

1. A semantical approach to nonmonotonic logics
2. A survey on temporal reasoning in artificial intelligence
3. Two theories of time
4. Time: A treatment of some puzzles
5. Diodoram modalities
6. A propositional modal logic of time intervals
7. Strategies for modal resolution: Results and problems
8. Model resolution in clausal form
9. A resolution method for temporal logics
10. Modal and temporal logic programming
11. Semantics and validation procedures of a multi-modal logic for formalization of multi-agent universes
12. Towards a general theory of action and time
13. Temporal database management
14. A logic-based calculus of events
15. A temporal logic for reasoning about process and plans
16. Nonmonotonic logics: Meaning and utility
17. A non-reified temporal logic
18. Reified temporal theories and how to unreify them
19. The token reification approach to temporal reasoning
20. Some philosophical problemc from standpoint of AI
21. A model for temporal references and its application in a question answering program
22. Mechanizing temporal knowledge
23. Tense logic and time
24. The algebra of convex intervals: Short version
25. A commonsense theory of time
26. Short time periods
27. Models of axioms for time intervals
28. Events, processes and states
29. A system for reasoning about time
30. An analysis of the main approaches to temporal reasoning in AI
31. Planning as temporal reasoning
32. Maintaining knowledge about temporal intervals
33. Endpoint relations on temporal intervalc
34. Temporal reasoning based on semi-intervals
35. Constraint propagation algorithms for temporal reasoning
36. Integrating metric and qualitative temporal reasoning
37. Combining qualitative and quantitative constraints in temporal reasoning
38. Fuzzy sets
39. Fuzzy sets as basis for a theory of possibility
40. An event-based fuzzy temporal logic
41. Temporal reasoning in medical expert systems
42. A new reorientation model in uncertain temporal knowledge
43. Fuzzy information and fuzzy time
44. Processing fuzzy temporal knowledge
45. Timed possibilistic logic
46. Representation and use of imprecise temporal knowledge in dynamic systems
47. Temporal reasoning in sequence graphs
48. Evidential reasoning with temporal aspects
49. Resolution model logics
50. Efficient temporal reasoning through timegraphs
51. Managing efficiently temporal relations through indexed spanning trees
52. Planning using a temporal world model
53. Semantic interpretation of tense, actionality and aspect
54. Metatem: A framework for programming in temporal logic
55. Clustering temporal intervals to generate reference hierarchies
56. Using temporal hierarchies to efficiently maintain large temporal databases
57. Temporal logic in AI: Semantical and ontological considerations
58. Meta-reasoning in executable temporal logic
59. Naive physics 1 - Ontology for liquids
60. Nonmonotonic logic and temporal projection
61. Probabilistic temporal reasoning
62. A parallel algorithm for statistical refinement and its use in causal reasoning
63. A critical examination of Allen's theory of action and time
64. The TIMELOGIC temporal reasoning system
65. Localizing temporal constraint propagation
66. Exploiting domain structure to achieve efficient temporal reasoning
67. Time revisited
68. Temporal reasoning in timegraph i-ii
69. Time and time again: The many ways to represent time
70. Hierarchical decomposition of time units
71. Approximation algorithms for temporal reasoning
72. Faster constraint satisfaction algorithms for temporal reasoning
73. Resolution theorem proving in reified model logics
74. An interval based representation of temporal knowledge
75. Generalized plan recognition
76. Action and events in interval temporal logic
77. Planning for temporally extended goals
78. A model and language for the fuzzy representation and handling of time
79. About temporal uncertainty
80. Uncertain temporal knowledge management
81. On the solution of Schubert's steamroller in many-sorted logic
82. The logical form of action sentences
83. Constraint propagation with interval labels
84. Temporal constraint networks
85. STRIPS: A new approach to the application of theorem proving to problem solving
86. Reasoning with worlds and truth maintenance in a knowledge-based programming environment
87. What are the limitation of the situation calculus?
88. Reasoning about effects of concurrent actions
89. Action languages
90. Non-standard semantics for the method of temporal arguments
91. Simple causal minimization for temporal persistence and projection
92. Short time periods
93. Granularity
94. Representation of temporal knowledge
95. The logic of persistence
96. Temporal reasoning under uncertainty with belief functions
97. Semantical consideration on modal logic
98. Temporal logic of programs
99. The completeness of a natural system for reasoning with time intervals
100. 'Sometimes' is sometimes not 'never'
101. Pointwise circumscription
102. On the logic of causal explanation
103. Situation calculus and causal logic
104. Action languages, answer sets and planning
105. Circumscription - A form of nonmonotonic reasoning
106. A new theory of time: Generation of time from fuzzy temporal relations
107. Adding temporal reasoning to except system building environments
108. Proving properties of states in the situation calculus
109. Natural actions, concurrency and continuous time in the situation calculus
110. Temporal representation of clinical algorithms using expert systems
111. Non-monotonic entailment for reasoning about time and action, Part I: Sequential actions
112. Logical modeling of temporal data
113. Representing continuous change in the event calculus
114. The ramification problem in the event calculus
115. Ten requirements for a theory of change
116. Problems in formal temporal reasoning
117. A taxonomy of time in databases
118. Modeling time aspects of information systems
119. Time structure for AI
120. TLP-a temporal planner
121. Planning in time: Windows and durations for activities and goals
122. Splicing plans to achieve ordered goals
123. Instants, periods and the divided instant problem
124. Doing time: Putting qualitative reasoning on firmer ground
125. Performance of temporal reasoning systems
126. Tense, aspect and the cognitive representation of time