Handbook of Temporal Reasoning in Artificial Intelligence Handbook of Temporal Reasoning in Artificial Intelligence

Handbook of Temporal Reasoning in Artificial Intelligence

Michael David Fisher và các tác giả khác
    • 279,99 US$
    • 279,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2005
1 tháng 3
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
750
Trang
NHÀ XUẤT BẢN
Elsevier Science
NGƯỜI BÁN
Elsevier Ltd.
KÍCH THƯỚC
14,3
Mb
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2018
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
2007
Concurrency Theory Concurrency Theory
2006
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2020
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
2017
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2017