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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162579897 | ||
| 003 | OCoLC | ||
| 005 | 20231117014954.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2005 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OKU |d OPELS |d OCLCQ |d N$T |d YDXCP |d MERUC |d ZCU |d E7B |d IDEBK |d OCLCQ |d OCLCF |d UIU |d OCLCQ |d EBLCP |d OCLCQ |d CASUM |d DEBSZ |d FEM |d OCLCQ |d STF |d D6H |d CHVBK |d NLE |d OCLCQ |d UKMGB |d LEAUB |d OL$ |d OCLCO |d UKBTH |d OCLCQ |d OCLCA |d OCLCQ |d VLY |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 015 | |a GBB6H5204 |2 bnb | ||
| 016 | 7 | |a 017584284 |2 Uk | |
| 019 | |a 173500306 |a 441817495 |a 507217089 |a 648315652 |a 968094365 |a 969069384 |a 1035695718 |a 1113700838 |a 1162298662 | ||
| 020 | |a 9780080533360 |q (electronic bk.) | ||
| 020 | |a 0080533361 |q (electronic bk.) | ||
| 020 | |a 1281119733 | ||
| 020 | |a 9781281119735 | ||
| 020 | |a 9786611119737 | ||
| 020 | |a 6611119736 | ||
| 020 | |z 9780444514936 | ||
| 020 | |z 0444514937 | ||
| 035 | |a (OCoLC)162579897 |z (OCoLC)173500306 |z (OCoLC)441817495 |z (OCoLC)507217089 |z (OCoLC)648315652 |z (OCoLC)968094365 |z (OCoLC)969069384 |z (OCoLC)1035695718 |z (OCoLC)1113700838 |z (OCoLC)1162298662 | ||
| 050 | 4 | |a QA76.9.D3 |b H34733 2005eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 080 | |a 518.81 | ||
| 082 | 0 | 4 | |a 005.75 |2 22 |
| 084 | |a 54.72 |2 bcl | ||
| 245 | 0 | 0 | |a Handbook of temporal reasoning in artificial intelligence / |c edited by M. Fisher, D. Gabbay, L. Vila. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam ; |a Boston : |b Elsevier, |c 2005. | ||
| 300 | |a 1 online resource (xviii, 731 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Foundations of artificial intelligence ; |v v. 1 | |
| 504 | |a Includes bibliographical references (pages 665-722) and index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Temporal databases. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Reasoning. | |
| 650 | 1 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 |
| 650 | 6 | |a Bases de donn�ees spatio-temporelles. |0 (CaQQLa)201-0244241 | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Reasoning |2 fast |0 (OCoLC)fst01091282 | |
| 650 | 7 | |a Temporal databases |2 fast |0 (OCoLC)fst01147471 | |
| 655 | 4 | |a Internet Resources. | |
| 700 | 1 | |a Fisher, Michael, |d 1962- | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Vila, L. |q (Lluis) | |
| 776 | 0 | 8 | |i Print version: |t Handbook of temporal reasoning in artificial intelligence. |b 1st ed. |d Amsterdam ; Boston : Elsevier, 2005 |z 0444514937 |z 9780444514936 |w (DLC) 2005042501 |w (OCoLC)57506875 |
| 830 | 0 | |a Foundations of artificial intelligence (Elsevier) ; |v v. 1. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444514936 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=15746526&volume=1 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/15746526/1 |z Texto completo |