Handbook of temporal reasoning in artificial intelligence. (2005)

• Record Type: Book
• Further Information: Note: Edited by M. Fisher, D. Gabbay, L. Vila.
• Other Names: Fisher, Michael, 1962-; Gabbay, Dov M, 1945-; Vila, L (Lluis)
• Contents: Formal theories of time and temporal incidence / Lluis Vila -- Eventualities / Antony Galton -- Time granularity / Jérôme 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.
• Publisher Details: Amsterdam Boston : Elsevier
• Publication Date: 2005
• Extent: 1 online resource (xviii, 731 pages), illustrations
• Subjects: 005.75; Temporal databases; Artificial intelligence; Reasoning; COMPUTERS -- Data Processing; Artificial intelligence; Reasoning; Temporal databases; Artificial Intelligence; Electronic books
• Languages: English
• ISBNs: 9780080533360; 0080533361
• Related ISBNs: 9780444514936; 0444514937
• Notes: Note: Includes bibliographical references (pages 665-722) and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.