Handbook of Temporal Reasoning in Artificial Intelligence
Editors: Michael Fisher; Dov Gabbay; Lluís Vila.

Contents:

  • Formal Theories of Time and Temporal Incidence - Lluís Vila
  • Eventualities - Antony Galton
  • Time Granularity - Jérôme Euzenat & Angelo Montanari
  • Modal Varieties of Temporal Logic - Howard Barringer & Dov Gabbay
  • Temporal Qualification in Artificial Intelligence - Han Reichgelt & Lluís Vila
  • Computational Complexity of Temporal Constraint Problems - Thomas Drakengren & Peter Jonsson
  • Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity - Manolis Koubarakis
  • Processing Qualitative Temporal Constraints - Alfonso Gerevini
  • Theorem-Proving for Discrete Temporal Logic - Mark Reynolds & Clare Dixon
  • Probabilistic Temporal Reasoning - Steve Hanks & David Madigan
  • Temporal Reasoning with iff-Abduction - Marc Denecker & Kristof Van Belleghem
  • Temporal Description Logics - Alessandro Artale & Enrico Franconi
  • Logic Programming and Reasoning about Actions - Chitta Baral & Michael Gelfond
  • Temporal Databases - Jan Chomicki & David Toman
  • Temporal Reasoning in Agent-Based Systems - Michael Fisher & Michael Wooldridge
  • Time in Planning - Maria Fox & Derek Long
  • Time in Automated Legal Reasoning - Lluís Vila & Hajime Yoshino
  • Temporal Reasoning in Natural Language - Alice ter Meulen
  • Temporal Reasoning in Medicine - Elpida Keravnou & Yuval Shahar
  • Time in Qualitative Simulation - Dan Clancy & Benjamin Kuipers

  • Bibliography

    Buy a copy HERE

  •