Abelson, R. (1981): "Psychological status of the script concept". American Psychologist

Transkript

1 Abelson, R. (1981): "Psychological status of the script concept". American Psychologist Ade1ung, J.Ch. (1781): Deutsche Sprachlehre. Voss: Berlin. Anderson, J. (1983): The Architecture of Cognition. Harvard UP: Cambridge, Mass. Anderson, J./Bower, G. (1974): Human Washington D.C. (2nd. ed.) Associative Memory. Hemisphere Publ.: Anderson, J./Hastie, R. (1974): "Individuation and reference in memory: proper names and definite descriptions." Cognitive Psychology Bach, E./Partee, B. (1980): "Anaphora and semantic structure". Chicago Ling. Soc., Parasession on Pronouns and Anaphora Barr, A./Feigenbaum, E.A. (eds) (1981): The Handbook of Artificial Intelligence, vol 1, Kaufman: Los Altos. Bartlett, F.C. (1932): Remembering. Cambridge UP: Cambridge. Barwise, J. (1981): "Scenes and other situations" Journal of Philosophy 78. Barwise, J. (1984): "The situation in logic - I". CSLI (Stanford), Report Barwise, J./Cooper, R. (1981) : "General ized quant i fiers and natural language". Linguistics and Philosophy Barwise, J./Perry, J. (1983): Situations and Attitudes. MIT-Press: Cambridge, Mass. Bates, E./Kintsch, W./Fletcher, Ch./Guiliani, V. (1980): surface forms in dialogue: explicit vs. anaphoric Linguistic Society - Papers from the Parasession on "Recognition memory for reference". in Chicago Pronouns and Anaphora. Belnap, N. D. (1973): "Restricted quantification and conditional assertion". in: H. Leblanc (ed.): Truth, Syntax and Modality. North Holland: Amsterdam Belnap, N.D. (1976): "How a computer should think" in: G. Ryle (ed.): Contemporary Aspects of Philosophy. Oriel Press: Stocks field Belnap, N.D. (1977): "A useful four-valued logic" in: J.M. Dunn/G. Epstein (eds): Modern Uses of Multiple-Valued Logic. D.Reidel: Dordrecht Belnap, N.D./Steel, T.B. (1976): The logic of questions and answers. Yale Univ. Press: New Haven. van Benthem, J. (1983a): "Determiners and logic" Linguistics and Philosophy 6. van Benthem, J. (1983b): The Logic of Time. Reidel: Dordrecht. van Benthem, J. (1984): "Questions about quantifiers". Journ. of Symbolic Logic Bibel, W. (1983): "Knowledge representation from a deductive point of view". TU Mlinchen, Bericht ATP-19-V-83.

2 290 Blackburn, S. (1984): Spreading the Word. Block, N. (ed.) (1981): Imagery. MIT Press: Clarendon Press: Oxford. Cambridge, Mass. Block, N. (1981): "Introduction - what is the issue?" in; N. Block (ed.); Imagery. MIT Press: Cambridge, Mass Bobrow, D.G. (1980): "Editor's Preface. Artificial Intelligence. Special Issue on Non-Monotonic Logic". Artificial Intelligence Bobrow, D./Winograd, T. (1977): "An overview of KRL, a knowledge representation language". Cognitive Science Boden, M. (1977): Artificial Intelligence and Natural Man. Harvester Press: Brighton. Boolos, G./Jeffrey, R. (1980, 2nd.ed.): Computability and Logic. Cambridge Univ. Press; Cambridge. Brachman, R. (1979): "On the epistemological status of semantic networks". in: N. Findler (ed.); Associative Networks, Academic Press: New York Brachman, R. (1983): "What ISA is and isn't". Fairchild Lab AI Research. FLAIR TR 15. Brachman, R. /Fikes, R. /Levesque, H. 1983): "KRYPTON: A functional Appraoch to Knowledge representation". Fairchild Lab AI Research. FLAIR TR 16. Brown, R./Gilman, A. (1960): "The pronouns of power and solidarity" in: T.A. Sebeok (ed.): Style in Language. MIT-Press: Cambridge, Mass Carlson, G. (1980): Reference to Kinds in English. Garland: New York. Carlson, G. (1982): "Generic terms and generic sentences" Journ. of Philosophical Logic Carnap, R. (1956): "Meaning Postulates" in: R. Carnap: Meaning and Necessity. Chicago UP: Chicago Carnap, R. (1958): York. Introduction to symbolic logic and its applications. Dover: New Carroll, L. (1965): Alice in Wonderland & Through the Looking Glass, edited and commented by Martin Gardner: "The Annotated Alice." Penguin: Harmondworth, Middlesex. Castaneda, H. (1977): "On the philosophical foundations of the theory of communication: Reference" in: P.A. French/T.E. Uehling/H. Wettstein (eds) (1979): Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press: Minneapolis Chisholm, R. (1979): Erkenntnistheorie. dtv: MUnchen. Chomsky, N. (1956): "Three Models for Transactions on Information Theory. the descriptione Vol IT-2/ Chomsky, N. (1957): Syntactic Structures. Mouton: The Hague. of language". LR.E. Chomsky, N. (1965): Aspects of the Theory of Syritax. MIT Press: Cambridge, Mass. Chomsky, N. (1980): Rules and Representations. Basil Blackwell: Oxford.

3 291 Chomsky, N. (1981): Lectures on Government and Binding. Foris: Dordrecht. Chomsky, N. (1982): Some Concepts and Consequences of the Theory of Government and Binding. MIT-Press: Cambridge, Mass. Chomsky, N./Lasnik, H. (1977): "Filters and control". Linguistic Inquiry 8. Christopherson, P. (1939): The Articles English. Munksgaard: Kopenhagen. a Study of their Theory and Use in Clark, H.H./Clark, E.V. (1977): Psychology and language. New York. Harcourt Brace Jovanovich: Clark, H.H./Haviland, S.E. (1977): "Comprehension and the Given-New Contract". in: R. Freedle (ed.): Discourse Production and Comprehension. Lawrence Erlbaum: Hillsdale, N.J Clark, H.H./Marshall, C.R. (1981): "Definite reference and mutual A.K. Joshi/I. Sag/B. Webber (eds): Elements of Discourse Cambridge Univ. Press: Cambridge knowledge". in: Understanding. Clark, H.H./Sengul, C.J. (1979): "In search of referents for nouns and pronouns". Memory and Cognition Clocksin, W./Mellish, C. (1981): Programming in PROLOG. Springer: Berlin. Cohen, P./Feigenbaum, E. (eds) (1982): The Handbook of Artificial Intelligence, Vol. 3. Kaufman: Los Altos, Cal. Collins, A. /Loftus, E. (1975): "A spreading-activation theory processing". Psychological Review of semantic Cooper, R. (1983): Quantification and Syntactic Theory. Reidel: Dordrecht. Date, C.J. (1983): An Introduction to Database Systems. Vol II. Addison-Wesley: Reading, Mass. Davidson, D. (1980): Essays on actions and events. Oxford UP: Oxford. Devitt, M. (1981): Designation. Columbia UP: New York. van Dijk, T./Kintsch, W. (1983): Strategies of Discourse Comprehension. Academic Press: New York. Donnellan, K. (1966): "Reference and definite descriptions". Philosophical Review Donnellan, K. (1974): "Speaking of nothing". Philosophical Review Doyle, J. (1979): "A truth maintenance system". Artificial Intelligence Dretske, F.I. (1981): Knowledge and the Flow of Information. Basil Blackwell: Oxford. Drever, J. (1964; rev.ed.): The Harmondsworth. Penguin Dictionary of Psychology. Penguin: Dreyfus, H. (1979): What computers can't do. Revised edition, Harper & Row: New York.

