{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:44Z","timestamp":1725634184401},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164517"},{"type":"electronic","value":"9783642711459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71145-9_23","type":"book-chapter","created":{"date-parts":[[2011,11,15]],"date-time":"2011-11-15T08:40:16Z","timestamp":1321346416000},"page":"259-271","source":"Crossref","is-referenced-by-count":2,"title":["Representing and Analyzing Time and Causality in HIQUAL Models"],"prefix":"10.1007","author":[{"given":"Hans","family":"Voss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","volume":"24","author":"AI-Journal 84","year":"1984","unstructured":"AI-Journal 84: Artificial Intelligence (1984), Vol.24, Numbers 1\u20133, Special Volume on Qualitative Reasoning about Physical Systems.","journal-title":"Artificial Intelligence"},{"issue":"11","key":"23_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, James F. (1983): Maintaining Knowledge about Temporal Intervals, CACM, Vol.26, No.11, 832\u2013843.","journal-title":"CACM"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"JF Allen","year":"1984","unstructured":"Allen, James F. (1984): Towards a General Theory of Action and Time, Artificial Intelligence, Vol.23, 123\u2013154.","journal-title":"Artificial Intelligence"},{"key":"23_CR4","volume-title":"Entwurf und Implementierung von CSSA, Memo SEKI-82-03","author":"C Beilken","year":"1982","unstructured":"Beilken, Christian; Mattern, Friedemann; Spenke, Michael (1982): Entwurf und Implementierung von CSSA, Memo SEKI-82-03 (6 volumes), Fachbereich Informatik, Universitaet Kaiserslautern."},{"issue":"1","key":"23_CR5","first-page":"9","volume":"IV","author":"B Chandrasekaran","year":"1983","unstructured":"Chandrasekaran, B. (1983): Towards a Taxonomy of Problem Solving, AI Magazine, Vol.IV, No.1, 9\u201317.","journal-title":"AI Magazine"},{"key":"23_CR6","first-page":"155","volume-title":"Mental Models","author":"K Johan de","year":"1983","unstructured":"de Kleer, Johan; Brown, John S. (1983): Assumptions and Ambiguities in Mechanistic Mental Models, in D. Gentner\/ A. L. Stevens (Eds.): Mental Models, Lawrence Erlbaum Associates, 155\u2013190."},{"key":"23_CR7","first-page":"7","volume":"84","author":"K Johan de","year":"1984","unstructured":"de Kleer. Johan; Brown, John S. (1984): A Qualitative Physics Based on Confluences, in [AI Journal 84], 7\u201383.","journal-title":"AI Journal"},{"key":"23_CR8","first-page":"85","volume":"84","author":"KD Forbus","year":"1984","unstructured":"Forbus, Kenneth D. (1984): Qualitative Process Theory, in [AI Journal 84], 85\u2013168.","journal-title":"AI Journal"},{"key":"23_CR9","volume-title":"Ereignisnetze: Zeitnetze und referentielle Netze","author":"S Guenther","year":"1983","unstructured":"Guenther, Siegfried; Habel, Christopher; Rollinger, Claus-Rainer (1983): Ereignisnetze: Zeitnetze und referentielle Netze, KIT Report 12, Fachbereich Informatik, Technische Universitaet Berlin."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1056663.1056664","volume":"79","author":"PE Hart","year":"1982","unstructured":"Hart, P.E. (1982): Direction for AI in the Eighties, SIGART Newsletter, 79:11\u201316.","journal-title":"SIGART Newsletter"},{"key":"23_CR11","volume-title":"Memo SEKI-84-08","author":"P Raulefs","year":"1984","unstructured":"Raulefs, Peter (1984): Foundation of Expert Systems for Conceptional Design in Mechanical Engineering, Memo SEKI-84-08, Fachbereich Informatik, Universitaet Kaisers lautern."},{"key":"23_CR12","volume-title":"Diplomarbeit","author":"W Scherer","year":"1985","unstructured":"Scherer, Werner (1985): Ein Repraesentationssystem fuer hierarchisch strukturiertes Tiefenwissen, Diplomarbeit, Fachbereich Informatik, Universitaet Kaiserslautern."},{"key":"23_CR13","volume-title":"The Definition and Implementation of a Computer Programming Language Based on Constraints","author":"GL Steele","year":"1980","unstructured":"Steele, Guy Lewis Jr. (1980): The Definition and Implementation of a Computer Programming Language Based on Constraints, AI-TR-595, MIT AI-LAB."},{"key":"23_CR14","first-page":"197","volume-title":"A System for Reasoning about Time","author":"MB Vilain","year":"1982","unstructured":"Vilain, Marc B. (1982): A System for Reasoning about Time, Proceedings of AAAI-82, National Conference on Artificial Intelligence, 197\u2013201."}],"container-title":["Informatik-Fachberichte","GWAI-85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71145-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:55:57Z","timestamp":1606240557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71145-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164517","9783642711459"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71145-9_23","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}