"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.
* 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
Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
Ask a Question About this Product More... |