4 292 Emde, W. (1984): Das Konzept der Sttitzmenge als Basis des maschinellen Lernens. Diplomarbeit, Fachbereich Informatik, TU Berlin. Emde, W./Habel, Ch./Rollinger, C.-R. (1983): "The discovery of the equator or concept driven learning" in: Proc. 8th IJCAI Evans, G. (1973): "The causal theory of names". Volume Aristotelian Society Supplementary Evans, G. (ed.) (1980a): "Pronouns, quantifiers and relative clauses (I)" in: M. Platts Reference, Truth and Reality. Routledge & Kegan Paul: London Evans, G. (1980b): "Pronouns". Linguistic Inquiry Evans, G. (1982): The Varieties of Reference. Oxford. ed. by: J. McDowell. Clarendon Press: Falkenberg, E. (1975): Structuring and Representation of Interface between Data Base User and Data Base Management Stuttgart. Information at the System. Diss. Univ. Fanselow, G. (1983): "Zur Behandlung der Anaphora in der generativen Grammatik - Ein tiberblick". Arbeitsberichte des SFB 99, Univ. Konstanz. Fleck, J. (1982): "Development and Establishment in Artificial Intelligence". in: N. Elias/H. Martins/ R. Whitley (eds): Scientific Establishments and Hierarchies, Sociology of the Sciences VI. D.Reidel: Dordrecht Fodor, J.A. (1983): The Modularity of Mind. MIT Press: Cambridge, Mass. Fodor, J.A./Pylyshyn, Z.W. (1981): "How direct reflections on Gibson's 'Ecological Approach'''. is visual perception? Some Cognition Frege, G. (1892): "tiber Sinn und Bedeutung". Zeits. f. Phil. & phil. Kritik NF Frey, W./Reyle, U./Rohrer, Ch. (1983): "Automatic construction of a knowledge base by analysing texts in natural language". Proc. 8th 1JCAI Ftirnsinn, M./Khenkhar, M./Ruschkowski, B. (1984): System mit riiumlichem Vorstellungsvermogen". Probleme des (Text-)Verstehens. Ansiitze Niemeyer: Ttibingen "GEOSYS - ein Frage-Antwortin: C.-R. Rollinger (Hrsg.): der Ktinstlichen Intelligenz. Geach, P. (1968, 2nd. emend. ed.): Reference and Generality. Cornell Univ. Press: Ithaca, N.Y. Gericke, H. (1967; 2.Aufl.): Theorie der Verbiinde. BI: Mannheim. Gibson, J. (1979): The Ecological Approach to Visual Perception. Houghton Mifflin: Boston. Glubrecht, M. / Oberschelp, A. / Todt, G. (1983): Klassenlogik. B1: Mannheim. Grice, H.P. (1975): "Logic and Conversation". in: P. Cole/J.C. Morgan (eds) (1975): Speech Acts. Academic Press: New York Grosz, B. (1978): "Discourse knowledge" in: D. Walker (ed.): Understanding Spoken Language. North-Holland: New York

5 293 Grosz, B. (1981): "Focusing and description in natural Joshi, A./Webber, B./Sag, I. (eds): Elements of Cambridge UP: Cambridge language dialogues". in: Discourse Understanding. Gtinther, S. (1984 a): "Zur Repriisentation temporaler Beziehungen in SRL". TU Berlin, FB Informatik: KIT-Report 21. Giinther, S. (1984 b): "Zur Repriisentation C.-R. Rollinger (Hrsg.): Probleme des und Verarbeitung zeitlichen Wissens" in: (Text-) Verstehens. Niemeyer: Tiibingen. Gtinther, S./Habel, Ch./Rollinger, C.-R. (1983): "Ereignissnetze: Zeitnetze und referentielle Netze". in: Linguistische Berichte Guenthner, F. /Lehmann, H. (1984): "Automatic construction of representation structures". Proc. COLING-84 (Stanford) discourse Gust, H./Habel, Ch./Rollinger, C.-R. (1981): "Language-World communication model". TU Berlin, FB-Informatik Bericht Systems: A Haack, S. (1978): Philosophy of Logics. Cambridge University Press: Cambridge. Habel, Ch. (1979): Aspekte bewertender Grammatiken. Einhorn: Berlin Habel, Ch. (1981): "Zur Geschichte von Referenzobjekten - Teil I: Diskursmodelle". ms., Berlin. Habel, Ch. (1982a): "Referential nets with attributes". in: COLING-82. North-Holland: Amsterdam J. Horecky (ed.): Proc. Habel, Ch. (1982b) "Textverstehende Systeme: Ein Informatik - Kognit ionswissenschaft ". in: GI (Hrsg.). Springer: Berlin Beispiel fiir die Beziehung 12. Jahrestagung, J. Nehmer Habel, Ch. (1983a): "Inferences Schwarze/A. v. Stechow (eds): Gruyter: Berlin the base of semantics?" in: R. Biiuerle/Ch. Meaning, Use, and Interpretation of Language. de Habel, Ch. (1983b): "Logische Systeme und Repriisentationsprobleme" in: B. Neumann (Hrsg.): GWAI-83. Springer: Berlin Habel, Ch. (1984a): "SRL und Textverstehen". des (Text-) Verstehens. Ansiitze der Tiibingen in: C.-R. Rollinger (Hrsg.): Probleme Kiinstlichen Intelligenz. Niemeyer: Habel, Ch. (1984b): "Zur Repriisentation der referentiellen Struktur". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Ansiitze der Kiinstlichen Intelligenz. Niemeyer: Tiibingen Habel, Ch. (1984c): "Stories erscheint in: Poetics, An Artificial Intelligence Perspective (?)". Habel, Ch. (1985a): "Referential Nets as Knowledge Structures - some structural and dynamical properties". in: T. Ballmer (ed.): Linguistic Dynamics. de Gruyter: Ber lin Habel, Ch. (1985b): "Das Lexikon in der Forschung der Kiinstlichen Intelligenz". in: Ch. Schwarze / D. Wunderlich (Hrsg.): Handbuch der Lexikologie. Atheniium: Konigstein/Ts

