{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:17Z","timestamp":1725493457470},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664956"},{"type":"electronic","value":"9783540482383"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48238-5_27","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T14:18:54Z","timestamp":1193494734000},"page":"299-302","source":"Crossref","is-referenced-by-count":0,"title":["Improving Reasoning Efficiency for Subclasses of Allen\u2019s Algebra with Instantiation Intervals"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Kahl","sequence":"first","affiliation":[]},{"given":"Lothar","family":"Hotz","sequence":"additional","affiliation":[]},{"given":"Heiko","family":"Milde","sequence":"additional","affiliation":[]},{"given":"Stephanie E.","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J. F.: Towards a general theory of action and time, in: Artificial Intelligence 23, 1984.","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Gerevini, A., Schubert, L.: Efficient algorithms for qualitative reasoning about time, in: Artificial Intelligence 74, 1995.","DOI":"10.1016\/0004-3702(94)00016-T"},{"key":"27_CR3","unstructured":"Jonsson, P., Backstrom, C.: A Linear-Programming Approach to Temporal Reasoning, in: Proceedings AAAI-\u201996, 1996."},{"key":"27_CR4","unstructured":"Kautz, H. A., Ladkin, P. B.: Integrating metric and qualitative temporal reasoning, in: Proceedings AAAI-\u201991, 1991."},{"key":"27_CR5","unstructured":"Kockskaemper, S.: Modeling and Prediction of Dynamic Behavior for Model-based Diagnosis, in: Proceedings IEA\/AIE-95, 1995."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Koubarakis, M.: Tractable Disjunctions of Linear Constraints, in: CP-\u201996, 1996.","DOI":"10.1007\/3-540-61551-2_82"},{"key":"27_CR7","unstructured":"Ladkin, P. B., Maddux, R.: On binary constraint networks, Technical Report, Kestrel Institute, 1988."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Nebel, B., Buerckert, H.-J.: Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra, in: Journal of the ACM 42, 1995.","DOI":"10.1145\/200836.200848"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations, in: Cmputational Intelligence 6 (1990), 1990.","DOI":"10.1111\/j.1467-8640.1990.tb00130.x"},{"key":"27_CR10","unstructured":"Vilain, M. B., Kautz, H.: Constraint propagation algorithms for temporal reasoning, in: Proceedings AAAI-\u201986, 1986."}],"container-title":["Lecture Notes in Computer Science","KI-99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48238-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:13:52Z","timestamp":1556921632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48238-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664956","9783540482383"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48238-5_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}