A theory of time and temporal incidence based on instants and periods

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1996, Pages 21-28

  Vila, L ^a   Schwalb, E ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN INDEPENDENTS; FLUENTS; PROBLEMATIC ISSUES; TEMPORAL REPRESENTATIONS; TRUTH VALUES;

EID: 38149056081     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1996.555670     Document Type: Conference Paper

References (25)

1. J. Allen. Towards a general theory of action and time. Artzjiczal Intellzgence, 23:123-154, 1984.
2. J. Allen and P. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5:225-238, 1989.
3. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In Proc. Workshop on Theory of Hybrid Systems, pages 209-229, 1993.
4. F. Bacchus, J. Tenenberg, and J. Koomen. A non-reified temporal logic. In Proc. KR89, pages 2-10, 1989.
5. A. Bochman. Concerted instant-interval temporal semantics i: Temporal ontologies. Notre Dame Journal of Formal Logic, 31(3):403-414, 1990.
6. K. Forbus. Introducing actions into qualitative simulation. In Proc. IJCA189, pages 1273-1278, 1989.
7. A. Galton. A critical examination of Allens theory of action and time. Artificrad Intelligence, 42:159-188, 1990.
8. C. Hamblin. Instants and intervals. In J. Fraser, editor, The Study of Time, pages 325-331. Springer-Verlag , 1972.
9. J. Hobbs. Granularity. In Proc. IJCA185, 1985.
10. Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta. Modeling time in hybrid ssytems: How fast is instantaneous? In Proc. IJCAIS5, 1995.
11. Y. Iwasaki and C. Low. Device modeling environment: An integrated model-formulation and simulation environment for continuous and discrete phenomena. In Proc. of Conf. on Intellagent Systems Engzneerzng, 1992.
12. H. Kamp. Events, instants and temporal reference. In R. Bauerle, U. Egli, and A. von Stechow, editors, Semantics from Diflerent Points of View, pages 376-417. Springer-Verlag, 1979.
13. M. Koubarakis. Foundations of Temporal Constraint Databases. PhD thesis, National Technical University of Athens, Athens, Greece, 1994.
14. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 3, 1986.
15. B. Kuipers. Qualitative simulation using timescaled abstraction. Artificial Intelligence an Engineering, 3(4): 185-19 1, 1988.
16. P. Ladkin. Models of axioms for time intervals. In Proc. AAAI87, pages 234-239, 1987.
17. D. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Scaence, 6:l0l-155, 1982.
18. T. Nishida and S. Doshita. ReasoninK about discontinuous change. In Proc. AAAI8fpages 643-648, 1987.
19. E. Schwalb, K. Kask, and R. Dechter. Temporal reasoning with constraints on fluents and events. In Proc. AAAI94, 1994.
20. Y. Shoham. Temporal logics in AI: Semantical and ontological considerations. Artificial Intelligence, 33:89-104, 1987.
21. J. van Benthem. The Logzc of Time. Kluwer Academic, Dordrecht, 1983.
22. L. Vila. I P An instant-period-based theory of time. In R. Rodriguez, editor, Proc. ECAI94 Workshop on Spatial and Temporal Reasoning, 1994.
23. L. Vila. On Temporal Representation and Reasonang in Knowledge-based Systems. PhD Thesis on Computer Science, Dept. of Computer Languages and Systems, Technical University of Catalonia, C/Pau Gargallo 5, 08028 Barcelona, 1994.
24. L. Vila and H. Reichgelt. The token reification approach to temporal reasoning. Artzficzal Inteldzgence, 82, (to appear) 1996.
25. B. C. Williams. Doing time: Putting qualitative reasoning on firmer ground. In Proc. AAAI86, pages 105-112, 1986.