@inproceedings{cc6f29403115424fa7a6bfb161e185ed,
title = "Machine-checking the timed interval calculus",
abstract = "We describe how we used the interactive theorem prover Isabelle to formalise and check the laws of the Timed Interval Calculus (TIC). We also describe some important corrections to, clarifications of, and flaws in these laws, found as a result of our work.",
keywords = "Automated reasoning, Reasoning about time, Theorem proving",
author = "Dawson, {Jeremy E.} and Rajeev Gor{\'e}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 15th Australian Joint Conference on Artificial Intelligence, AI 2002 ; Conference date: 02-12-2002 Through 06-12-2002",
year = "2002",
doi = "10.1007/3-540-36187-1_9",
language = "English",
isbn = "3540001972",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "95--106",
editor = "Bob McKay and John Slaney",
booktitle = "AI 2002",
address = "Germany",
}