 |
|
| HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE, 1
| |
| | |
|
|
To order this title, and for more information, click here
Edited By
Michael Fisher, University of Liverpool, Liverpool, United Kingdom.
Dov M. Gabbay, King's College London, UK
Lluis Vila, Universitat Politecnica de Catalunya, Barcelona, Spain.
Included in series
Foundations of Artificial Intelligence, 1
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
Audience
Researchers, Students and Computing professionals.
Contents
"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.
| Bibliographic details |
Hardbound, 750 pages, publication date: MAR-2005
ISBN-13: 978-0-444-51493-6
ISBN-10: 0-444-51493-7
Imprint: ELSEVIER
|
| Price and Ordering |
Price:
GBP 144
USD 225
EUR 169.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/743
Last update: 7 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company