{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:12:25Z","timestamp":1725631945210},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540523376"},{"type":"electronic","value":"9783540469650"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52337-6_25","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T21:16:49Z","timestamp":1320873409000},"page":"190-207","source":"Crossref","is-referenced-by-count":0,"title":["Sorts in qualitative reasoning"],"prefix":"10.1007","author":[{"given":"Werner","family":"Dilger","sequence":"first","affiliation":[]},{"given":"Hans","family":"Vo\u00df","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"11","key":"11_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen: Maintaining knowledge about temporal intervals. CACM 26.11 (1983) 832\u2013843.","journal-title":"CACM"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"D.G. Bobrow (ed.): Qualitative reasoning about physical systems. Special volume of AI. AI 24 (1984).","DOI":"10.1016\/B978-0-444-87670-6.50004-2"},{"key":"11_CR3","first-page":"7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"J. de Kleer, J.S. Brown: A qualitative physics based on confluences. AI 24 (1984) 7\u201383.","journal-title":"AI"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/978-1-4684-3384-5_14","volume-title":"Logic and data bases","author":"W. Dilger","year":"1978","unstructured":"W. Dilger, G. Zifonun: The predicate calculus-language KS as query language. In: H. Gallaire, J. Minker (eds.): Logic and data bases, Plenum Press, New York 1978, 377\u2013408."},{"key":"11_CR5","unstructured":"W. Dilger, J. Kippe: COMODEL: A language for the representation of technical knowledge. In: Proceedings of IJCAI 85, Los Angeles 1985, 352\u2013358."},{"key":"11_CR6","series-title":"TEX-B Memo","volume-title":"Composing qualitative models","author":"W. Dilger","year":"1988","unstructured":"W. Dilger: Composing qualitative models. TEX-B Memo 39-88, FhG-IITB, Karlsruhe 1988."},{"key":"11_CR7","first-page":"85","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"K.D. Forbus: Qualitative process theory. AI 24 (1984) 85\u2013168.","journal-title":"AI"},{"key":"11_CR8","unstructured":"P.J. Hayes: A logic of actions. In: Machine Intelligence 6, Edinburgh University Press 1971, 495\u2013520."},{"key":"11_CR9","unstructured":"P.J. Hayes: The naive physics manifesto. In: D. Michie (ed.), Expert Systems in the Micro-Electronic Age,Edinburgh University Press 1979, 242\u2013270."},{"key":"11_CR10","first-page":"46","volume-title":"Frame conceptions and text understanding","author":"P.J. Hayes","year":"1980","unstructured":"P.J. Hayes: The logic of frames. In: D. Metzing (ed.): Frame conceptions and text understanding, de Gruyter, Berlin 1980, 46\u201361."},{"key":"11_CR11","first-page":"227","volume-title":"Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungs-verfahren","author":"A. Janson-Fleischmann","year":"1988","unstructured":"A. Janson-Fleischmann, G. Sutschet: A process oriented approach for qualitative modelling and analysis of dynamical systems. In: H.-W. Fr\u00fcchtenicht et al. (eds.): Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungs-verfahren, Oldenbourg-Verlag, M\u00fcnchen 1988, 227\u2013247."},{"key":"11_CR12","first-page":"155","volume-title":"Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungsverfahren","author":"J. Kippe","year":"1988","unstructured":"J. Kippe: Komponentenorientierte Repr\u00e4sentation technischer Systeme. In: H.-W. Fr\u00fcchtenicht et al. (eds.): Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungsverfahren, Oldenbourg-Verlag, M\u00fcnchen 1988, 155\u2013226."},{"key":"11_CR13","first-page":"169","volume":"24","author":"B. Kuipers","year":"1984","unstructured":"B. Kuipers: Commonsense reasoning about causality: Deriving behavior from structure. AI 24 (1984) 169\u2013203.","journal-title":"AI"},{"key":"11_CR14","unstructured":"J. McCarthy, P.J. Hayes: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence 4, Edinburgh University Press 1969, 463\u2013502."},{"key":"11_CR15","unstructured":"A. Oberschelp: Order Sorted Predicate Logic. This volume."},{"key":"11_CR16","first-page":"329","volume-title":"Representation and meaning","author":"H.R. Pople","year":"1972","unstructured":"H.R. Pople: A goal-oriented language for the computer. In: H.A. Simon, L. Siklossy (eds.): Representation and meaning, Prentice Hall, Englewood Cliffs, NJ, 1972, 329\u2013413."},{"key":"11_CR17","unstructured":"E. Sandewall: Representing natural language information in predicate calculus. In: Machine Intelligence 6, Edinburgh University Press 1971, 255\u2013277."},{"key":"11_CR18","first-page":"23","volume-title":"Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungsverfahren","author":"P. Struss","year":"1988","unstructured":"P. Struss: Assumption-based reasoning about device models. In: H.-W. Fr\u00fcchtenicht et al. (eds.): Technische Expertensysteme: Wissensrepr\u00e4sentation und Schlussfolgerungsverfahren, Oldenbourg-Verlag, M\u00fcnchen 1988, 23\u201354."},{"key":"11_CR19","unstructured":"H. Voss: Representing and analyzing causal, temporal, and hierarchical relations of devices. Ph.D. Thesis, University of Kaiserslautern, 1986."}],"container-title":["Lecture Notes in Computer Science","Sorts and Types in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52337-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:07:47Z","timestamp":1619572067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52337-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540523376","9783540469650"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-52337-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}