


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