6 294 Habel, Ch./Reddig, C./Rollinger, C.-R. (1981): "Term-Sortierung in MSRL". SNP Report 1/80. (in: Schneider et al , ) Habel, Ch./Rollinger, C.-R. (1982): "EZH-Strukturen als Textrepriisentation - Ein Beispiel". in I. Batori/H.D. Lutz/J. Krause (Hrsg.): Linguistische Datenverarbeitung, Versuch einer Standortbestimmung im Umfeld von Informationslinguistik und Klinstlicher Intelligenz. Niemeyer: Tlibingen Habel, Ch./Rollinger, C.-R. (1985): "Lernen und Wissensaquisition". (Hrsg.): Klinst1iche Intelligenz Repriisentation von natlirlichsprachliche Systeme. KIFS-84. Springer: Berlin in: Ch. Habel Wissen und Habel, Ch./Schmidt, A. (1979): "Eine modallogische Repriisentationssprache zur Darstellung von Wissen". in: Vandeweghe, W. IVan de Velde, M. (Hrsg.): Bedeutung, Sprechakte und Texte. Niemeyer: Tlibingen Hajicova, E./Vrbova, J. (1982): "On the role of the hierarchy of activation in the process of natural language understanding". in: J. Horecky (ed.): COLING82. North Holland: Amsterdam Hankamer, J./Sag, 1. (1976): "Deep and surface anaphora". Linguistic Inquiry Hauge 1 and, John (1978): "The Nature and Plausibilities of Cognitivism". in: J. Haugeland (ed.)(1981): Mind Design. Bradford: Montgomery VT Haugeland, J. (1985): Artificial Intelligence - The Very Idea. MIT Press: Cambridge, Mass.. Hausser, R. (1979): "How do pronouns denote?" in: F. Heny/H. Schnelle (eds): Selections from the Third Groningen Round Table. Syntax and Semantics 10. Academic Press: New York Hawkins, J. (1978): Definiteness and Indefiniteness. Croom Helm: London. Hayes, P. (1977): "In defence of logic". 5th IJCAI, Cambridge, Mass Hayes, P. (1979): "The Naive Physics Manifesto". D. Michie (ed.): Expert Systems in the Microelectronic Age. Edinburgh University Press. Edinburgh Hayes, P. (1980): "The logic of frames". in D. Metzing (ed.): Frame Conceptions and Text Understanding. de Gruyter: Berlin Heidolph, K./Fliimig, W./Motsch, W. (Hrsg.) (1981): Grundzlige einer deutschen Grammatik. Akademie-Verlag: Berlin (DDR). Heim, I. (1982): The Semantics of Definite and Indefinite Noun Phrases. Ph.D. dissertation Univ. at Amherst. (distributed by SFB 99, Univ. of Konstanz) Heim, 1. (1983): "File change semantics and the familiarity theory of definiteness". in: R. Biiuerle/Ch. Schwarze/A.v. Stechow (eds): Meaning, Use, and Interpretation of Language. de Gruyter: Berlin Herrmann, Th./Laucht, M. (1976): "On multiple codability of objects". Psychological Research Hewitt, C./Attardi, system OMEGA". G./Simi, M. (1980): "Knowledge embedding in the description 1st AAAI Conference

7 295 Higginbotham, J. (1980): "Pronouns and bound variables". Linguistic Inquiry Higginbotham, J. (1983a): "The Logic Alternative to Situation Semantics". Higginbotham, J. (1983b): "Logical form, of Perceptual Reports: An Extensional in: Journal of Philosophy binding, and nominals". Linguistic Inquiry Hilbert, D/Bernays, P. (1968): Grundlagen der Mathematik I (2.Aufl.). Springer: Berlin. Hilbert, D./Bernays, P. (1970): Grundlagen der Mathematik II (2.Aufl.). Springer: Berlin. Hirst, G. (1981): Anaphora in Natural Language Understanding: A Survey. Springer: Berlin. Hoeppner, W. et a1. (1983): "Beyond domain independance. Experience with the development of a German language access system to highly diverse background systems". Proc. of 8th IJCAL Hormann, H. (1983): "The calculating listener or how many are 'einige', and 'ein paar' ". in: R. Bauerle/Ch. Schwarze/A. v. Stechow (eds): Use, and Interpretation of Language. de Gruyter: Berlin 'mehrere' Meaning, Hornstein, N. (1984): Logic as Grammar. MIT-Press: Cambridge, Mass. Israel, D. (1983): "A prolegomenon to situation semantics". 21st Ann. Meeting of the ACL Jackendoff, R. (1983): Semantics and Cognition. MIT Press: Cambridge, Mass. Jackendoff, Ray (1985): "Information is in the mind of the beholder". Linguistics & Philosophy Jameson, A./Wahlster, W. (1982): "User Modelling in Anaphora Generation: Ellipsis and Definite Description" ECAI-82 (Orcay, France), Conference Proceedings Johnson-Laird, P.N. (1980): "Mental models in cognitive science", Cognitive Science Johnson-Laird, P.N. (1982): "Formal semantics and the psychology of meaning". in S. Peters/E. Saarinen (eds): Processes, Beliefs, and Questions. Reidel: Dordrecht Johnson-Laird, P.N. (1983): Mental models. Cambridge UP: Cambridge. Johnson-Laird, P.N./Garnham, A. (1980): "Descriptions and discourse models". Linguistics and Philosophy Johnson-Laird, P.N./Steedman, M. (1978): "The psychology of syllogisms". Cognitive Psychology Kalish, D./Montague, R. (1964): Logic - Techniques of formal reasoning. Harcourt, Brace &World: New York. Kamp, H. (1981): "A theory of truth and semantic representation". J./Janssen, T./Stokhof, M. (eds): Formal Methods in the Study 1. Mathematisch Centrum: Amsterdam in: Groenendijk, of Language. pt

8 296 Kamp, H./Rohrer, Ch. (1983): "Tense in Texts" in: R. Biiuerle/Chr. Schwarze/A. von Stechow (Hrsg.): Meaning, Use and Interpretation of Language. de Gruyter: Berlin Kanngiesser, S. (1983a): "Millers Prinzip und 'Simulation grammatischer Kreativitat', 83/3. Turings Test". Arbei tsbericht: Univ. Osnabrtick. Kanngiesser, S. (1983b): "Linguistische Erklarungen und linguistische Simulationen". Arbeitsbericht: 'Simulation grammatischer Kreativitat', 83/8. Univ. Osnabrtick. Kanngiesser, S. (1983c): "Chomsky's Selbstreproduktion, maschinelle Sprachbeherrschung. Arbeitsbericht: 83/11. Univ. Osnabrtick. Sprecher-Horer-Modell oder Selbstorganisation, 'Simulation grammatischer Maschinelle maschinelle Kreati vitat', Kanngiesser, S. (1984): "SimulationsKonzepte des Wissens und der C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Klinstlichen Intelligenz. Niemeyer: Ttibingen Grammatik" in: Ansatze der Kaplan, D. (1966): "Rescher's plurality quantification". Journal of Symbolic Logic Keil, F. (1979): Semantic and conceptual development. Harvard University Press: Cambridge Mass. Kintsch, W. (1977): Memory and Cognition. Wiley: New York. Konrad, E. (1976): Formale Semantik Fachbereich Informatik, TU Berlin. von Datenbanksprachen. Dissertation, Kosslyn, S.M. (1978): "Imagery and Internal Representation". in: Rosch, E./Lloyd, B. (eds): Cognition and Categorization. Lawrence Erlbaum: Hillsdale, N.J Kosslyn, S.M. (1981): "The Medium and the Message in Mental Imagery. A Theory". Psychological Review , auch in: N. Block (ed.)(1981): Imagery. MIT Press, Cambridge, Mass Kripke, S. (1977): "Speaker's reference and semantic reference" in: P. A. French/T. E. Uehling/H. Wettstein (eds) (1979): Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press: Minneapolis Kripke, S. (1980): Naming and Necessity. Rev. ed. Basil Blackwell: Oxford. v. Kutschera, F.(1967): Elementare Logik. Springer Verlag: Wien. Lehrer, K. (1974): Knowledge. Clarendon Press: Oxford. Lehrer, K. (1981):" A self profile". Bogdan, R. (ed.): K. Lehrer. D. Reidel: Dordrecht Levesque, H. (1981): "The interaction with incomplete knowledge bases: a formal treatment". 7th IJCAI Levesque, H. (1982): A Formal Treatment of Incomplete Knowledge Bases. Fairchild Lab. Artif. Intelligence: FLAIR TR 3. Levesque, H./Mylopoulos, J. networks". in: N. Findler York (1979) : (ed.) : "A procedural semantics for semantic Associative Networks. Academic Press: New Levi, I. (1980): The Enterprise of Knowledge. MIT Press: Cambridge, Mass.

