Applied Intelligence

, Volume 6, Issue 1, pp 5–9 | Cite as

Space, time, and computation: Trends and problems

  • Frank D. Anger
  • Rita V. Rodríguez
  • Hans W. Guesgen
  • Johan Van Benthem

Abstract

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.

Keywords

artificial intelligence concurrency space spatial reasoning temporal reasoning time 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    U. Abraham, “On carnap's axiom system for time and space and Lamport's system execution”, Notes of the IJCAI-93 Work-shop on Spatial and Temporal Reasoning, Chambéry, France, pp. 188–191, 1993.Google Scholar
  2. 2.
    F. Anger and R. Rodriguez, “Lattice structure of temporal interval relations”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 79–93, 1993.Google Scholar
  3. 3.
    J.van Benthem, “Temporal logic”, in Handbook of Logic in Artificial Intelligence and Logic Programming, edited by D. Gabbay, C. Hogger, and J. Robinson, Oxford University Press: Oxford, Ch. 3, 1990.Google Scholar
  4. 4.
    C. Freksa and K. Zimmermann, “On the utilization of spatial structures for cognitively plausible and efficient reasoning”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 61–66, 1993.Google Scholar
  5. 5.
    G. Gargov, “Discourse representation and Petri Nets”, in Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, p. 237, 1993.Google Scholar
  6. 6.
    D. Gill, T. Smith, and C. McCreary, “Graph decomposition and spatial-temporal analysis to determine parallel computation orders”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 159–167, 1993.Google Scholar
  7. 7.
    H. Guesgen and J. Hertzberg, “Spatial persistency”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 11–34, 1993.Google Scholar
  8. 8.
    H. Kamp, “Instants, events, and temporal discourse”, in Semantics from Different Points of View, edited by R. Bäuerle et al., Springer Verlag: Berlin, pp. 376–417, 1979.Google Scholar
  9. 9.
    D. Mitra and R. Loganantharaj, “Experimenting with a temporal constraint propagation algorithm”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 245–258, 1993.Google Scholar
  10. 10.
    B. Russell, Our Knowledge of the External World, Unwin, London, 1993.Google Scholar
  11. 11.
    S. Thomason, Possible Worlds, Times and Tenure, Department of Mathematics, Simon Fraser University, Vancouver, 1979.Google Scholar
  12. 12.
    A. Trudel, “Representing allen's properties, events, and processes”, Notes of the IJCAI-93 Workshop on Spatial and Temporal Reasoning, Chambéry, France, pp. 297–301, 1993.Google Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Frank D. Anger
    • 1
  • Rita V. Rodríguez
    • 1
  • Hans W. Guesgen
    • 2
  • Johan Van Benthem
    • 3
  1. 1.Computer Science DepartmentThe University of West FloridaPensacolaUSA
  2. 2.Dept. of Computer ScienceUniversity of AucklandAucklandNew Zealand
  3. 3.Inst. for Lang., Logic and InformationUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations