 |
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
|