Cargando…
Handbook of temporal reasoning in artificial intelligence /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Elsevier,
2005.
|
| Edición: | 1st ed. |
| Colección: | Foundations of artificial intelligence (Elsevier) ;
v. 1. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Formal theories of time and temporal incidence / Lluis Vila
- Eventualities / Antony Galton
- Time granularity / J�er�ome 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 and Clare Dixon
- Probabilistic temporal reasoning / Steve Hanks and David Madigan
- Temporal reasoning with iff-abduction / Marc Denecker and Kristof Van Belleghem
- Temporal description logics / Alessandro Artale and Enrico Franconi
- Logic programming and reasoning about actions / Chitta Baral and Michael Gelfond
- Temporal databases / Jan Chomicki and David Toman
- Temporal reasoning in agent-based systems / Michael Fisher and Michael Wooldridge
- Time in planning / Maria Fox and Derek Long
- Time in automated legal reasoning / Lluis Vila and Hajime Yoshino
- Temporal reasoning in natural language / Alice ter Meulen
- Temporal reasoning in medicine / Elpida Keravnou and Yuval Shahar
- Time in qualitative simulation / Dan Clancy and Benjamin Kuipers.