Handbook of Temporal Reasoning in Artificial Intelligence: Volume 1
Published on 1. March 2005
Book
Hardback
750 pages
978-0-444-51493-6 (ISBN)
Description
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
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Researchers, Students and Computing professionals.
Product notice
Laminated cover
Dimensions
Height: 248 mm
Width: 174 mm
Thickness: 37 mm
Weight
1460 gr
ISBN-13
978-0-444-51493-6 (9780444514936)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Michael David Fisher | Dov M. Gabbay | Lluis Vila
Handbook of Temporal Reasoning in Artificial Intelligence
E-Book
03/2005
Elsevier
€200.00
Available for download
Persons
Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
Content
"Formal Theories of Time and Temproal Incidence", Lluis Vila.
"Eventualities", Antony Galton.
"Time Granularity", Jerome Euzenat and Angelo Montanari.
"Modal Varieties of Temporal Logic", Howard Barringer and Dov Gabbay.
"Temporal Qualification in Artificial Intelligence", Han Reichgelt and Lluis Vila.
"Computational Complexity of Temporal Constraint Problems", Thomas Drakengren and 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" Maris Fox/Derek Long.
"Time in Automated Legal Reasoning" Lluis 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.
"Eventualities", Antony Galton.
"Time Granularity", Jerome Euzenat and Angelo Montanari.
"Modal Varieties of Temporal Logic", Howard Barringer and Dov Gabbay.
"Temporal Qualification in Artificial Intelligence", Han Reichgelt and Lluis Vila.
"Computational Complexity of Temporal Constraint Problems", Thomas Drakengren and 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" Maris Fox/Derek Long.
"Time in Automated Legal Reasoning" Lluis 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.