{"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":1725626631008},"publisher-location":"Berlin, Heidelberg","reference-count":83,"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_3","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:45:55Z","timestamp":1319708755000},"page":"94-158","source":"Crossref","is-referenced-by-count":0,"title":["Semantikkonzepte in der K\u00fcnstlichen Intelligenz"],"prefix":"10.1007","author":[{"given":"Camilla B.","family":"Schwind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110838794","volume-title":"Die dreiwertige Logik der Sprache","author":"D Blau","year":"1978","unstructured":"Blau, D.: Die dreiwertige Logik der Sprache. De Gruyter, Berlin, New York (1978)"},{"volume-title":"Representation and Understanding: Studies in Cognitive science","year":"1975","key":"3_CR2","unstructured":"Bobrow D., Collins A.M. (eds) (1975): Representation and Understanding: Studies in Cognitive science. Academic Press, New York."},{"key":"3_CR3","first-page":"3","volume-title":"Cognitive Science","author":"D Bobrow","year":"1977","unstructured":"Bobrow D., Winograd T. (1977): An overview of KRL, a knowledge representation language. In: Cognitive Science 1, pp. 3\u201346."},{"key":"3_CR4","first-page":"49","volume-title":"Artificial Intelligence","author":"H Boley","year":"1977","unstructured":"Boley H. (1977): Directed recursive labelnode hypergraphs: A new representation language. In: Artificial Intelligence 9, pp. 49\u201385."},{"key":"3_CR5","volume-title":"Associative Networks-Representation and Use of knowledge by Computers","author":"RJ Brachman","year":"1979","unstructured":"Brachman R.J. (1979): On the Epistemological Status of Semantic Networks. In: Findler N.V. (ed.): Associative Networks-Representation and Use of knowledge by Computers. Academic Press, New York San Francisco London."},{"key":"3_CR6","first-page":"147","volume-title":"Information Processing and Management","author":"S Braun","year":"1976","unstructured":"Braun S., Schwind C.B. (1976): Automatic Semantics based Indexing of Natural Language Texts for Information Retrieval Systems. In: Information Processing and Management 12, pp. 147\u2013153."},{"key":"3_CR7","volume-title":"Towards an Integrated Theory of Natural Language Understanding","author":"FM Brown","year":"1978","unstructured":"Brown F.M., Schwind C.B.: Towards an Integrated Theory of Natural Language Understanding. In: AISB\/GI - Conference on Artificial Intelligence, Hamburg (1978)"},{"key":"3_CR8","volume-title":"Representation and processing of natural Language","author":"FM Brown","year":"1980","unstructured":"Brown F.M., Schwind C.B,: Outline of an Integrated Theory of Natural Language Understanding. In: Bolc L. (ed.) Representation and processing of natural Language. Hanser\/Macmillan, M\u00fcnchen\/London (1980)"},{"key":"3_CR9","series-title":"Artificial Intelligence","volume-title":"A Model for Temporal References and its Application in a Question Answering Program","author":"BC Bruce","year":"1971","unstructured":"Bruce B.C. (1971): A Model for Temporal References and its Application in a Question Answering Program. In: Artificial Intelligence 2."},{"key":"3_CR10","volume-title":"Towards an Integrated Theory of Natural Language Understanding","author":"FM Brown","year":"1978","unstructured":"Colmerauer A. (1978): Metamorphosis Grammars. In: Bolc L.(ed.): Natural Language Communication with Computers. Lecture Notes in Computer Science 63. Springer-Verlag Berlin Heidelberg New york."},{"key":"3_CR11","volume-title":"Advances in Data Base Theory","author":"A Colmerauer","year":"1981","unstructured":"Colmerauer A., Pique J.F. (1981): About Natural Logic. In: Gallaire H., Minker J., Nicolas J.M. (eds.): Advances in Data Base Theory Vol. 1. Plenum Press New York, London."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/321217.321218","volume":"11","author":"WS Cooper","year":"1964","unstructured":"Cooper W.S. (1964): Fact Retrieval and Deductive Question-Answering Information Retrieval Systems. In: JACM 11, n\u00b0 2.","journal-title":"JACM"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/321217.321218","volume":"11","author":"WS Cooper","year":"1964","unstructured":"Dahl V. (1979): Quantification in a three valued logic for natural language question-answering systems. In: IJCAI-6, Tokyo.","journal-title":"JACM"},{"key":"3_CR14","volume-title":"Logical design of deductive natural language consultable data bases","author":"V Dahl","year":"1979","unstructured":"Dahl V, (1979): Logical design of deductive natural language consultable data bases, Proc. 5 th Internat. Conference on very large data bases, Rio de Janeiro."},{"key":"3_CR15","series-title":"AJCL","first-page":"149","volume-title":"Translating Spanish into Logic through Logic","author":"V Dahl","year":"1981","unstructured":"Dahl V. (1981): Translating Spanish into Logic through Logic. In: AJCL 13 pp. 149\u2013164."},{"issue":"2","key":"3_CR16","first-page":"69","volume":"9","author":"V Dahl","year":"1983","unstructured":"Dahl V., McCord M, (1983): Treating Coordination in Logic Grammars In: AJCL, Vol 9, n\u00b02. pp. 69\u201391.","journal-title":"AJCL"},{"key":"3_CR17","volume-title":"Universals in linguistic theory","author":"C Fillmore","year":"1968","unstructured":"Fillmore C. (1968): The case for case. In: Bach E., Harms R. (eds.): Universals in linguistic theory. Holt, Rinehart and Winston, New York."},{"volume-title":"Associative Networks, Representation and Use of knowledge by Computers","year":"1979","key":"3_CR18","unstructured":"Findler N, (ed.) (1979): Associative Networks, Representation and Use of knowledge by Computers. Academic Press, New York, San Francisco London."},{"key":"3_CR19","first-page":"25","volume-title":"Uber Sinn und Bedeutung.Zeitschrift f\u00fcr Philosophische Kritik","author":"G Frege","year":"1982","unstructured":"Frege G. (1982): Uber Sinn und Bedeutung.Zeitschrift f\u00fcr Philosophische Kritik, pp. 25\u201350."},{"key":"3_CR20","volume-title":"Natural language based computer systems","author":"W v. Hahn","year":"1980","unstructured":"v. Hahn W., Hoeppner W,., Jameson A,, Wahlster W. (1980): The anatomy of the natural language dialogue system HAM-RPM, In: Bole L, (ed.): Natural language based computer systems. Hanser\/Macmillan, M\u00fcnchen, London."},{"key":"3_CR21","volume-title":"Machine Intelligence","author":"PJ Hayes","year":"1971","unstructured":"Hayes P.J. (1971): A logic of actions. In: Meitzer B., Michie D. (eds,) Machine Intelligence. Edinburgh."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Janas J.M,, Schwind C.B. (1979): Extensional Semantic Networks: Their Representation, Application and Generation. In: (Findler N. (ed.) 1979 ).","DOI":"10.1016\/B978-0-12-256380-5.50014-1"},{"key":"3_CR23","volume-title":"Elements of discourse understanding","author":"A Joshi","year":"1981","unstructured":"Joshi A., Webber B,, Sag I. (1981): Elements of discourse understanding. Cambridge University Press. Cambridge, London, New York."},{"key":"3_CR24","volume-title":"Logische Prop\u00e4deutik oder Vorschule des vern\u00fcnftigen Redens","author":"W Kamlah","year":"1967","unstructured":"Kamlah W., Lorenzen P, (1967): Logische Prop\u00e4deutik oder Vorschule des vern\u00fcnftigen Redens. BI Mannheim."},{"key":"3_CR25","unstructured":"Kaplan S.J. (1981): Appropriate responses to inappropriate questions. In: (Joshi et al. 1981 )."},{"key":"3_CR26","first-page":"165","volume-title":"Artificial Intelligence","author":"SJ Kaplan","year":"1982","unstructured":"Kaplan S.J. (1982): Cooperative responses from a portable natural language query system. In: Artificial Intelligence 19, pp. 165\u2013187."},{"key":"3_CR27","unstructured":"Katz J. (1969) : Philosophie der Sprache, Theorie Suhrkamp Verlag Frankfurt a Main (Ubersetzt aus dem Amerikanischen, Originalausgabe (1966))."},{"key":"3_CR28","volume-title":"A natural language compiler for on-line data management","author":"C Kellog","year":"1968","unstructured":"Kellog C. (1968): A natural language compiler for on-line data management. Proc. Fall Joint Computer Conf."},{"key":"3_CR29","series-title":"Math. Syst. Theory","volume-title":"Semantics of context-free languages","author":"DE Knuth","year":"1969","unstructured":"Knuth D.E. (1969) : Semantics of context-free languages. In : Math. Syst. Theory 2\u201e"},{"key":"3_CR30","volume-title":"Logic for Problem Solving","author":"RA Kowalski","year":"1979","unstructured":"Kowalski R.A. (1979): Logic for Problem Solving, North Holland New York."},{"key":"3_CR31","first-page":"1","volume-title":"The Journal of Symbolic Logic","author":"SA Kripke","year":"1959","unstructured":"Kripke S.A. (1959) A Completness Theorem in Modal Logic. In: The Journal of Symbolic Logic 24, pp. 1\u201314."},{"key":"3_CR32","series-title":"Zeitschr. f. math. Logik u. Gr\u00fcndl. d. Math.","first-page":"67","volume-title":"Semantical Analysis of Modal Logic I, normal propositional calculi","author":"SA Kripke","year":"1963","unstructured":"Kripke S.A. (1963) : Semantical Analysis of Modal Logic I, normal propositional calculi. In : Zeitschr. f. math. Logik u. Gr\u00fcndl. d. Math. 9, pp. 67\u201396."},{"key":"3_CR33","series-title":"Acta Philosophica Fennica","first-page":"83","volume-title":"Semantical considerations on Modal Logic","author":"SA Kripke","year":"1963","unstructured":"Kripke S.A. ( 1963 b): Semantical considerations on Modal Logic. In: Acta Philosophica Fennica, pp. 83\u201394."},{"key":"3_CR34","unstructured":"v. Leibnitz G.W. (1840): Opera Philosophica, Erdmann."},{"key":"3_CR35","unstructured":"Manna Z., Pnueli A. (1983) : Verification of Concurrent Programs : A Temporal Proof System. Department of Computer Science, Stanford University, Report No. STAN-CS-83-967"},{"key":"3_CR36","series-title":"Machine Intelligence","volume-title":"Some Philosophical problems from the standpoint of Artificial Intelligence","author":"J Mc Carthy","year":"1969","unstructured":"Mc Carthy J., Hayes P,Y. (1969) : Some Philosophical problems from the standpoint of Artificial Intelligence. In : Meitzer B., Michie D. (eds.) : Machine Intelligence 4. Edinburgh University Press."},{"key":"3_CR37","unstructured":"Mc Carthy J. (1981): A problem in Formalisation, Personal communication."},{"key":"3_CR38","volume-title":"Logic Programming and its Application","author":"MC Mc Cord","year":"1981","unstructured":"Mc Cord M.C. (1981): Focalizers, the Scoping Problem, and Semantic Interpretation Rules in Logic Grammars. In: Warren D., Van Caneghem M. (eds.): Logic Programming and its Application. To appear"},{"key":"3_CR39","series-title":"Artificial Intelligence","first-page":"327","volume-title":"Using Slots and Modifiers in Logic Grammars for Natural Language","author":"MC Mc Cord","year":"1982","unstructured":"Mc Cord M.C. (1982) : Using Slots and Modifiers in Logic Grammars for Natural Language. In : Artificial Intelligence 18, pp. 327\u2013367."},{"key":"3_CR40","series-title":"JACM","first-page":"1","volume-title":"Nonmonotonic logic II : Nonmonotonic Modal Theories","author":"D Mc Dermott","year":"1982","unstructured":"Mc Dermott D, (1982) : Nonmonotonic logic II : Nonmonotonic Modal Theories. In : JACM 29,1."},{"key":"3_CR41","volume-title":"The psychology of Computer vision","author":"M Minsky","year":"1975","unstructured":"Minsky M. (1975): A framework for representing knowledge. In: Winston P, (ed.): The psychology of Computer vision Mc Graw-Hill, New York."},{"key":"3_CR42","unstructured":"Minsky M, (ed.) (1968) : Semantic Information Processing MIT Press Cambridge Mass."},{"key":"3_CR43","series-title":"Artificial Intelligence","first-page":"231","volume-title":"Definite Clause Grammars for Language Analysis-a survey of the Formalism and a Comparison with Transition Networks","author":"F Pereira","year":"1980","unstructured":"Pereira F. Warren D. (1980) : Definite Clause Grammars for Language Analysis-a survey of the Formalism and a Comparison with Transition Networks. In : Artificial Intelligence 13, pp. 231\u2013278."},{"key":"3_CR44","first-page":"110","volume-title":"An Efficient Easily Adaptable System for Interpreting Natural Language Queries","author":"F Pereira","year":"1982","unstructured":"Pereira F., Warren D. (1982) : An Efficient Easily Adaptable System for Interpreting Natural Language Queries. In : AJCL 8, pp. 110\u2013122."},{"key":"3_CR45","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, Future","author":"AN Prior","year":"1967","unstructured":"Prior A.N. (1967): Past, Present, Future. Oxford University Press."},{"key":"3_CR46","unstructured":"Quillian M.R. (1968): Semantic memory. In: ( Minsky M. 1968 )."},{"issue":"8","key":"3_CR47","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1145\/363196.363214","volume":"12","author":"MR Quillian","year":"1969","unstructured":"Quillian M.R. (1969): The teachable language comprehender: A simulation program and thery of language. In: CACM 12, n\u00b0 8, pp. 459\u2013476.","journal-title":"CACM"},{"key":"3_CR48","unstructured":"Raphael B. (1968): SIR: A Computer program for semantic information retrieval. In: ( Minsky M. 1968 )."},{"key":"3_CR49","series-title":"Artificial Intelligence","first-page":"81","volume-title":"A logic for Default Reasoning","author":"R Reiter","year":"1980","unstructured":"Reiter R. (1980) : A logic for Default Reasoning. In : Artificial Intelligence, vol. 13 pp. 81\u2013132."},{"key":"3_CR50","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N Rescher","year":"1971","unstructured":"Rescher N., Urquhart A, (1971): Temporal Logic. Berlin, Heidelberg New York, Wien: Springer."},{"key":"3_CR51","unstructured":"Roberts R.B., Goldstein I.P. (1977): The FRL manual MIT, AI Laboratory, Memo Nr. 409."},{"key":"3_CR52","volume-title":"Inference and Conceptual Memory","author":"RC Schank","year":"1973","unstructured":"Schank R.C.(1973) : Inference and Conceptual Memory. In : Coling 73 Conference Proceedings."},{"volume-title":"Conceptual Information Processing","year":"1975","key":"3_CR53","unstructured":"Schank R.C.(ed.) (1975): Conceptual Information Processing. North-Holland, Amsterdam."},{"key":"3_CR54","volume-title":"Goals, plans, scripts and understanding : an inquiry into human knowledge structures","author":"RC Schank","year":"1977","unstructured":"Schank R.C., Abelson R,P, (1977): Goals, plans, scripts and understanding: an inquiry into human knowledge structures, Lawrence Erlbaum, Hillsdale."},{"key":"3_CR55","first-page":"225","volume-title":"MARGIE : Memory, analysis, response generation and inference in English","author":"RC Schank","year":"1973","unstructured":"Schank R.C., Goldman N., Rieger C,, Riesbeck C. (1973) : MARGIE : Memory, analysis, response generation and inference in English.Proceeding of IJCAI-3, pp. 225\u2013261."},{"issue":"3","key":"3_CR56","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/321892.321893","volume":"22","author":"RC Schank","year":"1975","unstructured":"Schank R.C., Goldman N. Rieger C., Riesbeck C, (1975): Inference and paraphrase by computer. JACM, vol. 22, N\u00b0 3, pp. 309\u2013328.","journal-title":"JACM"},{"key":"3_CR57","volume-title":"Inside computer understanding","author":"RC Schank","year":"1981","unstructured":"Schank R.C,, Riesbeck C.K, (1981): Inside computer understanding. Hillsdale New Jersey: Lawrence Erlbaum Associates."},{"key":"3_CR58","volume-title":"Dynamic Memory","author":"RC Schank","year":"1982","unstructured":"Schank R.C. (1982): Dynamic Memory.Cambridge University Press, New York."},{"key":"3_CR59","first-page":"163","volume-title":"Artificial Intelligence","author":"L Schubert","year":"1976","unstructured":"Schubert L, (1976); Extending the expressive power of semantic networks. In: Artificial Intelligence 7, pp. 163\u2013202"},{"key":"3_CR60","doi-asserted-by":"crossref","unstructured":"Schubert L.K., Goebel R.G., Cercone N,J. (1979): The structure and Organization of a Semantic net for comprehension and inference. In: ( Findler N. 1979 ).","DOI":"10.1016\/B978-0-12-256380-5.50010-4"},{"key":"3_CR61","first-page":"3","volume-title":"A deductive question Answerer for Natural language Inference","author":"RM Schwarcz","year":"1970","unstructured":"Schwarcz R.M., Burger J.F., Simmons R.F. (1970) : A deductive question Answerer for Natural language Inference. In : CACM Vol. 13, N\u00b0 3."},{"key":"3_CR62","series-title":"IJCAI","first-page":"429","volume-title":"Generating hierarchical semantic networks from natural language discourse","author":"CB Schwind","year":"1975","unstructured":"Schwind C.B. (1975) : Generating hierarchical semantic networks from natural language discourse. In : IJCAI 4 Tbilisi, pp. 429\u2013434."},{"key":"3_CR63","volume-title":"Ein Formalismus zur Beschreibung der Syntax und Bedeutung von Frage-Antwort-Systemen. Ph. D. Thesis. TUM-INFO-7710","author":"CB Schwind","year":"1977","unstructured":"Schwind C.B. (1977): Ein Formalismus zur Beschreibung der Syntax und Bedeutung von Frage-Antwort-Systemen. Ph. D. Thesis. TUM-INFO-7710. Institut f\u00fcr Informatik der TUM, 1977, M\u00fcnchen."},{"key":"3_CR64","first-page":"304","volume-title":"Representing Actions by State Logic","author":"CB Schwind","year":"1978","unstructured":"Schwind, C.B. (1978): Representing Actions by State Logic. In Proceedings of the AISB\/GI Conference on Artificial Intelligence. Hambourg, 1978, pp. 304\u2013308."},{"key":"3_CR65","volume-title":"Augmented Transition Network Grammatiken","author":"CB Schwind","year":"1979","unstructured":"Schwind, C.B. (1979): Entwicklung einer integrierten Theorie zur Sprachanalyse. In: Christaller T., Metzing D. (eds.): Augmented Transition Network Grammatiken. Einhorn-Verlag, Berlin."},{"key":"3_CR66","volume-title":"Natural language Access to PROLOG Database Systems","author":"CB Schwind","year":"1982","unstructured":"Schwind, C.B. (1982) : Natural language Access to PROLOG Database Systems. In : Wahlster W. (ed.) : GWAI-82, 6 th German Workshop on Artificial Intelligence Springer Verlag, Berlin Heidelberg New York."},{"key":"3_CR67","unstructured":"Schwind, C.B. (1983) : A completeness Proof for a Logic of Actions. Report LISH 172 bis."},{"key":"3_CR68","first-page":"1984","volume-title":"Logic Based Natural Language Processing","author":"CB Schwind","year":"1984","unstructured":"Schwind, C.B. (1984): Logic Based Natural Language Processing. International workshop on Natural Language Understanding and Logic Programming. Rennes 1984."},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"Shapiro S.C. (1979) : The SNe PS Semantic Network Processing System. In : (Findler N.1979)","DOI":"10.1016\/B978-0-12-256380-5.50011-6"},{"key":"3_CR70","first-page":"63","volume-title":"Semantic Networks : Their computation and use for understanding English sentences. In : Schank R.C., Colby K.M. (eds.) : Computer Models of Thought and Language","author":"RF Simmons","year":"1973","unstructured":"Simmons R.F. (1973): Semantic Networks: Their computation and use for understanding English sentences. In: Schank R.C., Colby K.M. (eds.): Computer Models of Thought and Language. Freeman, San Francisco, California, pp. 63\u2013113."},{"key":"3_CR71","first-page":"524","volume":"2","author":"RF Simmons","year":"1971","unstructured":"Simmons R.F., Bruce B.C. (1971): Some relations between predicate calculus and semantic net representations of discourse, IJCAI 2, pp. 524\u2013529.","journal-title":"IJCAI"},{"key":"3_CR72","first-page":"267","volume":"5","author":"RF Simmons","year":"1977","unstructured":"Simmons R.F., Chester D. (1977): Inferences in quantified semantic Networks. IJCAI 5, pp. 267\u2013273.","journal-title":"IJCAI"},{"issue":"10","key":"3_CR73","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1145\/355604.361595","volume":"15","author":"RF Simmons","year":"1972","unstructured":"Simmons R.F., Slocum J. (1972) : Generating English discourse from semantic networks. In : CACM 15, n\u00b0 10, pp. 891\u2013905.","journal-title":"CACM"},{"key":"3_CR74","unstructured":"Sridharan N.S. (1978) : AIMDS user manual version 2, Rutgers University, New Brunswick, Dept. of Computer Science, Report Nr. CBM-TR-89."},{"key":"3_CR75","series-title":"Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-68828-7_5","volume-title":"K\u00fcnstliche Intelligenz, Fr\u00fchj\u00e4hrsschule Teisendorf, M\u00e4rz 1982","author":"W Wahlster","year":"1982","unstructured":"Wahlster W. (1982): Nat\u00fcrlichsprachliche Systeme, eine Einf\u00fchrung in die sprachorientiente KI - Forschung. In: Bibel W., Siekmann J.H. (eds): K\u00fcnstliche Intelligenz, Fr\u00fchj\u00e4hrsschule Teisendorf, M\u00e4rz 1982. Informatik-Fachberichte 59, Springer-Verlag, Berlin Heidelberg New York, pp. 203\u2013283."},{"key":"3_CR76","unstructured":"Webber B.L. (1978) : A Formal Approach to Discourse Anaphora. Bolt Beranek and Newman Inc. Report n\u00b0 3761. Cambridge Mass."},{"key":"3_CR77","unstructured":"Webber B.L. ( 1981): Discourse model synthesis. In: (Joshi A. et al. 1981 )."},{"key":"3_CR78","unstructured":"Wilensky R. (1978): Understanding goal-based stories. Ph. D. Dissertation, Yale University, Computer Science Department, Report Nr. 140."},{"key":"3_CR79","volume-title":"Understanding natural language","author":"T Winograd","year":"1972","unstructured":"Winograd T. (1972): Understanding natural language. Academic Press New York."},{"key":"3_CR80","doi-asserted-by":"crossref","unstructured":"Winograd T. (1975): Frame Representations and the Declarative\/Procedural Controversy. In: ( Bobrow D., Collins A.M. 1975 ).","DOI":"10.1016\/B978-0-12-108550-6.50012-4"},{"key":"3_CR81","doi-asserted-by":"crossref","unstructured":"Woods W. (1975): What\u2019s in a link ? Foundations for semantic networks. In: ( Bobrow D. Collins A.M. 1975 ).","DOI":"10.21236\/ADA022584"},{"key":"3_CR82","unstructured":"Woods W. ( 1981): Procedural semantics as a theory of meaning. In: (Joshi A. et al. 1981 )."},{"key":"3_CR83","series-title":"IJCAI-83","first-page":"398","volume-title":"W-JS : A Modal Logic of knowledge","author":"M Xiwen","year":"1983","unstructured":"Xiwen Ma, Weide G. (1983) : W-JS : A Modal Logic of knowledge. In : IJCAI-83 pp. 398\u2013401."}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70283-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:50:51Z","timestamp":1606240251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70283-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151906","9783642702839"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70283-9_3","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}