{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:43:51Z","timestamp":1725626631208},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151906"},{"type":"electronic","value":"9783642702839"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70283-9_2","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T13:45:55Z","timestamp":1319723155000},"page":"48-93","source":"Crossref","is-referenced-by-count":7,"title":["Techniken der Wissensdarstellung"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Laubsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"131","volume-title":"Machine Intelligence","author":"S Amarel","year":"1968","unstructured":"Amarel, S. On Representation of Problems of Reasoning about Actions. In: D. Michie (Ed.) Machine Intelligence 8, Elsevier, NY, 1968, 131\u2013171."},{"key":"2_CR2","volume-title":"MIT AI-Memo 64?","author":"G Attardi","year":"1981","unstructured":"Attardi, G. & M. Simi Semantics of Inheritance and Attributions in the Description System Omega. MIT AI-Memo 64?, 1981."},{"key":"2_CR3","volume-title":"The Problem of Knowledge","author":"AJ Ayer","year":"1956","unstructured":"Ayer, A.J. The Problem of Knowledge. Penguin Books, Baltimore, 1956."},{"volume-title":"The Handbook of Artificial Intelligence","year":"1981","key":"2_CR4","unstructured":"Barr, A. & E. Feigenbaum (Eds.) The Handbook of Artificial Intelligence. Kaufmann, Los Altos, CA, 1981."},{"key":"2_CR5","volume-title":"A Multiple-Context Equality-based Reasoning System","author":"GE Barton","year":"1983","unstructured":"Barton, G,E. A Multiple-Context Equality-based Reasoning System. MIT AI-Lab.,Tech. Rep. No 715, Cambridge, MA., 1983."},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1207\/s15516709cog0101_2","volume":"1","author":"DG Bobrow","year":"1977","unstructured":"Bobrow, D.G. & T. Winograd An Overview of KRL, a Knowledge Representation Language. Cognitive Science, 1, 1, 1977, 3\u201346.","journal-title":"Cognitive Science"},{"key":"2_CR7","volume-title":"The LOOPS Manual","author":"DG Bobrow","year":"1983","unstructured":"Bobrow, D.G. & M. Stefik The LOOPS Manual. Xerox PARC, Palo Alto, CA, 1983."},{"key":"2_CR8","volume-title":"Structural Paradigm for Representing Knowledge","author":"RJA Brachman","year":"1984","unstructured":"Brachman, R. J. A Structural Paradigm for Representing Knowledge. BBN, Tech. Rep. No. 3605, 1978. Erscheint bei: Ablex Publ. Co. Norwood, N.J., 1984."},{"key":"2_CR9","volume-title":"Erscheint in: Cognitive Science","author":"RJ Brachman","year":"1984","unstructured":"Brachman, R. J. An Overview of the KL-ONE Knowledge Representation System. Erscheint in: Cognitive Science, 1984."},{"key":"2_CR10","series-title":"Fairchild Techn. Rep.","volume-title":"Krypton: A Functional Approach to Knowledge Representation","author":"RJ Brachman","year":"1983","unstructured":"Brachman, R.J., R.E. Fikes & H.J. Levesque Krypton: A Functional Approach to Knowledge Representation. Fairchild Techn. Rep. No. 639, Fairchild Lab. for AI Res., Palo Alto, 1983. (Gek\u00fcrzt in: IEEE Computer, Special Issue on Knowledge Representation, Vol. 16, October 1983, 67\u201373 )."},{"key":"2_CR11","volume-title":"Proc. AAAI-84","author":"RJ Brachman","year":"1984","unstructured":"Brachman, R.J. & H.J. Levesque The Tractability of Subsumption in Frame-Based Description Languages. In: Proc. AAAI-84, 1984."},{"key":"2_CR12","volume-title":"NIL Reference Manual","author":"GS Burke","year":"1984","unstructured":"Burke, G.S., G.J. Carrette & C.R. Eliot NIL Reference Manual, MIT\/LCS\/TR-311, Cambridge, MA, 1984."},{"key":"2_CR13","volume-title":"Artificial Intelligence Programming","author":"E Charniak","year":"1980","unstructured":"Charniak, E., Riesbeck, C.K. & McDermott, D.V Artificial Intelligence Programming. Lawrence Erlbaum, Hillsdale, N.J. 1980."},{"key":"2_CR14","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1981","unstructured":"Clocksin, W.F. & C.F. Mellish Programming in Prolog. Springer Verlag, Berlin, 1981."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Davis, R. Interactive Transfer of Expertise: Acquisition of Mew Inference Rules. Proc. IJCAI-77.","DOI":"10.1016\/B978-0-934613-03-3.50031-3"},{"key":"2_CR16","series-title":"Artificial Intelligence","volume-title":"Production Rules as a Representation for a Knowledge-Based Consultation Program","author":"R Davis","year":"1977","unstructured":"Davis, R., B. Buchanan & T. Shortliffe Production Rules as a Representation for a Knowledge-Based Consultation Program. Artificial Intelligence, No. 1, 1977."},{"key":"2_CR17","volume-title":"MIT-Memo","author":"J Kleer de","year":"1977","unstructured":"de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman Explicit Control of Reasoning. MIT-Memo 427, MIT-AI-Lab, Cambridge, MA, 1977a."},{"key":"2_CR18","series-title":"MIT-Memo","volume-title":"AMORD - A Deductive Procedure System","author":"J Kleer de","year":"1977","unstructured":"de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman AMORD - A Deductive Procedure System. MIT-Memo 435, MIT-AI-Lab, Cambridge, MA, 1977b."},{"key":"2_CR19","volume-title":"Truth Maintenance Systems for Problem Solving","author":"J Doyle","year":"1978","unstructured":"Doyle, J. Truth Maintenance Systems for Problem Solving. MIT AI-Lab, TR-419, Cambridge, MA, 1978."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Forgy, C.L. 0PS5 User\u2019s Manual. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-81-135, 1981.","DOI":"10.21236\/ADA106558"},{"key":"2_CR21","unstructured":"Forgy, C.L. The 0PS83 Report. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-84-133, 1984."},{"key":"2_CR22","series-title":"ACM Symposium on Lisp and Functional Programming","volume-title":"Queue based Multi-Processing Lisp","author":"RP Gabriel","year":"1984","unstructured":"Gabriel, R.P. & J. McCarthy Queue based Multi-Processing Lisp. ACM Symposium on Lisp and Functional Programming, Univ. Texas, Austin, 1984."},{"key":"2_CR23","unstructured":"Genesreth, M., R. Greiner \u00c4 D. Smith MRS Manual. Stanford Univ., Heuristic Programming Project, Memo HPP-81-6, 1981."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Greiner, R. RLL-1: A Representation Language Language. Stanford Univ., Heuristic Programming Project, Working Paper HPP-80-9, 1981.","DOI":"10.21236\/ADA096510"},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1515\/9783110858778-005","volume-title":"Frame Conceptions and Text Understanding","author":"PJ Hayes","year":"1979","unstructured":"Hayes, P.J. The Logic of Frames. In: D. Metzing (Hrsg.) Frame Conceptions and Text Understanding. Walter de Gruyter, Berlin, 1979, 46\u201361."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0004-3702(76)90020-5","volume":"7","author":"G Hendrix","year":"1976","unstructured":"Hendrix, G. Expanding the Utility of Semantic Networks through Partitioning. Artificial Intelligence, 7, 1976, 21\u201349.","journal-title":"Artificial Intelligence"},{"key":"2_CR27","volume-title":"Knowledge Embedding with the Description System Omega","author":"C Hewitt","year":"1980","unstructured":"Hewitt, C., Attardi, G. & M. Simi Knowledge Embedding with the Description System Omega. Proc. of First AAAI Conf., Stanford University, 1980."},{"key":"2_CR28","first-page":"151","volume-title":"Inferenzen in naturlichsprachlichen Systemen der Kunstlichen Intelligenz","author":"W H\u00f6ppner","year":"1980","unstructured":"H\u00f6ppner, W. Repr\u00e4sentationsstrukturen und Inferenzen f\u00fcr zusammengesetzte Objekte. In: C-R. Rollinger & H-J. Schneider (Hrsg.) Inferenzen in naturlichsprachlichen Systemen der Kunstlichen Intelligenz. Einhorn Verlag, Berlin, 1980, 151\u2013172."},{"issue":"4","key":"2_CR29","first-page":"41","volume":"4","author":"JC Kunz","year":"1984","unstructured":"Kunz, J.C., T.P. Kehler & M.D. Williams Applications Development Using a Hybrid AI Development System. The AI Magazine, 4, 4, 1984, 41\u201354.","journal-title":"The AI Magazine"},{"key":"2_CR30","first-page":"37","volume-title":"Inferenzen in nat\u00fcrlich-sprachlichen Systemen der Kunstlichen Intelligenz","author":"J Laubsch","year":"1980","unstructured":"Laubsch, J. Zur Inferenz in semantischen Netzen. In: C-R. Rollinger & H-J. Schneider (Hrsg.) Inferenzen in nat\u00fcrlich-sprachlichen Systemen der Kunstlichen Intelligenz. Einhorn Verlag, Berlin, 1. 980, 37\u201380."},{"key":"2_CR31","volume-title":"Programmiemethoden in der Kunstlichen Intelligenz Forschung","author":"J Laubsch","year":"1982","unstructured":"Laubsch, J. Programmiemethoden in der Kunstlichen Intelligenz Forschung. Habilitationsschrift, Univ. Stuttgart, 1982."},{"key":"2_CR32","first-page":"60","volume-title":"Objektorientierte Software- und Hardwarearchitekturen. Berichte des German Chapters of the ACM","author":"J Laubsch","year":"1983","unstructured":"Laubsch, J. & C. Rathke ObjTalk, eine Erweiterung von Lisp zum objekt-orientierten Programmieren. In: H. Stoyan & H. Wedekind (Hrsg.) Objektorientierte Software- und Hardwarearchitekturen. Berichte des German Chapters of the ACM, Teubner, Stuttgart, 1983, 60\u201375."},{"key":"2_CR33","volume-title":"Formal Treatment of Incomplete Knowledge Bases","author":"HJA Levesque","year":"1982","unstructured":"Levesque, H.J. A Formal Treatment of Incomplete Knowledge Bases. Univ. Toronto, Dep. Comp. Sc., Tech. Rep. CSRG-139, Toronto, Canada, 1982."},{"key":"2_CR34","volume-title":"Proc. of the 1981 KL-One Workshop","author":"T Lipkis","year":"1982","unstructured":"Lipkis, T. A KL-One Classifier. In: J. Schm\u00f6lze & R. Brachman (Eds.) Proc. of the 1981 KL-One Workshop. Tech. Rep. No. 484?, BBN, Cambridge, 1982."},{"key":"2_CR35","volume-title":"An Outlook on Truth Maintenance","author":"DA McAllester","year":"1980","unstructured":"McAllester, D.A. An Outlook on Truth Maintenance. MIT-AI Memo 551, Cambr., MA, 1980."},{"key":"2_CR36","volume-title":"Reasoning Utility Package Users Manual","author":"DA McAllester","year":"1982","unstructured":"McAllester, D.A. Reasoning Utility Package User\u2019s Manual. MIT-AI Memo 667, Cambridge, MA., 1982."},{"key":"2_CR37","volume-title":"Machine Intelligence","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J. & P. Hayes Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: B. Meitzer & D. Michie (Eds.) Machine Intelligence 4. Edinbourgh Univ. Press, 1969."},{"key":"2_CR38","first-page":"403","volume-title":"Semantic Information Processing","author":"J McCarthy","year":"1968","unstructured":"McCarthy, J. Programs with Common Sense. In: M. Minsky (Ed.) Semantic Information Processing. MIT Press, Cambridge, MA, 1968, 403\u2013418."},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","volume":"19","author":"JRI McDermott","year":"1982","unstructured":"McDermott, J. RI: A Rule-Based Configurer of Computer Systems. Artificial Intelligence, 19, 1982, 39\u201388.","journal-title":"Artificial Intelligence"},{"key":"2_CR40","unstructured":"McDermott, J. & G. Steele Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. Proc. IJCAI-81."},{"key":"2_CR41","volume-title":"The Psychology of Computer Vision","author":"M Minsky","year":"1975","unstructured":"Minsky, M. A Framework for Representing Knowledge. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975."},{"key":"2_CR42","first-page":"201","volume-title":"Knowledge and Cognition","author":"J Moore","year":"1973","unstructured":"Moore, J. & A. Newell How can MERLIN understand? In: L. Gregg (Ed.) Knowledge and Cognition. Lawrence Erlbaum, Hillsdale, N.J., 1973, 201\u2013252."},{"key":"2_CR43","series-title":"Tech. Note","volume-title":"Reasoning about Knowledge and Action","author":"RC Moore","year":"1980","unstructured":"Moore, R.C. Reasoning about Knowledge and Action. Tech. Note 191, SRI, Menlo Park, CA, 1980."},{"key":"2_CR44","volume-title":"Formal Theories of the Comnonsense World","author":"RC Moore","year":"1984","unstructured":"Moore, R.C. A Formal Theory of Knowledge and Action. In: J.R. Hobbs & R. C. Moore (Eds.) Formal Theories of the Comnonsense World. Ablex, Norwood, N.J., 1984."},{"key":"2_CR45","volume-title":"Principles of Artificial Intelligence","author":"N Nilsson","year":"1983","unstructured":"Nilsson, N. Principles of Artificial Intelligence. Springer Verlag, Berlin, 1983."},{"key":"2_CR46","volume-title":"ObjTalk Primer","author":"C Rathke","year":"1984","unstructured":"Rathke, C. ObjTalk Primer. Inst, f\u00fcr Informatik, Univ. Stuttgart, 1984."},{"key":"2_CR47","series-title":"Techn. Note","volume-title":"Knowledge Engineering Techniques and Tools in the Prospector Environment","author":"R Reboh","year":"1980","unstructured":"Reboh, R. Knowledge Engineering Techniques and Tools in the Prospector Environment. Techn. Note 243, SRI, Menlo Park, 1980."},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R. A Logic for Default Reasoning. Artificial Intelligence, 13, 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"2_CR49","volume-title":"The FRL Manual","author":"RB Roberts","year":"1977","unstructured":"Roberts, R.B. & I. Goldstein The FRL Manual. MIT-AI Memo No. 409, Cambr., MA, 1977."},{"key":"2_CR50","unstructured":"Rosenberg, S. HPRL: A Language for Building Expert Systems. Proc. IJCAI-83, 215\u2013217."},{"key":"2_CR51","unstructured":"Roussel, P. Prolog: Manuel de Reference et Utilisation. Techn. Rep., Groupe d\u2019Intelligence Artificielle, U.E.R. de Limuny, Univ. d\u2019Aix-Marseille II, 1975."},{"key":"2_CR52","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"RM Stallmann","year":"1977","unstructured":"Stallmann, R.M. & Sussman, G. J. Forward Reasoning and Dependency-Directed Back-tracking in a System for Computer-aided Circuit Design. Artificial Intelligence, 9, 1977, 135\u2013196.","journal-title":"Artificial Intelligence"},{"key":"2_CR53","volume-title":"The Definition and Implementation of a Computer Programming Language based on Constraints","author":"GL Steele","year":"1980","unstructured":"Steele, G.L. The Definition and Implementation of a Computer Programming Language based on Constraints. MIT-TR 595, MIT-AI-Lab, Cambridge, MA, 1980."},{"key":"2_CR54","unstructured":"Steele, G.L. et al. Common Lisp. Digital Press, 1984."},{"key":"2_CR55","first-page":"193","volume-title":"Integrated Interactive Computing Systems","author":"L Steels","year":"1983","unstructured":"Steels, L. ORBIT: An Applicative View of Object-Oriented Programming. In: P. Degano & E. Sandewall (Eds.) Integrated Interactive Computing Systems. North-Holland, 1983, 193\u2013206."},{"issue":"2","key":"2_CR56","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"M Stefik","year":"1981","unstructured":"Stefik, M. Planning with Constraints (MOLGEN, Part 1 & 2) Artificial Intelligence, 16, 2, 1981, 111\u2013170.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"2_CR57","first-page":"3","volume":"4","author":"M Stefik","year":"1983","unstructured":"Stefik, M., D.G. Bobrow, S. Mittal & L. Conway Knowledge Programming in Loops. The AI Magazine, 4, 3, 1983, 3\u201314.","journal-title":"The AI Magazine"},{"key":"2_CR58","volume-title":"Building Expert Systems","author":"M Stefik","year":"1984","unstructured":"Stefik, M., J. Aikins, R. Balzer, J. Benoit, L. Birnbaum, F. Hayes-Roth & E. Sacerdoti The Architecture of Expert Systems: A Guide to the Organization of Problem-Solving Programs. In: F. Hayes-Roth, D. Waterman & D. Lenat (Eds.) Building Expert Systems. 1984."},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"GJ Sussman","year":"1980","unstructured":"Sussman, G.J. & G.L. Steele Constraints - A Language for Expressing Almost- Hierarchical Descriptions. Artificial Intelligence, 14, 1980, 1\u201339.","journal-title":"Artificial Intelligence"},{"key":"2_CR60","unstructured":"Suwa, M., A.C. Scott & E.H. Shortliffe An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. Stanford University, CSD, Rep. STAN- CS-922, 1982."},{"key":"2_CR61","unstructured":"Van Melle, W. A Domain-Independent Production-Rule System that Aids in Constructing Knowledge-Based Consultation Programs. Stanford Univ., Heuristic Programming Project, Memo HPP-80-22, 1980."},{"key":"2_CR62","volume-title":"The Psychology of Computer Vision","author":"PH Winston","year":"1975","unstructured":"Winston, P.H. Learning Structural Descriptions from Examples. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975."}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70283-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T13:03:15Z","timestamp":1620306195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70283-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151906","9783642702839"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70283-9_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}