Temporal data base management☆
References (31)
An assumption-based TMS
Artificial Intelligence
(1986)A truth maintenance system
Artificial Intelligence
(1979)Qualitative process theory
Artificial Intelligence
(1984)- et al.
Non-monotonic logic I
Artificial Intelligence
(1980) A temporal logic for reasoning about processes and plans
Cognitive Sci.
(1982)Planning with constraints (MOLGEN: Part 1)
Artificial Intelligence
(1981)Maintaining knowledge about temporal intervals
Commun. ACM
(1983)- et al.
A common-sense theory of time
- et al.
Artificial Intelligence Programming
(1980) - et al.
Programming in Prolog
(1984)
Planning and temporal reasoning under uncertainty
Temporal reasoning involving counterfactuals and disjunctions
Temporal imagery: An approach to reasoning about time for planning and problem solving
Explicit control of reasoning
SIGPLAN Notices
(1977)
AMORD: A deductive procedure system
Cited by (0)
- ☆
This work was supported by the Advanced Research Projects Agency of the Department of Defense and monitored by the Office of Naval Research under contract N00014-85-K-0301.
Copyright © 1987 Published by Elsevier B.V.