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
1. Cover image - p. 1 2. Title page - p. 2 3. Title page - p. 4 4. Table of Contents - p. 3 5. Copyright - p. 5 6. Preface - p. 6 7. Contributors - p. 7 8. Chapter 1. Formal Theories of Time and Temporal Incidence - p. 8 9. Chapter 2. Eventualities - p. 10 10. Chapter 3. Time Granularity - p. 13 11. Chapter 4. Modal Varieties of Temporal Logic - p. 20 12. Chapter 5. Temporal Qualification in Artificial Intelligence - p. 21 13. Chapter 6. Computational Complexity of Temporal Constraint Problems - p. 22 14. Chapter 7. Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity - p. 23 15. Chapter 8. Processing Qualitative Temporal Constraints - p. 27 16. Chapter 9. Theorem-Proving for Discrete Temporal Logic - p. 28 17. Chapter 10. Probabilistic Temporal Reasoning - p. 29 18. Chapter 11. Temporal Reasoning with iff-Abduction - p. 30 19. Chapter 12. Temporal Description Logics - p. 32 20. Chapter 13. Logic Programming and Reasoning about Actions - p. 33 21. Chapter 14. Temporal Databases - p. 36 22. Chapter 15. Temporal Reasoning in Agent-Based Systems - p. 39 23. Chapter 16. Time in Planning - p. 40 24. Chapter 17. Time in Automated Legal Reasoning - p. 49 25. Chapter 18. Temporal Reasoning in Natural Language - p. 53 26. Chapter 19. Temporal Reasoning in Medicine - p. 55 27. Chapter 20. Time in Qualitative Simulation - p. 60 28. Bibliography - p. 61 29. Index - p. 97
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
1. Cover image - p. 1 2. Title page - p. 2 3. Title page - p. 4 4. Table of Contents - p. 3 5. Copyright - p. 5 6. Preface - p. 6 7. Contributors - p. 7 8. Chapter 1. Formal Theories of Time and Temporal Incidence - p. 8 9. Chapter 2. Eventualities - p. 10 10. Chapter 3. Time Granularity - p. 13 11. Chapter 4. Modal Varieties of Temporal Logic - p. 20 12. Chapter 5. Temporal Qualification in Artificial Intelligence - p. 21 13. Chapter 6. Computational Complexity of Temporal Constraint Problems - p. 22 14. Chapter 7. Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity - p. 23 15. Chapter 8. Processing Qualitative Temporal Constraints - p. 27 16. Chapter 9. Theorem-Proving for Discrete Temporal Logic - p. 28 17. Chapter 10. Probabilistic Temporal Reasoning - p. 29 18. Chapter 11. Temporal Reasoning with iff-Abduction - p. 30 19. Chapter 12. Temporal Description Logics - p. 32 20. Chapter 13. Logic Programming and Reasoning about Actions - p. 33 21. Chapter 14. Temporal Databases - p. 36 22. Chapter 15. Temporal Reasoning in Agent-Based Systems - p. 39 23. Chapter 16. Time in Planning - p. 40 24. Chapter 17. Time in Automated Legal Reasoning - p. 49 25. Chapter 18. Temporal Reasoning in Natural Language - p. 53 26. Chapter 19. Temporal Reasoning in Medicine - p. 55 27. Chapter 20. Time in Qualitative Simulation - p. 60 28. Bibliography - p. 61 29. Index - p. 97