9 297 Lewis, D. (1969): Convention: A philosophical study. Harvard University Press: Cambridge, Mass. Linsky, L. (1977): Names and Description. University of Chicago Press: Chicago. Lipski, W. (1979): "On semantic issues connected with incomplete information databases". Transactions on Database Systems Loveland, D. (1978): Automated Theorem Proving: A Logical Basis. North-Holland: Amsterdam. Macnamara, J. (1982): Names for Things. MIT Press, Cambridge, Mass. Martin, R.L. (ed.) (1984): Oxford. Recent Essays on Truth and the Liar Paradox. Oxford UP: May, R. (1977): The Grammar of Quantification. 1982). Ph. Dissertation MIT (publ. by: IULC May, R. (1983): Logical Form as a Level for Linguistic Representation. IULC. McCarthy, J. (1979): "Individual Concepts and Propositions". in: D. Michie (ed.): Expert Systems in the Microelectronic Age. Edinburgh UP McCorduck, P. (1979): Machines who think. W. Freeman: New York. McDermott, D. (1982a): "Nonmonotonic logic II: nonmonotonic modal theories". Journal of the ACM McDermott, D. (l982b): "A Temporal Logic for Reasoning about Processes and Plans". Cognitive Science McDermott, D./Doyle, J. (1980): "Non-Monotonic Logic I" Artificial Intelligence Michalski, R./Carbonell, J./Mitchell, Artificial Intelligence Approach. T. (eds) (1983): Machine Tioga Pub.: Palo Alto Learning: An Miller, G. A. (1956): "The Magical Number Seven, plus or minus Review auch in: G.A. Miller (1968): Communication. Penguin. two". Psychological The Psychology of Miller, G.A. (1964): "Computers,Communication and Cognition". Guildhall Lectures, Granada TV Network, Manchester. auch in: G.A. Miller (1968): The Psychology of Communication. Penguin Miller, G.A. (1968): The Psychology of Communication. Penguin. Miller, G.A. (1978a): "Semantic relations among words", Miller (eds): Linguistic theory and psychological in: M. Halle/J. Bresnan/G. reality. Cambridge, Mass. Miller, G.A. (1978b): "Practical and Lexical Knowledge". Rosch,E. /Lloyd, B. (eds): Cognition and Categorization. Erlbaum: Hillsdale N.J Miller, G.A./Galanter, E./Pribram, K. (1960): Plans and the Structure of Behavior". Holt, Rinehart & Winston: New York. Miller, G.A./Johnson-Laird, P.N. (1976): Language and Perception. Cambridge Univ. Press: Cambridge.

10 298 Minsky, M. (1974): A Framework for Representing Knowledge. MIT: AI-Lab. Memo 306. Teilweise abgedruckt in P.H. Winston (ed.) (1975): The psychology of computer V1S1on. McGraw Hill: New York , bzw. in: J. Haugeland (ed.) (1981): Mind Design, MIT Press, Cambridge, Mass Moore, R. (1982): "The Role of Logic in Knowledge Representation and Commonsense Reasoning". Proceedings of AAAI-Conference Moore, R. (1983): "Semantic considerations on nonmonotonic logic". 8th IJCAI (Karslruhe), expanded version: SRI Techn. Note 284. Moore, R. (1984): "A Formal Theory of Knowledge and Action". SRI Technical Note 320. to appear in: J.R. Hobbs/R.C. Moore (eds): Formal Theories in the Common Sense World. Ablex Publ. Norwood, N.J. Morik, K. (1982): trberzeugungssysteme der Ktinstlichen Intelligenz. Niemeyer: Ttibingen Morik, K./Rollinger, C.-R. (1983): "Partnermodellierung im Evidenzraum". in: B. Neumann (Hrsg.): GWAI-83. Springer: Berlin. Mostowski, A. (1957): "On a generalization of quantifiers" Fundamenta Mathematicae Neumann, B. (1984): "Umrisse einer Imaginationskomponente". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-)Verstehens. Ansatze der Ktinstlichen Intelligenz. Niemeyer: Ttibingen Neumann, B./Novak, H.-J. (1983): Event Models for Recognition and Natural Language. Description of Events in Real-World Sequences". IJCAI Newell, A. (1980): "Physical symbol systems". Cognitive Science Newell A. /Simon H. A. (1956): "The logic theory machine". IRE Transactions on Information Theory, 11-2(3) Newell A./Simon, H.A. (1972): Human Problem Solving. Prentice Hall: Englewood Cliffs N.J. Novak, H.-J./Neumann, B. (1984): "Szenenbeschreibung und Imagination in NAOS". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-)Verstehens. Niemeyer: Ttibingen Oberschelp, A. (1962): "Untersuchungen zur mehrsortigen Quantorenlogik". Mathematische Annalen Oberschelp, A. (1977): "Eine erweiterte Pradikatenlogik" (Hrsg.): Kasustheorie, Klassifikation, semantische Hamburg in: K. Heger/J. Petofi Interpretation. Buske: Ogden, C.K./Richards, I.A. (1923): The Meaning of Meaning. London Ortony, A./Anderson, R. C. (1977): "Definite descriptions and semantic memory". Cognitive Science Paivio, A. (1983): "The Empirical Imagery, Memory and Cognition. Case for Dual Coding". in: J. Yuille (ed. ): Lawrence Erlbaum: Hillsdale, N.J Palmer, S. (1978): "Fundamental aspects of cognitive representation". in Rosch, E./Lloyd, B. (eds): Cognition and Categorization. Lawrence Erlbaum: Hillsdale, N.J

