The logical approach to temporal reasoning

Artificial Intelligence Review

Volumn 16, Issue 4, 2001, Pages 301-333

  Augusto, Juan Carlos ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

Actions; Events; Knowledge representation; Processes; Properties; Temporal logic; Time

Indexed keywords

COMPUTER SCIENCE; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

LOGICAL APPROACH; TEMPORAL LOGIC; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0035575868     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1012551818243     Document Type: Article

References (158)

1. Actions and events in interval temporal logic
2. A common-sense theory of time
3. Moments and points
4. Planning using a temporal world model
5. Maintaining knowledge about temporal intervals
6. Towards a general theory of action and time
7. Temporal reasoning and planning
8. Planning as temporal reasoning
9. Formal models of planning
10. Un sistema argumentativo con referencias a momentos de tiempo
11. A temporal argumentative system
12. Defeasible temporal reasoning
13. Querying TSQL2 databases with temporal logic
14. Advances in temporal logic
15. An extension to Kowalski and Sergot event calculus
16. Representation of continuous change with discrete time
17. Concerted instant-interval temporal semantics I: Temporal ontologies
18. Concerted instant-interval temporal semantics II: Temporal valuations and logics of change
19. A model for temporal references and its application in a question answering program
20. A non-reified temporal logic
21. Modal event calculus
22. A modal calculus of partially ordered events in a logic programming framework
23. The complexity of model checking in modal event calculi
24. A hierarchy of modal event calculi: Expressiveness and complexity
25. Modal event calculi with preconditions
26. The complexity of model checking in modal event calculi with quantifiers
27. Event calculus with explicit quantifiers
28. Towards a formal characterization of temporal repetition with closed time
29. Logical models of argument
30. Efficient temporal reasoning in the cached event calculus
31. Negation as failure
32. Clustering temporal intervals to generate reference hierarchies
33. Reasoning about partially ordered events
34. Temporal data base management
35. Using temporal hierarchies to efficiently mantain large databases
36. Temporal reasoning in sequence graphs
37. Arguing about plans: Plan representation and reasoning for mixed-initiative planning
38. Knowledge representation and reasoning for mixed-initiative planning
39. STRIPS, a new approach to the application of theorem proving to problem solving
40. Temporal reasoning based on semi-intervals
41. Nonmonotonic reasoning on a constructive time structure
42. The logic of occurrence
43. A critical examination of Allen's theory of action and time
44. A critique of Yoav Shoham's theory of causal reasoning
45. Time and change
46. Efficient temporal reasoning through timegraphs
47. Algorithms and complexity for reasoning about time
48. The transition calculus: A high-level formalism for reasoning about action and change
49. Probabilistic regions of persistence
50. Definite integral information
51. Temporal reasoning with real valued functions
52. Persistence in continous first order temporal logics
53. Just one approach for several temporal logics in computing: The topológical semantics
54. Lnint: A temporal logic that combines points and intervals and the absolute and relative approach
55. An analysis of structure of time in the first order predicate calculus
56. A propositional modal logic of time intervals
57. Instants and intervals
58. Default reasoning, nonmonotonic logics and the frame problem
59. Nonmonotonic logic and temporal projection
60. The specification and implementation of a first order logic for uncertain temporal domains
61. Granularity
62. Mechanizing temporal knowledge
63. Events, instants and temporal reference
64. The logic of persistence
65. Database updates in the event calculus
66. The situation calculus and event calculus compared
67. A logic-based calculus of events
68. The algebra of convex time intervals
69. On binary constraint problems
70. Time representation: A taxonomy of interval relations
71. Models of axioms for time intervals
72. Temporal inferencing on administrative databases
73. Temporal reasoning with the model logic z
74. A situation calculus approach to modeling and programming agents
75. Miracles in formal theories of action
76. On the declarative semantics of logic programs with negation
77. On relations between intervals
78. Points et intervalles combinatoires
79. Intervalles généralisés i
80. Intervalles généralisés ii
81. Weak representations of interval algebras
82. On generalized interval calculi
83. A commonsense theory of time-lnai 810
84. Some philosophical problems from the standpoint of artificial intelligence
85. Circumscription - A form of non-monotonic reasoning
86. Applications of circumscription to formalizing common-sense knowledge
87. A temporal logic for reasoning about plans and actions
88. Situation calculus specifications for event calculus logic programs
89. A case study about actions and continuous change
90. Why things go wrong: A formal theory of causal reasoning
91. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra
92. Defeasible logic and temporal projection
93. Defeasible logic and the frame problem
94. An overview of temporal and modal logic programming
95. Temporal reasoning in logic programming: A case for the situation calculus
96. Hypothetical reasoning from situation calculus to event calculus
97. A comparison of first order and modal logics of time
98. Axiomatisation and decidability of F and P in cyclical time
99. On order in time
100. Planning in a hierarchy of abstraction spaces
101. Variants of the event calculus
102. Three recent aproaches to temporal reasoning
103. The range of applicability of nonmonotonic logics for the inertia problem
104. Managing disjunction for practical temporal reasoning
105. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions
106. Explanation closure, action closure and the sandewal test suite for reasoning about change
107. Representing continuous change in the event calculus
108. Problems in formal temporal reasoning
109. Ten requirements for a theory of change
110. Temporal logics in artificial intelligence: Semantical and ontological considerations
111. A semantical approach to nonmonotonic logics
112. Chronological ignorance: Experiments in nonmonotonic temporal reasoning
113. Time for action: On the relation between time, knowledge, and action
114. Nonmonotonic reasoning and causation
115. Temporal reasoning during plan recognition
116. The interval representation problem
117. An implementation of a temporal logic
118. The abductive event calculus as a general framework for temporal databases
119. The token reification approach to temporal reasoning
120. Ip: An instant-period based theory of time