Handbook of Temporal Reasoning in Artificial Intelligence: Foundations of Artificial Intelligence, cartea 1
Editat de Michael David Fisher, Dov M. Gabbay, Lluis Vilaen Limba Engleză Hardback – 28 feb 2005
· 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
Preț: 1512.95 lei
Preț vechi: 1891.19 lei
-20% Nou
Puncte Express: 2269
Preț estimativ în valută:
289.58€ • 303.80$ • 240.22£
289.58€ • 303.80$ • 240.22£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780444514936
ISBN-10: 0444514937
Pagini: 750
Dimensiuni: 165 x 240 x 34 mm
Greutate: 1.48 kg
Ediția:New.
Editura: ELSEVIER SCIENCE
Seria Foundations of Artificial Intelligence
ISBN-10: 0444514937
Pagini: 750
Dimensiuni: 165 x 240 x 34 mm
Greutate: 1.48 kg
Ediția:New.
Editura: ELSEVIER SCIENCE
Seria Foundations of Artificial Intelligence
Public țintă
Researchers, Students and Computing professionals.Cuprins
"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.