11 299 Partee, B.H. (1973): "Some structural analogies between tenses and pronouns in English". Journ. of Philosophy Peters, P.S./Ritchie, R.W. (1973a): "On the Generative Power Grammars". Information Sciences of Transformational Peters, S./Ritchie, W. (1973b): "Nonfiltering and local filtering Transformational grammars". in: J. Hintikka/J. Moravsik/P. Suppes (eds): Approaches to Natural Languages. Reidel: Dordrecht Piatelli-Palmarini, Massimo (ed.) (1980): Language and Learning. Routledge and Kegan Paul: London. Pinkal, M. (1985): Logik und Lexikon. Die Semantik des Unbestimmten. degruyter: Berlin. Platts, M. (1979): Ways of Meaning. Routledge & Kegan Paul: London. Pribbenow, S. (1984): Fragebeantwortung. Untersuchungen zu Belnaps vierwertiger Logik in der Diplomarbeit, Fachbereich Informatik, TU Berlin. Pribham, K.H. (1971): Languages of the Brain. Prentice-Hall, Englewood-Cliff, N.J. Priest, G. (1984): "Logic of paradox revisited". Journ. of Phil. Logic di Primio, F./Christaller, T. (1983): "A Poor Man's Flavor System". Institut da11e molle ISSCO, Working Paper 47. Genf. Prince, E. (1979): "On the given-new distinction" in: Clyne, P./Hanks, W./Hofbauer, C. (eds): CLS Prince, E. (1981): "Toward a taxonomy of given-new information". in: Cole, P. (ed.): Radical Pragmatics. Academic Press: New York Putnam, H. (1975): "The meaning of 'meaning' It. in: K. Gunderson (ed.): Language, mind and knowledge. University of Minnesota Press: Minneapolis. Wieder abgedruckt in: H. Putnam: Mind, language and reality. Cambridge UP: Cambridge, Putnam, H. (1978): "Reference and understanding" in: Putnam, H.: Meaning and the Moral Sciences. Routledge & Kegan Paul: London Pylyshyn, Z.W. (1973): Bulletin "What the mind's eye tells the mind's brain". Psychological Pylyshyn, Z.W. (1980): "Computation and Cognition: issues in the foundations of cognitive science". Behavioural and Brain Sciences Pylyshyn, Z. W. (1981): "The Imagery Debate: Knowledge".Psychological Review Imagery. MIT Press Analogue Media auch in: N. Block Versus Tacit (ed.) (1981): Quillian, M. (1968): "Semantic memory". in: M. Minsky (ed.): Semantic Information Processing. MIT Press: Cambridge, Mass Quine, W.V.O. (1951/ rev. ed. 1981): Mathematical Logic. Harvard UP. Cambridge, Mass. Quine, W.V.O. (1956): "Quantifier and Philosophy propositional attitudes". Journal of

12 300 Quine, W.V.O. (1969, rev. ed.): Set Theory and its Logic. Harvard UP. Cambridge, Mass. Reichenbach, H. (1947): Elements of symbolic logic. New York. Reichman, R. (1978): "Conversational coherency". Cognitive Science Reinhart, T. (1983): Anaphora and Semantic Interpretation. Croom Helm: London Reiter, R. (1980a): "A logic for default reasoning". Artificial Intelligence Reiter, R. (1980b): "Equality and domain closure in first-order databases". JACM Rescher, N. (1962): "Plurality quantification". Journal of Symbolic Logic Rescher, N. (1969): Many-valued Logic. McGraw Hill: New York. Rescher, N. (1984): The Limits of Science. University of California Press: Berkeley, Cal.. Rescher, N./Brandom, R. (1980): The Logic of Inconsistency. Basil Blackwell: Oxford. Rescher, N./Urquhart, A. (1971): Temporal Logic. Springer: Wien. Rogers, R. (1971): Mathematical Logic and Formalized Theories. North Holland: Amsterdam. Rollinger, C.-R. (Hrsg.) (1984): Probleme des (Text-) Verstehens. Ansatze der Klinstlichen Intelligenz. Niemeyer: Tlibingen. Rollinger, C.-R. (1984a): "Zur Reprasentation der argumentativen Struktur von Texten" in: C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Verstehens. Ansatze der Klinstlichen IntelIigenz. Niemeyer: Tlibingen Rollinger, C.-R. (l984b): "Die Reprasentation natlirlichsprachlich formulierten Wissens Behandlung der Aspekte Unsicherheit und Satzverkniipfung". Dissertation, FB Informatik, TU Berlin. Rosch, E. (1977): "Human categorization". in: Warren, N. (ed.): Advances in crosscultural psychology, vol 1. Academic Press: New York Rosenschein, S. (1983): "Natural-Language Processing: Crucible for Computational Theories of Cognition". 8th IJCAI (Karlsruhe) Russell, B. (1905): "On denoting". Mind Russell, B. (1973): Autobiographie II. Suhrkamp: Frankfurt. Ryle, G. (1949): The Concept of Mind. Repr. bei: Penguin Univ. Books: Harmondsworth, Middlesex. (1973). Salmon, N. (1982): Reference and Essence. Basil Blackwell: Oxford. Samet, J./Schank, R. (1984): "Coherence and Connectivity". Linguistics and Philosophy Schank, R. (1975): Conceptual Information Processing. North-Holland: Amsterdam.

13 301 Schank, R. (1982): Dynamic Memory. Cambridge UP: Cambridge. Schank, R. (1984): The Explantion Game. Yale Univ. Compo Science Dep. RR 307. Schank, R./Abelson, R. New Jersey. (1977): Scripts, plans, goals and understanding. Hillsdale; Schiffer, S. (1972): Meaning. Clarendon Press: Oxford. Schmidt, A. (1938): "tfuer deduktive Theorien mit mehreren Sorten von Grunddingen". Mathematische Annalen Schneider, H. -J. et al. (1981): "Automatische Erstellung semantischer Netze". Forschungsbericht. Technische Universiat Berlin. Schubert, L. (1976): "Extending the expressive power of semantic networks". Artificial Intelligence Schubert, L./Goebel, R./Cercone, N. (1979): "The structure and organization of a semantic net for comprehension and inference". in: N. Findler (ed.): Associative Networks. Academic Press: New York Schwarz, D. (1979): Naming and Referring. de Gruyter: Berlin. Scott, D. (1970): "Outline of a mathematical theory of computation". 4th Ann. Princeton Conf. on Information Sciences & Systems Sga11, P./Hajicova, E./Benesova, E. (1973): Scriptor: Kronberg/Ts. Shannon, C. (1950): A Chess-Playing Machine. Topic, Focus and Generative Semantics. Scientific American 182, Febr. Sidner, C. (1979): Disambiguating References and Interpreting Sentence Purpose in Discourse. in: P.H. Winston, R.H. Brown (eds): Artificial Intelligence: An MIT Perspective - Vol 1. MIT-Press: Cambridge, Mass Sidner, C. (1983): "Focusing in Brady/R. Berwick (eds): Cambridge, Mass the comprehension of definite anaphora". in: M. Computational Models of Discourse. MIT-Press: Simmons, R./Bruce, B. (1971): "Some relations between predicate calculus and semantic net representations of discourse". Proc. 2nd IJCAI Simon, H. (1980): "Cognitive Science: the newest science of the artificial". Cognitive Science Simon, H. (1981, 2nd. ed.): The Sciences of the Artificial. MIT Press: Cambridge, Mass. Smith, E./Medin, D. (1981): Categories and Concepts. Harvard UP: Cambridge, Mass. Steels, L. (1981): "Programming with objects using ORBIT". Schlumberger Doll: AI Memo 13. Stich, S.P. (1983): From Folk Psychology to Cognitive Science. MIT Press: Cambridge, Mass. Stoy, J. (1977): Denotational Semantics. MIT-Press: Cambridge, Mass. Strawson, P.F. (1959): Individuals. Methuen: London.

