default search action
Handbook of Temporal Reasoning in Artificial Intelligence 2005
- Michael Fisher, Dov M. Gabbay, Lluís Vila:
Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence 1, Elsevier 2005, ISBN 978-0-444-51493-6 - Lluís Vila:
Formal Theories of Time and Temporal Incidence. 1-24 - Antony Galton:
Eventualities. 25-58 - Jérôme Euzenat, Angelo Montanari:
Time Granularity. 59-118 - Howard Barringer, Dov M. Gabbay:
Modal Varieties of Temporal Logic. 119-165 - Han Reichgelt, Lluís Vila:
Temporal Qualification in Artificial Intelligence. 167-194 - Thomas Drakengren, Peter Jonsson:
Computational Complexity of Temporal Constraint Problems. 197-218 - Manolis Koubarakis:
Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity. 219-245 - Alfonso Gerevini:
Processing Qualitative Temporal Constraints. 247-276 - Mark Reynolds, Clare Dixon:
Theorem-Proving for Discrete Temporal Logic. 279-313 - Steve Hanks, David Madigan:
Probabilistic Temporal Reasoning. 315-342 - Marc Denecker, Kristof Van Belleghem:
Temporal Reasoning with iff-Abduction. 343-373 - Alessandro Artale, Enrico Franconi:
Temporal Description Logics. 375-388 - Chitta Baral, Michael Gelfond:
Logic Programming and Reasoning about Actions. 389-426 - Jan Chomicki, David Toman:
Temporal Databases. 429-467 - Michael Fisher, Michael J. Wooldridge:
Temporal Reasoning in Agent-Based Systems. 469-495 - Maria Fox, Derek Long:
Time in Planning. 497-536 - Lluís Vila, Hajime Yoshino:
Time in Automated Legal Reasoning. 537-557 - Alice ter Meulen:
Temporal Reasoning in Natural Language. 559-585 - Elpida Keravnou, Yuval Shahar:
Temporal Reasoning in Medicine. 587-653 - Dan Clancy, Benjamin Kuipers:
Time in Qualitative Simulation. 655-664 - Bibliography. 665-722
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.