{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:34:38Z","timestamp":1725737678979},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189039"},{"type":"electronic","value":"9783642734052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-73405-2_5","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T23:43:51Z","timestamp":1372203831000},"page":"183-244","source":"Crossref","is-referenced-by-count":0,"title":["Qualitative Modelle in Wissensbasierten Systemen"],"prefix":"10.1007","author":[{"given":"Frank","family":"Puppe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vo\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Artificial Intelligence (1984), Vol.24, Numbers 1\u20133, Special Volume on Qualitative Reasoning about Physical Systems","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1984","unstructured":"Allen, James F.: Maintaining Knowledge about Temporal Intervals, CACM, Vol.26, No.11, 832\u2013843","journal-title":"CACM"},{"key":"5_CR3","unstructured":"Blum,Norbert : Fehlererkennung in kombinatorischen Schaltkreisen, SFB 124-B2, Bericht 10\/1985, Fachbereich 10 der Universit\u00e4t des Saarlandes, Saarbr\u00fccken"},{"key":"5_CR4","unstructured":"Charniak, Eugene; McDermott, Drew : Introduction to Artificial Intelligence, Addison Wesley"},{"key":"5_CR5","first-page":"3","volume-title":"Expert Systems: Where are we? and where do we go from here","author":"R Davis","year":"1982","unstructured":"Davis, Randall: Expert Systems: Where are we? and where do we go from here?, AI-Magazine, Spring 1982, pp. 3\u201322"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Davis, Randall: Diagnostic Reasoning Based on Structure and Behavior, in [AI-Journal 84], pp.347\u2013410","DOI":"10.1016\/B978-0-444-87670-6.50010-8"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"de Kleer, Johan How Circuits Work, [AI-Journal 84], pp. 205\u2013280","DOI":"10.1016\/B978-0-444-87670-6.50008-X"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"de Kleer, Johan: An Assumption-Based TMS, draft version, to appear in Artificial Intelligence, 1986","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"5_CR9","unstructured":"de Kleer, Johan; Bobrow, Daniel G. : Qualitative Reasoning with Higher-Order Derivatives, in Proc. AAAI-84, pp. 86\u201391"},{"key":"5_CR10","unstructured":"de Kleer, Johan; Brown, John S. Assumptions and Ambiguities in Mechanistic Mental Models, in D. Gentner\/ A. L. Stevens (Eds.): Mental Models, Lawrence Erlbaum Associates"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"de Kleer, Johan; Brown, John S. : A Qualitative Physics Based on Confluences, in [AI-Journal 84], pp 7\u201383","DOI":"10.1016\/B978-0-444-87670-6.50005-4"},{"key":"5_CR12","unstructured":"de Kleer, Johan; Williams, Brian C.: Diagnosing Multiple Faults, draft of September 85, Intelligent Systems Lab., XEROX Palo Alto Research Center"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Descotte, Y; Latombe, J. C.: Making Compromises among Antagonist Constraints in a Planner, Artificial Intelligence, Vol.27, No.2, pp. 183\u2013217","DOI":"10.1016\/0004-3702(85)90053-0"},{"key":"5_CR14","unstructured":"Dilger, Werner: Expertensysteme f\u00fcr technische Anwendungen, Manuskript zur gteichnamigen Vorlesung im Wintersemester 1985\/86 an der Universit\u00e4t Kaiserslautern"},{"key":"5_CR15","unstructured":"Dilger, Werner; Kippe, Jorg: COMODEL, a Language for the Representation of Technical Knowledge, Proc. 9th International Conference on Artificial Intelligence, Los Angeles, pp. 353\u2013358"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Doyle, Jon A Truth Maintenance System, Artificial Intelligence Vol 12 (1979), pp. 231\u2013272","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Forbus, Kenneth D.: Qualitative Process Theory, in [At-Journal 84], pp. 85\u2013168","DOI":"10.1016\/B978-0-444-87670-6.50006-6"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Genesereth, Michael R. : The Use of Design Descriptions in Automated Diagnosis, in [AI-Journal 84], pp. 411\u2013436","DOI":"10.1016\/B978-0-444-87670-6.50011-X"},{"key":"5_CR19","unstructured":"Gentner, Dedre; Stevens, A. L. (eds) : Mental Models, Lawrence Erlbaum Associates"},{"key":"5_CR20","unstructured":"Hayes, Patrick J. The Naive Physics Manifesto, in Michie, D. (ed), Expert Systems in the Microelectronic Age,Edinburgh university Press, pp. 242\u2013270"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Hayes, Patrick J. The Second Naive Physics Manifesto, in Hobbs, Jerry R.; Moore, Robert C. (eds), Formal Theories of the Commonsense World, Ablex Series in Artificial Intelligence, pp. 1\u201336","DOI":"10.1016\/B978-1-4832-1447-4.50010-9"},{"key":"5_CR22","unstructured":"Hayes, Patrick J. Naive Physics I : Ontology for Liquids, ebenda, pp.71\u2013107"},{"key":"5_CR23","unstructured":"Iwasaki, Yumi; Simon, Herbert A.: Causality in Device Behavior, Carnegie-Mellon University, Computer Science Department, CMU-CS-85\u2013118"},{"key":"5_CR24","unstructured":"Klaeren, Herbert A. :Algebraische che gpez~rikationei,eine Elnf\u00fchrung, sprinter-verla"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"[Kuipers 84~ ~uipers, ~~njamin Commonse~se keasoning about Causality: Deriving Behavior from Structure, in [AI-Journal 84], pp. 169\u2013203","DOI":"10.1016\/B978-0-444-87670-6.50007-8"},{"key":"5_CR26","unstructured":"Long, W. J.; Naimi, S.; Criscitiello, M. G.; Kurzrok, S.: Reasoning about Therapy from a Physiological Model, MIT Laboratory for Computer Science, submitted to MEDINFO 86"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Mason, Samual J.: Feedback Theory - Further Properties of Signal Graphs, Proc. of the IRE, 1956, 44: 920\u2013926","DOI":"10.1109\/JRPROC.1956.275147"},{"key":"5_CR28","unstructured":"McCarthy. John : Programs with Common Sense, in Minsky, Marvin (ed), Semantic Information Processing, MIT press, pp.403\u2013418. Diese Arbeit enth\u00e4lt Material, das bereits in den Jahren 1958 und 1963 erstmalig ver\u00f6ffentlicht wurde"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"McCarthy, John; Hayes, Patrick J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Meltzer, B.; Michie, D. (eds), Machine Intelligence 4, Edinburgh University Press","DOI":"10.1016\/B978-0-934613-03-3.50033-7"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"McDermott, Drew: A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science 6, pp. 101\u2013155","DOI":"10.1207\/s15516709cog0602_1"},{"key":"5_CR31","unstructured":"Patil, Ramesh S.: Causal Representation of Patient Illness for Electrolyte and Acid-Base Diagnosis, MIT\/LCS\/TR-267, Massachusetts Institute of TechnoLogy"},{"key":"5_CR32","unstructured":"PopLe, H.: Heuristic Methods for Imposing Structure on Ill-structured Problems, in Szolovits, P. (ed.), Artificial IntelLigente in Medicine, AAAS Selected Symposium 51"},{"key":"5_CR33","unstructured":"Raulefs, Peter : Foundations of Expert Systems for ConceptuaL Design in Mechanical Engineering, Memo SEKI-84\u201308, Fachbereich Informatik, Universit\u00e4t Kaiserslautern"},{"key":"5_CR34","unstructured":"Reinfrank, Michael Th. : An Introduction to Non-Monotonic Reasoning, Memo SEKI-85\u201302, Fachbereich Informatik, Universit\u00e4t Kaiserslautern"},{"key":"5_CR35","unstructured":"Reinfrank, Michael Th.: SCENELAB, Scene Labelling by a Society of Agents. A Distributed Constraint Propagation System., Memo SEKI-85\u201306, Fachbereich Informatik, Universit\u00e4t Kaiserslautern"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Rieger, Chuck; Grinberg, Milt : The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms, Proc. 5th International Joint Conference on Artificial Intelligence, pp.250\u2013256","DOI":"10.1016\/B978-1-4832-1447-4.50065-1"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Roth, J. P.: Diagnosis of Automata Failures: A Calculus and a Method, IBM Research Development 10, pp.278\u2013291","DOI":"10.1147\/rd.104.0278"},{"key":"5_CR38","unstructured":"Schwind, Camilla B.: Temporal Logic in Artificial Intelligence, in Proc. GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst\/Stade"},{"key":"5_CR39","unstructured":"Shirley, M.; Davis, R.: Digital Test Generation from Hierarchical Models and Symptom Information, Proc. IEEE International Conference on Computer Design"},{"key":"5_CR40","unstructured":"Silverberg, Brad A., An Overview of the SRI Hierar chical Development Methodology, Horst H\u00fcnke (ed), Software Engineering Environments, North Holland"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Stallman, R. M.; Sussmanl G. J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence Vol.9 1 pp.135\u2013196","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Sussman l Gerald; Steele l Guy Lewis Jr.: CONSTRAINTS \u2013 a Language for Expressing ALmost-Hierarchical Descriptions, Artificial Intelligence 14, pp. 1\u201340","DOI":"10.1016\/0004-3702(80)90032-6"},{"key":"5_CR43","unstructured":"Steele, Guy Lewis Jr.: The Definition and Implementation of a Computer Programming Language Based on Constraints, MIT AI-Lab., AI-TR-595"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Voss, Hans: Representing and Analyzing Time and Causality in HIQUAL Models, Memo SEKI-85\u201307, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, erscheint 1986 in Proc. 9th German Workshop on Artificial Intelligence, Springer-Verlag","DOI":"10.1007\/978-3-642-71145-9_23"},{"key":"5_CR45","unstructured":"Voss, Angi; Voss, Hans: A Uniform View on Local Constraint Propagation Methods, draft"},{"key":"5_CR46","unstructured":"Waltz, David: Understanding Line Drawings of Scenes with Shadows, in \u2018The Psychology of Computer Vision\u2019, P. H. Winston (ed.), McGraw-Hill Book Company 1975 1 pp. 19\u201391"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Williams, Brian C.: Qualitative Analysis of MOS Circuits, in [AI-Journal 84], pp. 281\u2013346","DOI":"10.1016\/B978-0-444-87670-6.50009-1"}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73405-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,26]],"date-time":"2022-02-26T10:30:16Z","timestamp":1645871416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73405-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189039","9783642734052"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73405-2_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}