14 302 Tulving, E. (1972): "Episodic and semantic memory". in: E. Tulving/W. Donaldson (eds): Organization of memory. Academic Press: New York Tulving, E. (1983): Elements of Episodic Memory. Clarendon Press: Oxford. Turing, A.M. (1950): "Computing machinery and intelligence". Mind Ullman, J. (1980): Principles of Database Systems. Pitman: London. Vater, H. (1984): "Determinantien und Sprachwissenschaft Quantoren im Deutschen". Zeits. f. Visser, A. (1984): "Four valued semantics and the liar". Journ. of Phil. Logic Wahlster, W. (1982): "Aufgaben, Standards und Perspektiven sprachorientierter KI Forschung". 1. Batori/H.D. Lutz/J. Krause (Hrsg.): Linguistische Datenverarbeitung, Versuch einer Standortbestimmung im Umfeld von Informationslinguistik und Klinstlicher Intelligenz. Niemeyer: Tlibingen Waltz, D. (1981): "Generating and Understanding Scene Descriptions". A. Joshi/B. Webber/I. Sag (eds): Elements of Discourse Understanding. Cambridge UP Webber, B.(1979): A Formal Approach to Discourse Anaphora. Garland: New York. Webber, B. (1983): "So what can we talk Computational Models of Discourse. about now". in: M. Brady/R. Berwick (eds): MIT-Press: Cambridge, Mass Webster (1981): New Webster's Dictionary of the English Language. College Edition. Delair Publ. Compo New York. Weyhrauch, R.W. (1980): Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence Wiggins, D. (1980): "'Most' and 'all': some comments on a familiar programme, and on the logical form of quantified sentences". in: M. Platts (ed.): Reference, Truth and Reality. Routledge & Kegan Paul: London Winograd, T. (1974): "Five lectures on Artificial University, Compo Science Dept. Report: CS Intelligence". Stanford Winograd, T. (1975): "Frame representations and the declarative / procedural controversy". in: D.Bobrow/A. Collins (eds): Representation and Understanding. New York Winograd, T. (1983): Language as a Cognitive Process. Vol 1: Syntax. Addison Wesley: Reading. Winston, P.H./Horn, B. (1981): LISP. Addison-Wesley: Reading, Mass. Woodruff, P. (1984): "Paradox, truth and logic. Part I: Paradox and truth". Journ. of Phil. Logic

15 A INDEX Aktivierung 155f, 163f. Alternativenentscheidung 196ff Alternativengenerierung 197 Alternativenraum 196 analoge Reprasentation 40 Anaphern 97ff, 102f, 151f, 279ff Angeborenheit 83 Antezedensanwarter 158f, 197ff Antezedens-Maxime 206 Antezedent 97ff, 197ff Approxiamationsverband 249f, 260f, 276 Approximationsstruktur 251f, 256ff Attribut 87f, 145ff, 156, 169ff, 175, 179, 181f B Bedeutung 29f, 35, 37, 61, 106 Bestimmtheit 240 Bestimmtheitsbedingung 249 Bestimmtheitsstruktur 251, 258, 260f, 267, 277, 283 E Eigennamen -) Namen El1ipsen 209f ETA-Operator 126ff, 131 Evidenzbewertung 87 existentielle Quantifikation 137 Existenzaussagen 104, 107ff F faktuelles Wissen 34, 75ff, 123ff Familiaritat 203f Fehlermerkierung 246f, 250 file-change-semantics 219, 222ff Fokus 155, 201f, 230f Fokusattribut 155, 158, 163 Fokussierung 120, 126f, 155 frame 44ff, 48 Fusion 189ff G 99ff, Gedachtnis I11f, 116, 119, 125 Generalisierung 82f Generierung 128ff, 145f, 161, 166, 193, 206ff generisch 103f, 285f Genus-Sexus 150f, 153, 155, 157f given-new 205ff D Deaktivierung 142 defaults 39, 45, 49ff, 77, 87, 246, 271, 285 definite Kennzeichnung 94ff, 100ff, 102f, 235 Definitheit 136f, 238f de re - de dicto 123ff Designation 91, 117ff, 176, 179, 193ff Designationsattribut 148ff, 156, Designationskette 121, 213 Deskription 116ff, 182f, Deskriptionsoperator 94, 131ff, 137ff, 161, 228, 236ff Discourse Representation Theory 219ff Diskursmodel1 28, 112, 140ff, 212, 226ff doppeltattributiertes RefN 159 dual coding theory 40 dummies 128 ff H historische Theorie der Referenz 215ff Homomorphie-Annahme 112 I imagery 40 indefinite Deskription 99ff, 102f, 137f, 162, 235 Indefinitheit 238f Individuenkonstante 94, 115 Individuen-RefO 132ff, 238 inferentiel1er Prozess 30, 49, 76 Inferenz-Operator 71ff Inferenzregel 51f, 71ff, 76ff, 87f Informationsapproximation 257f Informationsverarbeitendes System Informationsverarbeitungs-Prozess 4, 7, 21 7ff, 11, 27f, 32, 34, 56, 63, 109, 115, 145f, 211 Informationszuwachs 211, 257, 260f Inklusion 184ff

16 304 Inkonsistenz 274f 147, 246, 250, 269ff, Intelligenz, formale 15 Intelligenz, Ktinstliche -) Ktinstliche Intelligenz Intelligenz, synthetische 15 IP-Hypothese 9, 26 IP-Paradigma 4, 9f, 26, 167 IPS -) Informationsverarbeitendes System Iota-operator 94f, 106ff, 131ff, 236ff ISA-Hierarchie 70, 79 K Kardinalitat 132f, 237f, 240ff Kardinalitat, mogliche 244, 248f Kardinalitatsattribut 160f, 241f, 248ff Kardinalitatsberechnung 243ff Kardinalitatseigenschaften 119, 132f Kardinalitatsstruktur 249ff Kategorie 163 kausale Beziehung 42, 44 Kausale Theorie der Referenz 95f, 213, 215ff Kenntnisse 21f KI -) Ktinstliche Inte11igenz Klassen-Ref 0 131ff, 160, 163, 221, 238 Kognitionswissenschaft 2, 6, 15f, 18, 26 kognitive ~konomie 83f, 94, 184 kognitive Realitat 162 kognitiver Prozess 6f, 22 kognitive Simulation 11, 13 Kol1ektiva 102f, 131ff, 216 Konsistenz 48f, 178f, 265 Konzept 61ff, 71f, 78ff, 84ff konzeptuelle Folgerung 71ff, 84f Kontext 101 Koreferenz 96ff, 195 Korrektur 260ff, 277 Kreiierung 143, 174ff, 180f, 198f, 202ff, 212 Ktinstliche Intelligenz 2, 15f, 18, 26 L Loschung 174ff Logik, mehrwertige 57, 271, 276f logische Sprachen 38f M MANY-Operator 138, 237 Maschine, abstrakte 9, Ilff 'meist' 49ff, 103, 138, 286 menta1er Prozess 11 mentales Modell 28, 226ff Millersche These 13f Modalitat 39, 49, 59 Modularitat 21 monotone Logik 51 N Namen 93ff, 115, 148f nattirliche Sprache 6, 18, 38 Negation 104f Non-monotonie 50ff, 57, 77 o Objektwissen 34, 75ff, 112ff, 123ff, -) referentielles Netz Operator 59, 79f, 84ff, 172f Operator-Operanden-Struktur 39 P Paradoxie der 274, 276 Paradoxie des Partnermodell materiellen Implikation Ltigners permanente Entitaten 144, 194 Perzeptionsausdrticke 59, 72f Plural 102f, 131ff, 215ff, 231f Pradikatenlogik 39, 49f Prazisierung 244, 273 Pronomen 151ff propositionale Sprachen 39ff, 48 Prototyp 163 Q quantifier, generalized 138f quantifikationel1e Analyse 102f, 106ff R 99ff, Reali tat 91, 215ff Redundanz 125 referentiel1er Prozess 166ff referentielles Netz (RefN) 75ff, 112, 117ff Referenz 91ff, 100ff Referenzobjekt (Ref 0) 75ff, 115ff, 177f Referenzoperator 151ff Referenz-Situation 193ff, 208 RefO-Attribut 158ff Ref0-Identitat 190 Regel 11 Rege1schema 78f, 120

