Handbook of Temporal Reasoning in Artificial Intelligence

✍ Scribed by M. Fisher, D. Gabbay and L. Vila (Eds.)

• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Leaves: 753
• Series: Foundations of Artificial Intelligence 1
• Category: Library

✦ Synopsis

This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence. Key Features: - Broad range: foundations; techniques and applications - Leading researchers around the world have written the chapters - Covers many vital applications - Source book for Artificial Intelligence, temporal reasoning - Approaches provide foundation for many future software systems · Broad range: foundations; techniques and applications · Leading researchers around the world have written the chapters · Covers many vital applications · Source book for Artificial Intelligence, temporal reasoning · Approaches provide foundation for many future software systems

✦ Table of Contents

Content:
Front Matter
Pages i-iii

Copyright
Page iv

Preface
Pages xi-xiv

Contributors
Pages xv-xviii

Chapter 1 - Formal Theories of Time and Temporal Incidence
Pages 1-24
Lluis Vila

Chapter 2 - Eventualities
Pages 25-58
Antony Galton

Chapter 3 - Time Granularity
Pages 59-118
Jérôme Euzenat, Angelo Montanari

Chapter 4 - Modal Varieties of Temporal Logic
Pages 119-165
Barringer Howard, Gabbay Dov

Chapter 5 - Temporal Qualification in Artificial Intelligence
Pages 167-194
Han Reichgelt, Lluis Vila

Chapter 6 - Computational Complexity of Temporal Constraint Problems
Pages 197-218
Thomas Drakengren, Peter Jonsson

Chapter 7 - Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity
Pages 219-245
Manolis Koubarakis

Chapter 8 - Processing Qualitative Temporal Constraints
Pages 247-276
Alfonso Gerevini

Chapter 9 - Theorem-Proving for Discrete Temporal Logic
Pages 279-313
Mark Reynolds, Clare Dixon

Chapter 10 - Probabilistic Temporal Reasoning
Pages 315-342
Steve Hanks, David Madigan

Chapter 11 - Temporal Reasoning with iff-Abduction
Pages 343-373
Marc Denecker, Kristof Van Belleghem

Chapter 12 - Temporal Description Logics
Pages 375-388
Artale Alessandro, Franconi Enrico

Chapter 13 - Logic Programming and Reasoning about Actions
Pages 389-426
Chitta Barai, Michael Gelfond

Chapter 14 - Temporal Databases
Pages 429-467
Jan Chomicki, David Toman

Chapter 15 - Temporal Reasoning in Agent-Based Systems
Pages 469-495
Michael Fisher, Michael Wooldridge

Chapter 16 - Time in Planning
Pages 497-536
Maria Fox, Derek Long

Chapter 17 - Time in Automated Legal Reasoning
Pages 537-557
Lluis Vila, Hajime Yoshino

Chapter 18 - Temporal Reasoning in Natural Language
Pages 559-585
Alice ter Meulen

Chapter 19 - Temporal Reasoning in Medicine
Pages 587-653
Elpida Keravnou, Yuval Shahar

Chapter 20 - Time in Qualitative Simulation
Pages 655-664
Dan Clancy, Benjamin Kuipers

Bibliography
Pages 665-722

Index
Pages 723-731