Naturetime: Temporal granularity in simulation of ecosystems

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 665-698

  Mota, Edjard ^a   Robertson, David ^a   Smaill, Alan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030295473     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0071     Document Type: Article

References (31)

1. Allen, J.F., Hayes, P.J. (1985). A common sense theory of time. In Proc. IJCAI, pp. 528-531.
2. Allen, J.F. (1983). Maintaining knowledge about temporal intervals. Comm. ACM, 26(11).
3. Allen, J.F. (1984). Towards a general theory of action and time. Artificial Intelligence, 23(1).
4. Biggs, N.L. (1987). Discrete Mathematics. Oxford Science Publication.
5. Ciapessoni, E., Corsetti, E., Montanari, A., San Pietro, P. (1993). Embedding time granularity in a logical specification language for synchronous real-time systems. Science of Computer Programming, 20(1):141-171.
6. Cukierman, D., Delgrand, J. (1995). A language to express time intervals and repetition. In Proc. 2nd International Workshop on Temporal Representation and Reasoning, Melbourne Beach, Florida, USA, April.
7. Dean, T. (1989). Using temoral hierarchies to efficietly maintain large temporal databases. J. ACM, 36(4):687-718.
8. Fiadeiro, J.L., Maibaum, T. (1994). SOMETIMES "TOMOROW" IS SOMETIME action refinement in a temporal logic of objects. In First International Conference on Temporal Logic, pp. 48-66, Bonn, Germany, July. Springer-Verlag.
9. Fisher, M. (1995). Towards a semantics for concurrent metatem. In Fisher, M., Owens, R., eds, Executable Modal and Temporal Logics, pp. 86-102. Springer-Verlag. V(897).
10. Fruhwirth, T. (1996). Temporal annotated constraint logic programming. J. Symbolic Computation 22(5/6):555-583.
11. Gabbay, D., Reynolds, M. (1995). Towards a computational treatment of time. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4 Epistemic and Temporal Reasoning. Oxford University Press.
12. Gabbay, D. (1989). The declarative past and imperative future. In Barringer, H., ed., Coloquim on Temporal Logics and Specification, pp. 409-448. Springer-Verlag. V(398).
13. Haggith, M., Robertson, D., Walker, D., Sinclair, F., Muetzelfeldt, R. (1992). TEAK - tools for eliciting agroforestry knowledge. In British Computer Society Symposium of IT - Enabled Charge in Developing Countries.
14. Hobbs, J.R. (1985). Granularity. In Proc. IJCAI, pp. 1-4.
15. Koomen, J.A.G.M. (1989). Reasoning about recurrence. Technical Report Technical Report 307, Department of Computer Science - University of Rochester, Rochester, USA.
16. Ladkin, P. (1986a). Primitives units for time specification. In Proc. AAAI, pp. 354-359.
17. Ladkin, P. (1986b). Time representation: A taxonomy of interval relations. In Proc. AAAI, pp. 360-366.
18. Ladkin, P. (1987). The completeness of a natural system for reasoning with time intervals. In Proc. AAAI, pp. 462-467.
19. Leban, B., McDonald, D.D., Foster, D.R. (1986). A representation for collections of temporal intervals. In Proc. AAAI, pp. 367-371.
20. Montanari, A. (1994). A metric and layered temporal logic for time granularity, syncrony and asyncrony. Unpublished work of the First International Conference on Temporal Logic, July.
21. Mota, E. (1994). Temporal representation of ecological domains. DAI TP-31, Department of Artificial Intelligence, University of Edinburgh.
22. Mota, E. (1995). Time granularity in simulation models within a multi-agent system. DAI Discussion Paper 158, Department of Artificial Intelligence, University of Edinburgh, April.
23. Mota, E., Haggith M., Smaill, A., Robertson, D. (1995a). Time granularity in simulation models of ecological systems. In Workshop on Excutable Temporal Logics - Montreal, Canada. DAI RP-740, Edinburgh University.
24. Mota, E., Robertson, D., Muezelfeldt, R. (1995b). On the granular aspects of time in simulation models. TP-39, Detartment of Artificial Intelligence/University of Edinburgh.
25. Pachet, F., Ramalho, G., Carrive, J., Cornic, G. (1995). Representing temporal musical objects and reasoning in the muses system. In International Congress on Music and Artificial Intelligence, pp. 33-48.
26. Le Poidevin, R., MacBeath, M., eds (1995). The Philosophy of Time, chapter IX, pp. 149-167. Oxford Readings in Philosophy. Oxford University Press.
27. Rescher, N., Urquhart, A. (1971). Temporal Logic. Springer-Verlag.
28. Robertson, D., Bundy, A., Muetzefeldt, R., Haggith, M., Uschold, M. (1991). Eco-Logic Logic-Based Approaches to Ecological Modelling. The MIT Press.
29. Sinclair, F, Robertson, D., Muetzelfeldt, R., Walker, D., Haggith, M., Kendon, G. (1993). Formal representation and use of indigenous ecological knowledge about agroforestry. ODA Forestry and Agroforestry Research Strategy - Project R4731 Second Annual Report, University of Edinburgh.
30. Sterling, L., Shapiro, E. (1986). The Art of Prolog. The MIT Press.
31. van Emden, M.H. (1984). An interpreting algorithm for prolog programs. In Prolog Implementations, Ellis Horwood Series ARTIFICIAL INTELLIGENCE, pp. 93-110. Ellis Horwood Ltd.