17 305 Regelwissen 34, 75ff Regularitat 43 Reprasentation 11, 89 Reprasentationsformat 35f, 39ff, 58 Reprasentationssprache 22, 37ff, 56ff, III Reprasentation von Wissen 21f, 31, 35, 37 Revision 51 S schemaorientierte Reprasentation 43, 86 Schlussfolgerung 6, 34 Script 44, 46ff semantisches Netz 39, 48 Situation 280 Situations-Semantik 216ff Sorte (Sortierung) 65ff, 163 Sortenattribut 149f, 160f Sorten-RefO 201 Sortenvertraglichkeit 68ff, 267 Splitting 19lf Sprachbeherrschung 20ff, 26, 44, 89, 92 Sprachgemeinschaft 63 SRL 59ff, 6lff Stellvertreter 115, 162 Suchraum 196 Syllogismus 228 Symbolstruktur 8f, 26, 37 T temporare Entitat 142ff, 194 Tendenzregel 97, 115, 205 Term 60, 114ff Testprozess 167ff Turing-Maschine 9 Turing-Maschinen-Psychologie 13 Turingtest 13ff 'typisch' 50ff v Vagheit 273 Variable 59, 116 Vererbung 70 Vergessen 174 Vergleichsprozess 167ff Verstehen 44 Vertraglichkeitstest 169f, 172f Verweisoperator 184ff, 190 Vollstandigkeit 48f, Unvo11standigkeit Vorwissen 22f W Wahrheitskriterium rur Wissen 21 Wahrheitswertlticke 278 Wahrnehmung 34 Weltmodel1 (WM) 28ff, 32, 37, 75ff, 108f, 112, 140ff, 166f, 212 We1tmodell, Veranderung von 30, 166f, 189f, 193ff Welt, projizierte 27f, 32, 37, 89ff, 115f, 141, 162, 215ff Welt, reale 26ff, 37f Weltwissen 22, 25, 31, 99 widersprtichlich Dua1es 251 Wissen 20, 31f, 34 Wissen, explizit vs. implizit 76f wissensbasierter Prozess 22 wissensbasiertes System 11 Wissensquel1e (-spur) 33, 88, 147, 164 Wissenssystem (-bestand) 22, 25, 32, 75ff, 123ff, 140ff, 211 Wohlgeformheitsbedingung 65, 84f, 178f z zeitliche Struktur 43f, 281f Zeit-Ref 0 28lff Zustand eines IPS 30 Zustand, mentaler 26, 30, 61 -) U Uberbestimmtheit 244f, 251, 269ff Unbestimmtheit 241f, 251 Unitatsbedingung 94, 100f, 104, 107, 132, 236 Unsicherheit; 50 Unterbestimmtheit Unvol1standigkeit 239, 269ff 50, 269ff

18 Personenregister A Abelson 26, 42, 44, 46f Anderson Ill, 163, 191 B Bartlett 43 Barwise 38, 58, 72f, 106, 138, 216ff, 237 Belnap 51, 58, 125, 231, 259f, 269, 274ff Bernays 94 Block 40, 135f Bobrow 44, 190 Bower 111 'Brachman 39, 44, 69, 80 C Carlson 103f, 285 Carnap 71, 119 Carroll 20, 104f Chisholm 32 Chomsky 4f, 9, 21, 23, 26, 65, 83 Clark 163f, 205ff, 225ff Collins 83f Cooper 138, 237 D Devitt 95, 116, 120, 213, 215 Donneilan 91, 95, 215 Doyle 51f Dretske 83, 86 Dreyfus 3, 10, 14 E Euler 33 Evans 96, 108, 215 F Fodor 21, 26 Frege 213 G Geach 109 Glubrecht 132 Grice 134, 206, 247 Grosz 155, 213 H Hajicova 155, 202 Haugeland 10, 15 Haviland 205f, 225 Hawkins 203, 235 Hayes 39, 48, 84 Heim 99, 101, 106, 109, 133, 203, 219, 222ff Herrmann 164 Hilbert 94 Hornstein 106 J Jackendoff 27, 62, 80, 91 Jameson 209f Johnson-Laird 28, 71, 141, 226ff K Kanngiesser 13f, 20f, 24, 32ff, 88, 147, 196 Kamp 106, 219ff, 282f Keil 163 Kintsch lll, 141, 163, 174, 225 Kosslyn 40 Kripke 91, 96, 117, 120, 164, 215 L Laucht 164 Lehrer 32 Levesque 270 Lewis 206f Loftus 83f M Macnamara 61, 163 Marshall 164, 207, 225fT McCarthy 3, 39 McDermott 52, 282 Miller 4f, 13, 24, 71, 84 Minsky 39, 44, 50 Montague 59 Moore 39, 51 Morik 31, 106f Mostowski 138 N Neumann Newell 34, 40 4, 7, 9f, 167 Novak 40 o Oberschelp 65f, 69, 132 P Paivio 40 Perry 38, 72f, 106, 216ff Pinkal 273 Q Quillian 39 Quine 115, 123f, 132 R Reichman 155 Reiter 50, 52, 58, 270f Rescher 90, 274, 282, 286 Rohrer Rosch Russell Ryle 41 S 282f ff, 108 Schank 26, 42, 44, 46, 175 Schmidt 65, 69 Schubert 39 Scott 249, 251, 257, 260, 269, 276 Shannon 2 Sgall 155 Sidner 230ff Simon 4, 9, 167, 196 Stich 26, 124 Stoy 249f, 260

19 307 T Todt 132 Turing 5, 13ff Tu1ving 22, 24 v van Benthem 138, 282 van Dijk 141, 225 Vater 236ff 237, W Wah1ster 54, 209f Webber 231ff Winograd 23, 26, 40f, 44, 48, 86, 140

20 SRL-Abkiirzungen ALL_t 132ff ATT 88 card 132 CARD 248 CLASS 139 D-ATT 156 DESCR 117 DESIGN 117 dum 128f EFF 59 ETA 126 F 75 FOR 59 In 190 IOTA 94 MANY t OP 59 R 75 R-ATT 159 REF-N 117 RefN 75 Ref REFO 115 RRL 72 RUL 72 SOME_t 137 SRL 60 SUB 185 SUPER 185 TER 60 TYP 59 VAR 59 W-CARD 254 Operator der definiten p1uralen Deskription Menge von Attributen Kardinalitat Menge moglicher Kardinalitaten Operator der extensionalen Klassenbildung Menge der Designationsattribute Menge der deskribierenden Terme Menge der designierenden Ausdrlicke DUlIDIly-Symbol Effekt Operator der indefiniten singularen Deskription Faktenwissen Menge der wohlgeformten Formeln Identitatsverweis zwischen Ref Os Operator der definiten singularen Deskription indefiniter pluraler Deskriptionsoperator ('viele') Objektwissen Menge der SRL-Operatoren Regelwissen Menge der RefO-Attribute Referentielles Netz (als Wissenstruktur) Referentielles Netz Referenzobjekt Menge der Referenzobjekte Regelreprasentationssprache Menge der Regeln Operator der indefiniten p1uralen Deskription Menge der woh1geformten Ausdrlicke Verweisoperator der Ink1usion Verweisoperator der Ink1usion Menge der woh1geformten Terme Typ eines Operators Menge der Variab1en Menge widersprtich1icher Kardina1itaten

