• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 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 [contents]
• 
  Alessandro Artale, Enrico Franconi:
  Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388
• 
  Chitta Baral, Michael Gelfond:
  Logic Programming and Reasoning about Actions. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 389-426
• 
  Howard Barringer, Dov M. Gabbay:
  Modal Varieties of Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 119-165
• 
  Jan Chomicki, David Toman:
  Temporal Databases. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 429-467
• 
  Dan Clancy, Benjamin Kuipers:
  Time in Qualitative Simulation. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 655-664
• 
  Marc Denecker, Kristof Van Belleghem:
  Temporal Reasoning with iff-Abduction. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 343-373
• 
  Thomas Drakengren, Peter Jonsson:
  Computational Complexity of Temporal Constraint Problems. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 197-218
• 
  Jérôme Euzenat, Angelo Montanari:
  Time Granularity. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 59-118
• 
  Michael Fisher, Michael J. Wooldridge:
  Temporal Reasoning in Agent-Based Systems. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 469-495
• 
  Maria Fox, Derek Long:
  Time in Planning. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 497-536
• 
  Antony Galton:
  Eventualities. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 25-58
• 
  Alfonso Gerevini:
  Processing Qualitative Temporal Constraints. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 247-276
• 
  Steve Hanks, David Madigan:
  Probabilistic Temporal Reasoning. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 315-342
• 
  Elpida Keravnou, Yuval Shahar:
  Temporal Reasoning in Medicine. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 587-653
• 
  Manolis Koubarakis:
  Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 219-245
• 
  Alice ter Meulen:
  Temporal Reasoning in Natural Language. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 559-585
• 
  Han Reichgelt, Lluís Vila:
  Temporal Qualification in Artificial Intelligence. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 167-194
• 
  Mark Reynolds, Clare Dixon:
  Theorem-Proving for Discrete Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 279-313
• 
  Lluís Vila:
  Formal Theories of Time and Temporal Incidence. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 1-24
• 
  Lluís Vila, Hajime Yoshino:
  Time in Automated Legal Reasoning. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 537-557
• 
  Bibliography. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 665-722