مشخصات کتاب

Handbook of Temporal Reasoning in Artificial Intelligence

ویرایش:  
نویسندگان: M. Fisher,  D. Gabbay and L. Vila (Eds.)  
سری: Foundations of Artificial Intelligence 1 
ISBN (شابک) : 9780080533360, 0444514937 
ناشر: Elsevier Science 
سال نشر: 2005 
تعداد صفحات: 1-731
[753] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 39 Mb 

در صورت تبدیل فایل کتاب Handbook of Temporal Reasoning in Artificial Intelligence به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کتاب راهنمای استدلال موقتی در هوش مصنوعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب کتاب راهنمای استدلال موقتی در هوش مصنوعی

این مجموعه کار مرجع اولیه برای محققان و دانشجویان در زمینه استدلال زمانی در هوش مصنوعی است. استدلال زمانی نقش حیاتی در بسیاری از زمینه ها، به ویژه هوش مصنوعی دارد. با این حال، تا کنون، هیچ جلد واحدی وجود نداشته است که وسعت کار در این زمینه را جمع آوری کند. این مجموعه محققان برجسته را در طیف وسیعی از زمینه‌های مرتبط گرد هم می‌آورد و توصیفی منسجم از وسعت فعالیت‌های مربوط به استدلال زمانی در زمینه هوش مصنوعی ارائه می‌دهد. ویژگی های کلیدی: - محدوده وسیع: پایه ها. تکنیک ها و کاربردها - محققان برجسته در سراسر جهان فصل ها را نوشته اند - بسیاری از برنامه های کاربردی حیاتی را پوشش می دهد - منبع کتاب برای هوش مصنوعی، استدلال زمانی - رویکردها پایه و اساس بسیاری از سیستم های نرم افزاری آینده را فراهم می کنند. تکنیک ها و کاربردها · محققان برجسته در سراسر جهان فصل ها را نوشته اند · بسیاری از برنامه های کاربردی حیاتی را پوشش می دهد · کتاب منبع برای هوش مصنوعی ، استدلال زمانی · رویکردها پایه و اساس بسیاری از سیستم های نرم افزاری آینده را فراهم می کنند.

توضیحاتی درمورد کتاب به خارجی

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

فهرست مطالب

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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Panzers in the Balkans and Italy

دانلود کتاب Yoga: The Top 100 Best Yoga Poses: Relieve Stress, Increase Flexibility, and Gain Strength (Yoga Postures Poses Exercises Techniques and Guide For Healing Stretching Strengthening and Stress Relief)

دانلود کتاب Pichon: Race and Revolution in Castro's Cuba: A Memoir

دانلود کتاب Perspectives on Global Change: The TARGETS Approach

دانلود کتاب Nietzsche's Teaching: An Interpretation of Thus Spoke Zarathustra