{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:51Z","timestamp":1725488211938},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644064"},{"type":"electronic","value":"9783540697787"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69778-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T09:02:30Z","timestamp":1186218150000},"page":"108-123","source":"Crossref","is-referenced-by-count":5,"title":["A Tableau Method for Interval Temporal Logic with Projection"],"prefix":"10.1007","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,7,21]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: A framework for programming in temporal logic. In Lecture Notes in Artificial Intelligence, vol. 430. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52559-9_62"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"M. Ben-Ari, Z. Manna, and A. Pnueli. The temporal logic of branching time. In 8th ACM Symposium on Principles of Programming Languages, pages 164\u2013176. ACM, 1981.","DOI":"10.1145\/567532.567551"},{"key":"17_CR3","unstructured":"Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Specification and prototyping of structured multimedia documents using interval temporal logic. In ICTL\u201997, International Conference on Temporal Logic, Manchester. Kluwer, Applied Logic Series, 1997."},{"key":"17_CR4","unstructured":"Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Specification and prototyping of structured multimedia documents using interval temporal logic. Technical Report 3-97 (Kent), Computing Laboratory, University of Kent, 1997."},{"key":"17_CR5","unstructured":"Howard Bowman and Simon Thompson. A tableau method for interval temporal logic. Technical Report 12-97, Computing Laboratory, University of Kent, 1997."},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Softward (ARTS\u201997)","author":"A. Cau","year":"1997","unstructured":"A. Cau and H. Zedan. Refining interval temporal logic specifications. In Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Softward (ARTS\u201997), LNCS 1231, May 1997."},{"key":"17_CR7","unstructured":"Z. H. Duan. An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming. PhD thesis, University of Newcastle Upon Tyne, May 1996."},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Dov Gabbay. The declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification. Lecture Notes In Computer Science 389, Springer-Verlag, 1989."},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/3-540-51803-7_35","volume-title":"Using temporal logic for prototyping: the design of a lift controller","author":"R. Hale","year":"1989","unstructured":"R. Hale. Using temporal logic for prototyping: the design of a lift controller. In Lecture Notes in Computer Science, vol. 379, pages 375\u2013408. Springer-Verlag, 1989."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"S. Kono. A combination of clausal and non-clausal temporal logic programs. In Lecture Notes in Artificial Intelligence, vol. 897, pages 40\u201357. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-58976-7_3"},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Conference on Logics of Programs","author":"O. Lichtensteim","year":"1985","unstructured":"O. Lichtensteim, A. Pnueli, and L. Zuck. The glory of the past. In Proceedings of Conference on Logics of Programs, LNCS 193. Springer-Verlag, 1985."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"T. Melham. Higher Order Logic and Hardware Verification. Cambridge Tracts in Theoretical Computer Science (31), 1993.","DOI":"10.1017\/CBO9780511569845"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic. Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"N. Rescher and A. Urquart. Temporal Logic. Springer-Verlag, 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"17_CR16","unstructured":"R. Rosner and A. Pnueli. A choppy logic. In Proceedings of 1st IEEE Symposium on Logic in Computer Science, pages 306\u2013314. IEEE, 1986."},{"key":"17_CR17","unstructured":"Simon Thompson. Constructive interval temporal logic in alf. In ICTL\u201997, International Conference on Temporal Logic, Manchester. Kluwer, Applied Logic Series, 1997."},{"key":"17_CR18","first-page":"72","volume":"56","author":"P. Wolper","year":"1983","unstructured":"P. Wolper. Temporal logic can be more expressive. Information and Computation, 56:72\u201399, 1983.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69778-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:07:19Z","timestamp":1556737639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69778-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644064","9783540697787"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-69778-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}