{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:20:23Z","timestamp":1725495623220},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052952","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:38:58Z","timestamp":1149651538000},"page":"88-99","source":"Crossref","is-referenced-by-count":2,"title":["MTMM \u2014 Correcting and extending time map management"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Materne","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Hertzberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining Knowledge about Temporal Intervals. C.acm, 26 (1983), 832","journal-title":"C.acm"},{"key":"8_CR2","unstructured":"Allen, J.F.\/ Hayes, P.: Short Time Periods. Proc. IJCAI-87, 981"},{"key":"8_CR3","volume-title":"Tech. Report 433","author":"T.L. Dean","year":"1985","unstructured":"Dean, T.L.: Temporal imagery: An approach to reasoning about time for planning and problem solving. Tech. Report 433, Comp. Sci. Dept., Yale Univ., New Haven CT, 1985"},{"key":"8_CR4","unstructured":"Dean, T.L.\/ Boddy, M.: Incremental Causal Reasoning. Proc. AAAI-87, 196"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"T.L. Dean","year":"1987","unstructured":"Dean, T.L.\/ McDermott, D.V.: Temporal Data Base Management J. Art. Int., 32 (1987), 1","journal-title":"J. Art. Int."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A Truth Maintenance System. Art. Int, 12 (1979), 231","journal-title":"Art. Int"},{"key":"8_CR7","unstructured":"Drabble, B.: Planning and Reasoning with Processes. AIAI-TR-56, Artificial Intelligence Applications Institute, Univ. of Edinburgh, Nov. 1988"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E.\/ Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Art. Int., 2, 189 (1971)","journal-title":"Art. Int."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: Qualitative Process Theory. J. Art. Int., 24 (1984), 85","journal-title":"J. Art. Int."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.\/ Smith, D.E.: Reasoning About Action I: A Possible Worlds Approach. J. Art. Int., 35 (1988), 165","journal-title":"J. Art. Int."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0004-3702(88)90004-5","volume":"36","author":"H.W. G\u00fcsgen","year":"1988","unstructured":"G\u00fcsgen, H.W.\/ Hertzberg, J.: Some Fundamental Properties of Local Constraint Propagation. in: J. Artificial Intelligence, 36, 237 (1988)","journal-title":"J. Artificial Intelligence"},{"key":"8_CR12","unstructured":"Hanks, S.\/ McDermott D.: Temporal Reasoning and Default Logics. YALEU\/CSD\/RR#430, Yale Univ., Dept. of Computer Science, Oct 1985"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"deKleer, J.\/ Brown, J.S.: A Qualitative Physics Based on Confluences. J. Art. Int., 24 (1984), 7","journal-title":"J. Art. Int."},{"key":"8_CR14","unstructured":"Materne, S.: MTMM \u2014 Ein System zur Verwaltung von Zeitverh\u00c4ltnissen. Diploma Thesis, Computer Science Dept., Bonn University, June 1990 (in German). To be published as GMD-Bericht, M\u00fcnchen (Oldenbourg Verlag) 1991"},{"key":"8_CR15","unstructured":"Materne, S.\/ Hertzberg, J.\/ Vo\\, H.: On Clipping Persistence (Or Whatever Must Be Clipped) in Time Maps. Submitted paper."},{"key":"8_CR16","unstructured":"McCarthy, J.\/ Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Mach. Int., 4 (1969)"},{"key":"8_CR17","first-page":"298","volume-title":"Convex Relations Between Time Intervals","author":"K. N\u00f6kel","year":"1989","unstructured":"N\u00f6kel, K.: Convex Relations Between Time Intervals. Proc. \u00f6GAI-89, (Berlin (Springer) 1989), 298"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(88)90078-1","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.\/ McDermott, D.V.: Problems in Formal Temporal Reasoning. Art. Int., 36 (1988), 49","journal-title":"Art. Int."},{"key":"8_CR19","first-page":"246","volume":"PAMI-5","author":"S.A. Vere","year":"1983","unstructured":"Vere, S.A.: Planning in Time: Windows and Durations for Activities and Goals. IEEE Trans. PAMI-5, 246 (1983)","journal-title":"IEEE Trans."},{"key":"8_CR20","first-page":"17","volume":"3","author":"H. Vo\\","year":"1989","unstructured":"Vo\\, H.\/ Linster, M.: Interval-based Envisioning in HIQUAL. Applied Art. Int., 3 (1989), 17","journal-title":"Applied Art. Int."}],"container-title":["Lecture Notes in Computer Science","European Workshop on Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052952.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:07Z","timestamp":1607551207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052952"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540543640"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0052952","relation":{},"subject":[]}}