论文信息 - Space, time, and computation: Trends and problems

Space, time, and computation: Trends and problems

At the International Joint Conference on Artificial Intelligence (IJCAI) in Chambéry, France, the authors organized and ran a Workshop on Spatial and Temporal Reasoning with the purpose of both presenting current research and development in these areas and fostering an interchange of ideas among attendees of differing interests. In particular, discussion was focussed on the interfaces between three separate concerns: spatial reasoning in AI, temporal reasoning in AI, and temporal methods for concurrent systems. The authors reflect on the outcome of the workshop as well as introduce the extended papers selected for this special issue. Research goals for the immediate future are presented.

Johan van Benthem | Hans W. Guesgen | Frank D. Anger | Rita V. Rodríguez

[1] J. van Benthem,et al. Temporal logic , 1995 .

[2] Frank D. Anger,et al. Lattice structure of temporal interval relations , 2004, Applied Intelligence.

[3] Rasiah Loganantharaj,et al. Experimenting with a temporal constraint propagation algorithm , 2004, Applied Intelligence.

[4] B. Russell. Our Knowledge of the External World , 1960 .

[5] Christian Freksa,et al. On the utilization of spatial structures for cognitively plausible and efficient reasoning , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[6] H. Kamp. Events, Instants and Temporal Reference , 1979 .

[7] André Trudel,et al. Representing Allen's properties, events, and processes , 2004, Applied Intelligence.

[8] R. E. Kurt Stirewalt,et al. Spatial-Temporal Analysis of Program Dependence Graphs for Useful Parallelism , 1993, J. Parallel Distributed Comput..