Handbook of Temporal Reasoning in Artificial Intelligence
Handbook of Temporal Reasoning in Artificial Intelligence
复制标题
DOI：
--
复制
发表时间：
2005-03
期刊：
影响因子：
--
通讯作者：
Michael Fisher;D. Gabbay;L. Vila
中科院分区：
文献类型：
--
作者：
Michael Fisher;D. Gabbay;L. Vila
该集合代表了人工智能中时间推理领域的研究人员和学生的主要参考工作。时间推理在许多领域，特别是人工智能中发挥着至关重要的作用。然而，到目前为止，还没有一本书汇集了这一领域的广泛工作。该集合汇集了一系列相关领域的领先研究人员，并对人工智能领域中有关时间推理的活动广度进行了连贯的描述。主要特点：- 范围广泛：基础;技术和应用-世界各地的领先研究人员撰写了章节-涵盖了许多重要的应用-人工智能的原始资料，时间推理-方法为许多未来的软件系统提供了基础·广泛的范围：基础;技术和应用·世界各地的领先研究人员撰写了章节·涵盖了许多重要的应用·人工智能的原始资料，时间推理·方法为许多未来的软件系统提供了基础目录“时间和时间关联的形式理论”，Lluis Vila。“可能性”，安东尼高尔顿。“时间粒度”，杰罗姆Euzenat和安杰洛Montanari。“时态逻辑的模态变体”，霍华德巴林格和多夫Gabbay。“人工智能中的时间资格”，Han Reichgelt和Lluis Vila。“时间约束问题的计算复杂性”，托马斯Drakengren和Peter Jonsson。“具有时态信息的不定约束数据库：表示能力和计算复杂性”，Manolis Koubarakis。“处理定性时间约束”，阿方索Gerevini。“离散时间逻辑的定理证明”，Mark Reynolds/克莱尔狄克逊。“Probably Temporal Reasoning”，Steve Hanks/大卫马迪根.“时间推理与iff-Abduction”，马克Denecker/克里斯托夫货车Belleghem。“时间描述逻辑”，亚历山德罗·阿特莱/恩里科·弗兰科尼。《逻辑程序设计和动作推理》，Chitta Baral/Michael Gelfond。“时态数据库”Jan Chomicki/大卫托曼。“基于Agent的系统中的时间推理”Michael Fisher/Michael Wooldridge。《Time in Planning》Maris Fox/Derek Long《自动法律的推理中的时间》Lluis Vila/Hajime Yoshino。《自然语言中的时间推理》（Temporal Reasoning in Natural Language），作者：Alice ter Meulen。《医学中的时间推理》Elpida Keravnou/Yuval Shahar。《定性模拟中的时间》（Time in Qualitative Simulation），Dan Clancy/Benjamin Kuipers著。
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 Table of 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.