21 Irammierumgebungen: Entwicklungswerkzeuge und iprachen, Herausgegeben von W. Sam mer und W, I 236 Seiten, 1984, ~e Informationstechnologlen und Verwaltung, Pro- 13, Herausgegeben von R, TraunmQller, H, Fiedler, K H, Reinermann, XI, 402 Selten, 1984, rdinaten von Informationen, Proceedings, 1983, Her IOn R. Kuhlen, VI, 366 Seiten, 1984, ode, Mlkroarchitekturen und Mikroprogrammierung: hreibung und Optimierung, 6, Seiten, 1984, tware-fehlertoleranz und -Zuverliissigkeit. Heraus :: Belli, S, Pfleger und M, Seifert, VII, 297 Seiten, 1984, hlertolerierende Rechensysteme, 2, GI/NTG/GMR Bonn 1984, Herausgegeben von K-E. GroBpietsch n, X, 433 Seiten, 1984, ulationstechnik. Proceedings, 1984, Herausgegeben Bcker und W, Kleinert, XII, 676 Seiten, 1984,,eBrechner 1984, 4, GI/GMR/KfK-Fachtagung, Karls Iber 1984, Herausgegeben von H, Trauboth und A. I 710 Seiten, 1984, lterkennung 1984, Proceedings, 1984, Herausgege 'opatsch, IX, 351 Seiten, 1984, 14, Jahrestagung, Braunschweig, Oktober 1984, Prorausgegeben von H,-D, Ehrich, IX, 451 Seiten, 1984, chgespriiche auf der 14, GI-Jahrestagung, Braun )ber 1984, Herausgegeben von H,-D, Ehrich, V, 267 Irmatik als Herausforderung an Sc;hule und Ausbilhtagung, Berlin, Oktober 1984, Herausgegeben von Haefner, X, 416 Seiten, 1984, Stoyan, Maschinen-unabMngige Code-Erzeugung lrhaltende beweisbare Programmtransformation, IV, 984, me Multlfunktionale BOroarbeltspliitze, Proceedings, ;gegeben von F. KrOckeberg, S, Schindler und 0, 35 Seiten, 1985, Instliche Intelligenz, FrOhjahrsschule Dassel, Miirz gegeben von C, Habel. VII, 320 Seiten, 1985, tenbank-systeme for BOro, Technik und Wirtschaft. 1985, Herausgegeben von A. Blaser und P. Pistor,,1985, nmunikation in Verteilten Systemen I. GI-NTG-Fach :ruhe, Miirz 1985, Herausgegeben von D, Heger, G, aniol und W. Zorn, IX, 691 Seiten, 1985, lanisation und Betrieb der Informationsverarbeitung, 1985, Herausgegeben von W, Dirlewanger, XI, 261 ~i1imer, Systematische Software- Qualitiitssicherung lualitiits- und Produktmodellen, VII, 162 Seiten, 1985, entliche Verwaltung und Informationstechnik, Neue 1, neue Probleme, neue Perspektiven, Proceedings,,gegeben von H, Reinermann, H, Fiedler, K Grimmer, t TraunmOller, X, 396 Seiten, 1985, <Ospert, Fehlererkennung und Fehlerbehandlung in sstrukturen von Datenbanksystemen, IX, 294 Seiten, Band 100: W. Lamersdori, Semantische Repriisentation komplexer Objektstrukturen, IX, 187 Seiten, 1985, Band 101: J, Koch, Relationale Anfragen, VIII, 147 Seiten, 1985, Band 102: H,-J, Appelrath, Von Datenbanken zu Expertensystemen, VI, 159 Seiten, 1985, Band 103: GWAI-84, 8th German Workshop on Artificial Intelligence, WingsVStade, October 1984, Edited by J, Laubsch, VIII, 282 Seiten, 1985, Band 104: G, Sagerer, Darstellung und Nutzung von Expertenwissen for ein Bildanalysesystem, XIII, 270 Seiten, 1985, Band 105: G, E. Maier, Exceptionbehandlung und Synchronisation, IV, 359 Seiten, 1985, Band 106: Osterreichische Artificial Intelligence Tagung, Wien, September 1985, Herausgegeben von H, Trost und J, Retti. Viii, 211 Seiten, 1985, Band 107: Mustererkennung 1985, Proceedings, 1985, Herausgegeben von H, Niemann, XIII, 338 Seiten, 1985, Band 108: GI/OCG/OGJ-Jahrestagung 1985, Wi en, September 1985, Herausgegeben von H, R. Hansen, XVII, 1086 Seiten, 1985, Band 109: Simulationstechnik, Proceedings, 1985, Herausgegeben von D, P. F. Moller, XIV, 539 Seiten, 1985, Band 110: Messung, Modellierung und Bewertung von Rechensystemen, 3, GI/NTG-Fachtagung, Dortmund, Oktober 1985, Herausgegeben von H, Beilner, X, 389 Seiten, 1985, Band 111: Kommunikation in Verteilten Systemen II, GI/NTG-Fachtagung, Karlsruhe, Marz 1985, Herausgegeben von D, Heger, G, Krager, 0, Spaniol und W. Zorn, XII, 236 Seiten, 1985, Band 112: Wissensbasierte Systeme, GI-KongreB 1985, Herausgegeben von W, Brauer und B, Radig, XVI, 402 Seiten, 1985, Band 113: Datenschutz und Datensicherung im Wandel der Informationstechnologien, 1, GI-Fachtagung, MOnchen, Oktober 1985, Proceedings, 1985, Herausgegeben von P. P. Spies, Viii, 257 Seiten, 1985, Band 114: Sprachverarbeitung in Information und Dokumentation, Proceedings, 1985, Herausgegeben von B, Endres-Niggemeyer und J, Krause, Viii, 234 Seiten, 1985, Band 115: A. Kobsa, Benulzermodellierung in Dialogsystemen, XV, 204 Seiten, 1985, Band 116: Recent Trends in Data Type Specification, Edited by H,-J, Kreowski. VII, 253 pages, 1985, Band 117: J, Rohrich, Parallele Systeme, XI, 152 Seiten, 1986, Band 118: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Soiling, September 1985, Edited by H, Stoyan, X, 471 pages, 1986, Band 119: Graphlk in Dokumenten, GI-Fachgespriich, Bremen, Miirz 1986, Herausgegeben von F. Nake, X, 154 Seiten, 1986, Band 120: Kognitive Aspekte der Mensch-Computer-Interaktion, Herausgegeben von G, Dirlich, C, Freska, U, Schwatlo und K Wimmer, VIII, 190 Seiten, 1986, Band 121: K, Echtie, Fehlermaskierung durch verteilte Systeme, X, 232 Seiten, 1986, Band 122: Ch, Habel, Prinzipien der Referentialitiit. Untersuchungen zur propositionalen Repriisentation von Wissen, X, 308 Seiten, 1986,