×

Semantic networks. (English) Zbl 0800.68872


MSC:

68T30 Knowledge representation
68R10 Graph theory (including graph drawing) in computer science
68Q55 Semantics in the theory of computing
68Q42 Grammars and rewriting systems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Proceedings. NOTE:Proc. IJCAIProceedingsInternational Joint Conferences on Artificial IntelligenceProc. AAAIProceedings of the National Conferences on Artificial Intelligence; Proceedings. NOTE:Proc. IJCAIProceedingsInternational Joint Conferences on Artificial IntelligenceProc. AAAIProceedings of the National Conferences on Artificial Intelligence
[2] (Beller, E., The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications 1954-1987 (1988), Scientific Datalink: Scientific Datalink 270 Lafayette St., New York, N.Y. 10012)
[3] Shapiro, S. C., Encyclopedia of Artificial Intelligence (1987), John Wiley & Sons: John Wiley & Sons New York · Zbl 0664.68085
[4] (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufman: Morgan Kaufman Los Altos, California), Reprinted in · Zbl 0609.68007
[5] Levesque, H. J., Readings in Knowledge Representation, (Brachman, R. J. (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California) · Zbl 0609.68007
[6] MacRandal, D., Semantic networks, (Ringland, G. A.; Duce, D. A., Approaches to Knowledge Representation: An Introduction (1988), Research Studies Press/John Wiley & Sons: Research Studies Press/John Wiley & Sons Letchworth, Hertfordshire/New York)
[7] (Cercone, N.; McCalla, G., The Knowledge Frontier: Essays in the Representation of Knowledge (1987), Springer: Springer New York) · Zbl 0635.68092
[8] Cercone, N.; McCalla, G., IEEE Computer: Special Issue on Knowledge Representation, Vol. 16, No. 10 (1983)
[9] (Bobrow, D. G.; Collins, A., Representation and Understanding: Studies in Cognitive Science (1975), Academic Press: Academic Press Orlando, Florida) · Zbl 0332.68007
[10] Colby, K. M., Computer Models of Thought and Language, (Schank, R. (1973), W.H. Freeman: W.H. Freeman San Francisco, California) · Zbl 0281.68043
[11] Charniak, E.; McDermont, D., Introduction to Artificial Intelligence (1985), Addison-Wesley: Addison-Wesley Reading, Mss
[12] Nilsson, N., Principles of Artificial Intelligence (1980), Tioga Publishing Co: Tioga Publishing Co Palo Alto, California, Reprinted by Morgan Kaufmann, San Mateo, California. · Zbl 0422.68039
[13] Nagao, M., Knowledge and Interference (1980), Academic Press: Academic Press San Diego, California
[14] Harris, M. D., Introduction to Natural Language Processing (1985), Reston Publishing Co: Reston Publishing Co Reston, Va
[15] Barr, A.; Cohen, P.; Feigenbaum, E., (The Handbook of Artificial Intelligence, Vols. I-III (1981), William Kaufmann: William Kaufmann Palo Alto, California), Reprinted by, and Vol. IV published by, Addison-Wesley, Reading, Mass., (1989)
[16] (Findler, N. V., Associative Networks: Representation and Use of Knowledge by Computers (1979), Academic Press: Academic Press Orlando, Florida) · Zbl 0473.68088
[17] J.F. Sowa, Ed., Principles of Semantic Networks: Explorations in the Representation of Knowledge; J.F. Sowa, Ed., Principles of Semantic Networks: Explorations in the Representation of Knowledge · Zbl 0758.68018
[18] (Evens, M. W., Relational Models of the Lexicon: Representing Knowledge in Semantic Networks (1988), Cambridge University Press: Cambridge University Press Cambridge)
[19] Fahlman, S. E., NETL: A System for Representing and Using Real-World Knowledge (1979), MIT Press: MIT Press Cambridge, Mass · Zbl 0444.68083
[20] (The Collected Papers of James Joseph Sylvester, Volume III (1909), Cambridge University Press), 103-104, Reprinted in · JFM 10.0090.03
[21] Sylvester, J. J., (The Collected Papers of James Joseph Sylvester, Vol. III (1909), Cambridge University Press), 148-206, Reprinted in · JFM 10.0083.01
[22] Kempe, A. B., Corrected in: Note to a Memoir on the Theory of Mathematical Form, (Proceedings of the Royal Society, 42 (1887)), 193-196, London
[23] Kempe, A. B., A correction and explanation, The Monist, 7, 453-458 (1897)
[24] Roberts, D. D., The Exisntial Graphs of Charles S. Pierce (1973), Mouton: Mouton The Hague
[25] Pierce, C. S., (Hartshorne, C.; Weiss, P.; Burks, A., Collected Papers of Charles Sanders Pierce, Vol. 4 (1958), Belknap Press (Harvard Univ. Press): Belknap Press (Harvard Univ. Press) Cambridge, Mass)
[26] Peirce, C. S., (Eisele, C., The New Elements of Mathematics, Vol. III/1 (1976), Mouton/Humanities Press: Mouton/Humanities Press Atlantic Highlands, NJ)
[27] Frege, G., Title translated as: Concept-writing, a formula language, modeled upon arithmetic, for pure thought, (van Haijenoort, J., Frege and Gödel: Two Fundamental Texts in Mathematical Logic (1970), Harvard University Press: Harvard University Press Cambridge, Mass), Reprinted in
[28] Ketner, K. L., Pierce’s “most lucid and interesting paper”: An introduction to cenopythagoreanism, Int. Philosophical Quarterly, 25, 375-392 (1986)
[29] R.W. Burch, A Piercean Reduction Thesis and the Foundations of Topological Logic; R.W. Burch, A Piercean Reduction Thesis and the Foundations of Topological Logic
[30] Herzberger, H. G., Pierce’s remarkable theorem, (Summer, L. W.; Slater, J. G.; Wilson, F., Pragmatism & Purpose: Essays Presented to Thomas A. Goudge (1981), Univ. of Toronto Press: Univ. of Toronto Press Toronto)
[31] (Hardwick, C. S., Semiotic and Significs: The Correspondence between Charles S. Peirce and Lady Victoria Welby (1977), Indiana University Press: Indiana University Press Bloomington, Indiana)
[32] Reprinted by Julian Press, New York, 1972, and Bantam Books (paperback), New York, 1973.; Reprinted by Julian Press, New York, 1972, and Bantam Books (paperback), New York, 1973. · Zbl 0207.00701
[33] Sowa, J. F., Conceptual Structures: Information Processing in Mind and Machine (1984), Addison-Wesley: Addison-Wesley Reading, Mass · Zbl 0536.68077
[34] (Discontinued journal. There is a complete set at the Philip Mills Arnold Semeiology Collection; (Discontinued journal. There is a complete set at the Philip Mills Arnold Semeiology Collection
[35] Richens, R. H., Report on research of the Cambridge Language Research Unit, Mechanical Translation, 3, 2 (1956), See previous note
[36] Masterman, M., Semantic message detection for machine translation, using an interlingua, (1961 International Conference on Machine Translation of Languages and Applied Language Analysis—Proceedings (1962), Her Majesty’s Stationery Office: Her Majesty’s Stationery Office London)
[37] Jones, K. Sparck, Synonymy and Semantic Classification, (1964 thesis (1986), Edinburgh University Press: Edinburgh University Press Edinburgh), updated printing of · Zbl 0939.68872
[38] Jones, K. Sparck; Boguraev, B., A note on a study of cases, Computational Linguistics, 13, 1-2, 65-68 (1987)
[39] Ceccato, S., Linguistic Analysis and Programming for Mechanical Translation (1961), Gordon & Breach: Gordon & Breach New York
[40] Reitman, W. R., Cognition and Thought: An Information Processing Approach (1965), John Wiley & Sons: John Wiley & Sons New York
[41] Genesereth, M. R.; Nilsson, N. J., Logical Foundations of Artificial Intelligence (1988), Morgan Kaufmann: Morgan Kaufmann Palo Alto, California · Zbl 0645.68104
[42] Turner, R., Logics for Artificial Intelligence (1984), Ellis Horwood/John Wiley: Ellis Horwood/John Wiley Chichester, Sussex/New York
[43] (Barwise, J.; Feferman, S., Model-Theoretic Logics (1985), Springer: Springer New York) · Zbl 0587.03001
[44] Woods, W. A., What’s in a link: Foundations for semantic networks, (Bobrow, D.; Collins, A., Representation and Understanding (1975), Academic Press: Academic Press Orlando, Florida), Reprinted in [5]
[45] Brachman, R. J., What IS-A Is and Isn’t: An analysis of taxonomic linkd in semantic networks, IEEE Computer, 16, 30-36 (1983)
[46] Touretzky, D. S., The Mathematics of Inheritance Systems (1986), Pitman/Morgan Kaufmann: Pitman/Morgan Kaufmann London/San Mateo, California · Zbl 0675.68006
[47] Guise, D., Efficient frame systems, (Martins, J. P.; Morgado, E. M., Proc. of EPIA 1989. Proc. of EPIA 1989, Lecture Notes in Artificial Intelligence, No. 390 (1989), Springer: Springer Berlin)
[48] (Brachman, R. J.; Levesque, H. J., Knowledge Representation (1985), Morgan Kaufman: Morgan Kaufman Los Altos, California), Reprinted in · Zbl 0609.68007
[49] Allen, J. F.; Frisch, A. M., What’s in a semantic network?, (Proc. of the 20th Annual Meeting of the Association for Computational Linguistics (1982), Assoc. for Computational Linguistics: Assoc. for Computational Linguistics Toronto)
[50] Deliyanni, A.; Kowalski, R. A., Logic and semantic networks, Communications of the ACM, 22, 3, 184-192 (1979) · Zbl 0394.68063
[51] McSkimin, J. R.; Minker, J., A predicate calculus based semantic network for deductive searching, (Findler, N. V., Associative Networks (1979), Academic Press: Academic Press Orlando, Florida)
[52] Derthick, M., An Epistomological Level Interface for Cyc, (Technical Report ACT CYC-084-90., MCC, 3500 (1990), Balcones Center Dr: Balcones Center Dr Austin, Texas), 78759
[53] (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufman: Morgan Kaufman Los Altos, California), Reprinted in · Zbl 0609.68007
[54] Goldstein, I. P.; Roberts, B., Using frames in scheduling, (Winston, P. H., Artificial Intelligence: An MIT Perspective (1979), MIT Press: MIT Press Cambridge, Mass)
[55] Roberts, R. B.; Goldstein, I. P., (FRL Users Manual A.I. Memo No. 408 (1977), Artificial Intelligence Laboratory, MIT: Artificial Intelligence Laboratory, MIT Cambridge, Mass)
[56] (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California), Reprinted in · Zbl 0609.68007
[57] Winston, P. H.; Horn, B. K.P., LISP (1981), Addison-Wesley: Addison-Wesley Reading, Mass · Zbl 0476.68011
[58] Winston, P. H., Artificial Intelligence (1977), Addison-Wesley: Addison-Wesley Reading, Mass · Zbl 0358.68134
[59] Kalay, Y. E., Modeling Objects and Environments (1989), John Wiley & Sons: John Wiley & Sons New York
[60] Coyne, R. D.; Rosenman, M. A.; Radford, A. D.; Balachandrian, M.; Gero, J. S., Knowledge-Based Design Systems (1990), Addison-Wesley: Addison-Wesley Reading, Mass
[61] Fikes, R.; Kehler, T., The role of frame-based representation in reasoning, Communication of the ACM, 28, 904-920 (1985)
[62] Bruce, B., Case systems in natural language, Artificial Intelligence, 6, 327-360 (1975) · Zbl 0313.68059
[63] Fillmore, C. J., The case for case, (Bach, E.; Harms, R. T., Universals in Linguistic Theory (1968), Holt, Reinhart & Winston: Holt, Reinhart & Winston New York)
[64] Celce-Murcia, M., Paradigms for sentence recognition, (Technical Report, UCLA Dept. of Linguistics (1972), Air Force Human Resources Laboratory, Training Research Division, Lowry Air Force Base: Air Force Human Resources Laboratory, Training Research Division, Lowry Air Force Base Colorado), 80230, published as Tech. Report afhrl-tr-72-30
[65] Simmons, R. F., Semantic Networks: Their computation and use for understanding English sentences, (Schank, R.; Colby, K. M., Computer Models of Thought and Language (1973), W.H. Freeman: W.H. Freeman Chicago)
[66] Rumelhart, D. E.; Norman, D. A., Active semantic networks as a model of human memory, (Proc. IJCAI (1973))
[67] (Ostyn, B. R., Topics in Cognitive Linguistics (1988), John Benjamins: John Benjamins Amsterdam)
[68] Herskovits, A., Language and Spatial Cognition: An Interdisciplinary Study of the Prepositions in English (1986), Cambridge Univ. Press: Cambridge Univ. Press Cambridge
[69] Parunak, H. V.D., A linguistic approach to the problem of slot semantics, (Proc. Ann. Conf. Cognitive Science Society (1989))
[70] Lindsay, R. K., In defense of ad hoc systems, (Schank, R.; Colby, K. M., Computer Models of Thought and Language (1973), W.H. Freeman: W.H. Freeman San Fransisco)
[71] Hayes, Philip J., On semantic nets, frames and association, (Proc. IJCAI (1979))
[72] Safier, S. A.; Finger, S., Parsing features in solid geometric models, (Proc. ECAI-90, 9th European Conference on Artificial Intelligence (1990), Stockholm: Stockholm Pitman, London)
[73] (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California), Reprinted in · Zbl 0518.68050
[74] (Brachman, R. J.; Levesque, H. J., Canadian Soc. for Computational Studies of Intelligence. Canadian Soc. for Computational Studies of Intelligence, Readings in Knowledge Representation (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California), Revised and reprinted in
[75] Schmolze, J. G., Terminological knowledge representation systems supporting \(n\)-ary terms, (Proc. KR-89, First Int. Conf. on Principles of Knowledge Representation and Reasoning (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[76] Adámek, J., The Theory of Mathematical Structure (1983), D. Reidel: D. Reidel Dordecht, Holland
[77] Grätzer, P. M., Universal Algebra (1968), Van Nostrand: Van Nostrand Princeton, NJ · Zbl 0182.34201
[78] Williams, D. C., The elements of being, (Principles of Empirical Realism (1966), Thomas: Thomas Springfield)
[79] Bacon, J., Four modelings, J. of Philosophical Logic, 17, 2, 91-114 (1988) · Zbl 0638.03016
[80] (Freeman, E., The Relevance of Charles Peirce (1983), The Monist Library of Philosophy, Hegeler Institute: The Monist Library of Philosophy, Hegeler Institute La Salle, Illinois), Reprinted in
[81] P.G. Kuntz, Doing something for the categories: the choice of categorical methods and their resulting tree of categories, In Studies in the Philosophy of Charles Sanders Peirce; P.G. Kuntz, Doing something for the categories: the choice of categorical methods and their resulting tree of categories, In Studies in the Philosophy of Charles Sanders Peirce
[82] Percy, W., The Delta factor, (The Message in the Bottle: How Queer Man Is, How Queer Language Is, and What One Has to Do with the Other (1975), Farrar, Straus & Giroux: Farrar, Straus & Giroux New York)
[83] Galil, Z.; Hoffmann, C. M.; Luks, E. M.; Schnorr, C. P.; Weber, A., An \(o(n^3\) log \(n)\) deterministic and an \(o(n^3)\) Las Vegas isomorphin test for trivalent graphs, J. of the ACM, 34, 3, 513-531 (1987)
[84] Attardi, G.; Simi, M., Consistency and completeness of OMEGA, a logic for knowledge representation, (Proc. IJCAI (1981))
[85] Jardine, N.; Sibson, R., Mathematical Taxonomy (1971), John Wiley & Sons: John Wiley & Sons London · Zbl 0322.62065
[86] Sneath, P. H.A.; Sokal, R. R., Numerical Taxonomy (1973), W.H. Freeman & Co: W.H. Freeman & Co San Fransisco · Zbl 0285.92001
[87] Van Ryzin, J., Classification and Clustering (1977), Academic Press: Academic Press New York
[88] Michalski, R.; Stepp, R., Automatic constructions of classifications: Conceptual clustering versus numerical taxonomy, IEEE Transactions on Pattern Analysis \(E\) Machine Intelligence, 5, 4, 346-409 (1983)
[89] Jain, A. K.; Dubes, R. C., Algorithm for Clustering Data (1988), Prentice Hall: Prentice Hall Engelwood Cliffs, N.J · Zbl 0665.62061
[90] (Diday, E., Data Analysis, Learning Symbolic and Numeric Knowledge (1989), Nova Science Publishers: Nova Science Publishers Comack, N.Y)
[91] Raskina, A. A.; Sidorov, I. S.; Shreider, Y. A., Semantic foundations of object/feature languages, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 10 (1976), Allerton Press: Allerton Press New York), 18-25, translated as
[92] Tsalenko, M. Sh., Canonical representation of irreducible systems and classificational models, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 19 (1985), Allerton Press: Allerton Press New York), 30-34, translated as Automatic Documentation and Mathematical Linguistics
[93] Polyakov, O. M.; Dunaev, V. V., Classification schemes: Synthesis through relations, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 19 (1985), Allerton Press: Allerton Press New York), 15-21, translated as · Zbl 0625.08001
[94] Polyakov, O. M., A classification data model, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 20 (1986), Allerton Press: Allerton Press New York), 13-20, translated as · Zbl 0639.68113
[95] Polyakov, O. M., Systematization, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 22 (1988), Allerton Press: Allerton Press New York), 21-28, translated as · Zbl 0739.62053
[96] Kononov, B. P., Problems of formal meronomy: Divisibility and incompatability of meronomic objects, (Naucho-Tekhnicheskaya Informatsiya, Seriya 2, 19 (1985), Allerton Press: Allerton Press New York), 17-23, translated as
[97] Kolodner, J. L., Maintaining organization in a dynamic long-term memory, Cognitive Science, 7, 243-280 (1983)
[98] Kolodner, J. L., Retrieval and Organizational Strategies in Conceptual Memory: A Computer Model (1984), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillside, N.J
[99] Koton, P.; Chase, M. P., Knowledge representation in a case-based reasoning system: Defaults and exceptions, (Proc. KR-89, 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[100] (Cercone, N., Computational Linguistics (1983), Pergamon: Pergamon Oxford), Reprinted in · Zbl 0523.68083
[101] Patel-Schneider, P. F., What’s inheritance got to do with knowledge representation?, (Lenzerini, Maurizio; Nardi, Daniele; Simi, Maria, Inheritance Hierarchies in Knowledge Representation and Programming Languages (1991), John Wiley & Sons: John Wiley & Sons New York)
[102] Frisch, A. M.; Cohn, A. G., Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning, AI Magazine, 11, 5, 77-87 (1991), (Special Workshop Issue)
[103] (Horn, W., Casual Artificial Intelligence Models: Steps toward Application (1989), Hemisphere Publishing: Hemisphere Publishing New York), 165-189, Reprinted in
[104] Guha, R. V.; Lenat, D. B., Cyc: a midterm report, AI Magazine, 11, 3, 32-59 (1990)
[105] (Ginsberg, M. L., Readings in Nonmonotonic Reasoning (1897), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[106] Nebel, B., (Springer Lecture Notes on Artificial Intelligence No. 422 (1989), Springer: Springer Berlin), Reprinted · Zbl 0861.68096
[107] Pearl, J., Probabilistic Reasoning in Intelligent Systems (1988), Morgan Kaufmann: Morgan Kaufmann San Mateo, California
[108] Bacchus, F., A modest, but semantically well founded, inheritance reasoner, (Proc. IJAI (1989)) · Zbl 0714.68080
[109] (Vardi, M., Proc. 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge (1988), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[110] Loui, R. P.; Kahn, M.; Simari, G., (Workshop on defeasible reasoning with specificity and multiple inheritance. Workshop on defeasible reasoning with specificity and multiple inheritance, Technical Report WUCS-90-22 (1990), Dept. of Computer Science, Washington University: Dept. of Computer Science, Washington University St. Louis, MO), 63130
[111] Dorosh, J.; Loui, R. P., Edited transcription of the workshop on defeasible reasoning with specificity and multiple inheritance, SIGART Bulletin, 2, 1, 3-51 (1991)
[112] Guha, R. V., The representation of defaults in Cyc, (Proc. AAAI-90 (1990))
[113] Chaffin, R.; Herrmann, D. J., The nature of semantic relations: A comparison of two approaches, (Evens, M. W., Relational Models of the Lexicon (1988), Cambridge Univ. Press: Cambridge Univ. Press Cambridge)
[114] Chaffin, R.; Herrmann, D. J., Relation element theory: A new account of the representation and processing of semantic relations, (Gorfein, D.; Hoffman, R., Memory and Learning: The Ebbinghaus Centennial Conference (1987), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillsdale, N.J)
[115] Cohen, P. R.; Loiselle, C., Beyond IS-A: Structures for plausible inference in semantic networks, (Proc. AAAI-88 (1988))
[116] Vilain, M., The restricted language architecture of a hybrid representation system, (Proc. IJCAI (1985))
[117] Moser, M. G., An overview of NIKL, the new implementation of KL-ONE, (Research in knowledge representation for natural language understanding—Annual report 1982-1983 (1983), BBN Laboratories), Technical Report 5421
[118] Derthick, M., Counterfactual reasoning with direct models, (Proc. AAAI-87 (1987))
[119] R.H. Thomason and D.S. Touretzky, Inheritance theory and networks with roles, In Principles of Semantic Networks; R.H. Thomason and D.S. Touretzky, Inheritance theory and networks with roles, In Principles of Semantic Networks
[120] Huhns, M. N.; Stephens, L. M., Plausible inferencing using extended composition, (Proc. IJCAI (1989)) · Zbl 0719.68061
[121] Huhns, M. N.; Stephens, L. M., Extended composition of relations, (MCC Technical Report ACA-AI-376-88, MMC, 3500 (1988), Balcones Center Dr: Balcones Center Dr Austin, Texas), 78759
[122] Bakker, R. R., Knowledge graphs: Representation and structuring of scientific knowledge, (Ph.D. Thesis (1987), University of Twente: University of Twente Twente, Netherlands)
[123] Burns, J. R.; Winstead, W. H.; Haworth, D. A., Semantic nets as paradigms for both causal and judgemental knowledge representation, IEEE Trans. on Systems, Man and Cybernetics, 19, 1, 58-67 (1989)
[124] Davis, R.; Lenat, D. B., Knowledge-Based Systems in Artificial Intelligence (1982), McGraw-Hill: McGraw-Hill New York · Zbl 0479.68093
[125] Greiner, R.; Lenat, D. B., A representation language language, (Proc. AAAI-80 (1980))
[126] Lenat, D. B.; Guha, R. V., Building Large Knowledge Based Systems (1990), Addison-Wesley: Addison-Wesley Reading, Mass
[127] Hendrix, G. G., Encoding knowledge in partitioned networks, (Findler, N. V., Associative Networks (1979), Academic Press: Academic Press Orlando, Florida)
[128] Harel, D., On visual formalisms, Communications of the ACM, 31, 514-530 (1988)
[129] Esch, J. W., Graphical displays for conceptual structures, (Gerholz, L.; Elkund, P., Proc. 5th Annual Workshop on Conceptual Structures (1990), J.W. Esch, Unisys, Box 564525: J.W. Esch, Unisys, Box 564525 St. Paul, Minnesota 55164)
[130] W.A. Woods, Understanding subsumption and taxonomy: A framework for progress, In Principles of Semantic Networks; W.A. Woods, Understanding subsumption and taxonomy: A framework for progress, In Principles of Semantic Networks
[131] (Mylopoulos, J.; Brodie, M. L., Readings in Artificial Intelligence and Database Systems (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California), Reprinted in
[132] Etherington, D. W.; Borgida, A.; Brachman, R. J.; Kautz, H., Vivid knowledge and tractable reasoning: Preliminary report, (Proc. IJCAI (1989)) · Zbl 0714.68086
[133] Dyer, M. G., Symbolic neuroengineering for natural language processing: A multilevel research approach, (Barnden, J. A.; Pollock, J. B., Connectionist and Neural Computation Theory, Volume 1: High Level Connectionist Models (1991), Ablex: Ablex Norwood, N.J)
[134] Borges, J. L., The Analytical Language of John Wilkins, (Other Inquisitions: Essays 1937-1952 (1964), Univ. of Texas Press: Univ. of Texas Press Austin, Texas)
[135] Smith, B.; Mulligan, K., Pieces of a theory, (Smith, B., Parts and Moments: Studies in Logic and Formal Ontology (1986), Philosophia: Philosophia Munich)
[136] McCarthy, J., Situations, Actions, and Casual Lawas, (Stanford AI Project Memo No. 2 (1963), Stanford University: Stanford University Stanford, California)
[137] (Ginsberg, M. L., Readings in Nonmonotonic Reasoning (1987), Morgan Kaufmann: Morgan Kaufmann San Mateo, California), Reprinted in · Zbl 0226.68044
[138] Davis, E., Representation of Commonsense Knowledge (1990), Morgan Kaufmann: Morgan Kaufmann San Mateo, California
[139] Barwise, J.; Perry, J., Situations and Attitudes (1983), MIT Press: MIT Press Cambridge, Mass · Zbl 0946.03007
[140] Tepfenhart, W. M.; Lazzara, A. V., The situation data model, (Esch, J. W., Proc. 3rd Ann. Conf. on Conceptual Graphs (1988), Knowledge Systems Concepts, 262 Liberty Plaza: Knowledge Systems Concepts, 262 Liberty Plaza Rome, N.Y), 5812-13440, This and later papers are available from the authors
[141] Montague, R., (Thomason, R., Formal Philosophy: Selected Papers of Richard Montague (1974), Yale Univ. Press: Yale Univ. Press New Haven, Conn)
[142] Martin, R. M., Semiotics and Linguistic Structure (1978), State Univ. of New York Press: State Univ. of New York Press Albany, New York
[143] Schubert, L. K.; Hwang, C. H., An episodic knowledge representation for narrative texts, (Proc. KR-89, First Int. Conf. on Principles of Knowledge Representation and Reasoning, Toronto (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California) · Zbl 0709.68097
[144] Schubert, L. K.; Hwang, C. H., An episodic knowledge representation for narrative texts, (Technical Report 345 (1990), TR Librarian, Dept. of Computer Science, Univ. of Rochester: TR Librarian, Dept. of Computer Science, Univ. of Rochester Rochester, N.Y), 14627, (longer version, 53 pp.)
[145] Lehnert, W., Knowledge based natural language understanding, (Shrobe, H. E.; AAAI, Exploring Artificial Intelligence (1988), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[146] Soergel, D., Indexing Languages and Thesauri: Construction and Maintenance (1974), Melville Publishing (John Wiley & Sons): Melville Publishing (John Wiley & Sons) Los Angeles
[147] Lenat, D. B.; Guha, R. V.; Pittman, K.; Pratt, D.; Shepherd, M., Cyc: Toward programs with common sense, Communications of the ACM, 33, 8, 30-49 (1990)
[148] Sowa, J. F., Knowledge acquisition by teachable systems, (Martins, J. P.; Morgado, E. M., Proc. EPIA 80—4th Portugese Conference on Artificial Intelligence. Proc. EPIA 80—4th Portugese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence No. 390 (1990), Springer: Springer Berlin)
[149] Jolley, J. L., The Holotheme, (Wojciechowski, J. A., Conceptual Basis of the Classification of Knowledge: Proc. of the Ottawa Conf. (1971), Verlag Dokumentation: Verlag Dokumentation Box 148, D-8023 Pullach bei München, Germany)
[150] Privately printed. There is a copy at the Philip Mills Arnold Semeiology Collection; Privately printed. There is a copy at the Philip Mills Arnold Semeiology Collection
[151] P. Doudna, Personal communication, (1990).; P. Doudna, Personal communication, (1990).
[152] Rieger, C.; Grinberg, M., The declarative representation and procedural simulation of causality in physical systems, (Proc. IJCAI (1977))
[153] Reprinted MIT Press, Cambridge, Mass., (1985).; Reprinted MIT Press, Cambridge, Mass., (1985).
[154] (Weld, D. S.; de Kleer, J., Readings in Qualitative Reasoning about Physical Systems (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[155] Patil, R. S., Techniques for diagnostic reasoning in medicine, (Shrobe, H. E.; AAAI, Exploring Artificial Intelligence (1988), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[156] Patil, R. S., Casual representation of patient illness for electrolyte and acid-base diagnosis, (Technical Report No. 267 (1981), MIT Laboratory for Computer Science, 545 Technology Square: MIT Laboratory for Computer Science, 545 Technology Square Cambridge, Mass), 02189
[157] Shoham, Y., Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence (1988), MIT Press: MIT Press Cambridge, Mass
[158] W. Zadrożny, Networks of signs for prospectors of minds, (unpublished MS).; W. Zadrożny, Networks of signs for prospectors of minds, (unpublished MS).
[159] Gonzales, R. C.; Thomason, M. G., Syntactic Pattern Recognition: An Introduction (1978), Addison-Wesley: Addison-Wesley Reading, Mass · Zbl 0383.68065
[160] Fu, K. S., Syntactic Methods in Pattern Recognition (1974), Academic Press: Academic Press New York · Zbl 0311.68014
[161] (Kunii, T. L., Visual Database Systems (1989), North-Holland: North-Holland Amsterdam) · Zbl 0745.68012
[162] (Bolc, L., Natural Language Communication with Pictorial Information Systems (1984), Springer: Springer Berlin) · Zbl 0547.68088
[163] Neumann, B., Natural language description of time-varying scenes, (Waltz, D., Semantic Structures: Advances in Natural Language Processing (1989), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillsdale, New Jersey)
[164] Bulko, W. C., Understanding coreference in a system for solving physics word problems, (Ph.D. Thesis (1989), University of Texas: University of Texas Austin, Texas), 78712
[165] Giunchiglia, F.; Trucco, E., Object configuration by incrementall ill-described spatial constraints, (Technical Report No. 400 (1988), Dept. of Artificial Intelligence, University of Edinburgh: Dept. of Artificial Intelligence, University of Edinburgh 80 S. Bridge, Edinburgh EH1 1HN, Scotland)
[166] Rao, A. R.; Jain, R., Knowledge representation and control in computer vision systems, IEEE Expert, 64-79 (1988), Spring
[167] Ballard, D. H., An approach to knowledge-directed image analysis, (Hanson, A. R.; Riseman, E. M., Computer Vision Systems (1978), Academic Press: Academic Press New York) · Zbl 0454.68112
[168] Guzman, A., Analysis of curved line drawings using context and global information, (Meltzer, B.; Michie, D., Machine Intelligence 6 (1971), Edinburgh University Press: Edinburgh University Press Edinburgh)
[169] Lirov, Y.; Rodin, E. Y.; McElhany, B. G.; Wilbur, L. W., Artificial intelligence modelling of control systems, Simulation, 50, 1, 12-24 (1988)
[170] Rodin, E. Y., Semantic control theory, Applied Mathematics Letters, 1, 1, 73-78 (1988) · Zbl 0626.93007
[171] Sztipanovits, J., A computation model for semantic control, (Technical Report, May 89 (1989), Dept. of Elec. Eng.,Vanderblit Univ: Dept. of Elec. Eng.,Vanderblit Univ Nashville, Tenn. 37235) · Zbl 0723.68078
[172] Mesarović, M. D., On self-organizational systems, (Yovits, M. C.; Jacobi, G. T.; Goldstein, G. P., Self-Organizing Systems 1962 (1962), Spartan Books: Spartan Books Washington, D.C) · Zbl 0314.93003
[173] Acar, L.; Özgüner, Ü., Design of knowledge-rich hierarchical controllers for large functional systems, IEEE Trans. on Systems, Man \(E\) Cybernetics, 20, 4, 791-803 (1990) · Zbl 0705.93002
[174] Hollan, J. S.; Hutchins, E. L.; Weitzman, L., Steamer: An interactive inspectable simulation-based training system, AI Magazine, 5, 2, 15-27 (1984)
[175] Beck, H. W.; Fishwick, P. A., Incorporating natural language descriptions into modelling and simulation, Simulation, 52, 3, 95-101 (1989)
[176] Fishwick, P. A., HIRES: Hierarchical reasoning system version 1.0—User’s manual, (Technical Report 1989 (1985), Dept. of Comp. Science, Univ. of Pennsylvania: Dept. of Comp. Science, Univ. of Pennsylvania Philadelphia, Penn)
[177] Joskowicz, L., Mechanism comparison and classification for redesign, (Research Report No. RC 14573(#65152) 4/19/89 (1989), IBM T.J. Watson Research Center: IBM T.J. Watson Research Center Yorktown Heights, N.Y. 10598)
[178] Findler, N. V., A heuristic information retrieval system based on associative networks, (Findler, N. V., Associative Networks (1979), Academic Press: Academic Press Orlando, Florida) · Zbl 0163.39901
[179] N.V. Findler, An Artificial Intelligence Technique for Information and Fact Retrieval—An Application in Medical Knowledge Processing; N.V. Findler, An Artificial Intelligence Technique for Information and Fact Retrieval—An Application in Medical Knowledge Processing
[180] J.M. Crawford and B. Kuipers, ALL: formalizing access limited reasoning, In Principles of Semantic Networks; J.M. Crawford and B. Kuipers, ALL: formalizing access limited reasoning, In Principles of Semantic Networks · Zbl 0711.03007
[181] Crawford, J. M.; Kuipers, B., Towards a formalization of access limited logic, (Technical Report AI90-133 (1990), Univ. of Texas: Univ. of Texas Austin, Texas 78712) · Zbl 0711.03007
[182] Winston, P. H., Learning and reasoning by analogy, Communications of the ACM, 23, 12 (1980) · Zbl 0518.68050
[183] Gentner, D., Structure-mapping: A theoretical framework for analogy, Cognitive Science, 7, 155-170 (1983)
[184] Leishman, D., Analogy as a constrained partial correspondence over conceptual graphs, (Proc. KR-89, 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[185] Way, E. C., Knowledge Representation and Metaphor (1991), State Univ. of New York: State Univ. of New York Dordecht, Holland, Published as · Zbl 0743.68124
[186] Boguraev, B. K.; Briscoe, E. J., Computational Lexicography for Natural Language Processing (1989), Longman: Longman London
[187] (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California), Reprinted in · Zbl 0609.68007
[188] Quillian, M. R., Semantic memory, (Minsky, M., Semantic Information Processing (1968), MIT Press: MIT Press Cambridge, Mass) · Zbl 0313.68081
[189] Georgescu, I., The hypernets method for representing knowledge, (Bibel, W.; Petkoff, B., Artificial Intelligence: Methodology, Systems, Applications (1985), North-Holland: North-Holland Amsterdam)
[190] Wilks, Y., Good and bad arguments about semantic primitives, Communications and Cognition, 10, 181-221 (1977)
[191] Winograd, T., On primitives, prototypes, and other semantic anomalies, (Waltz, D. L., Proc. TINLAP-2, 2nd Conf. on Theoretical Issues in Natural Language Processing (1978), Coordinated Science Laboratory, Univ. of Illinois)
[192] (Bonner, A., Selected Works of Ramon Llull, Vol. II (1985), Princeton Univ. Press: Princeton Univ. Press Princeton, N.J), Translated in
[193] Gardner, M., Logic Machines and Diagrams (1982), Univ. of Chicago Press: Univ. of Chicago Press Chicago, Illinois
[194] Leibniz, G. W., A calculus of consequences, (Ariew, R.; Garber, D., Philosophical Essays (1989), Hackett Publ. Co) · Zbl 0031.14503
[195] (van Heijenoort, J., Frege and Gödel: Two Fundamental Texts in Mathematical Logic (1970), Harvard Univ. Press: Harvard Univ. Press Cambridge, Mass), and reprinted in · JFM 57.0054.02
[196] Reprinted by Scolar Press, Menston, Yokshire, England, (1968).; Reprinted by Scolar Press, Menston, Yokshire, England, (1968).
[197] Slaughter, M. M., Universal Languages and Taxonomy in the Seventeenth Century (1982), Cambridge Univ. Press: Cambridge Univ. Press Cambridge
[198] Cornelius, P., Languages in Seventeenth and Early Eighteenth Century Imaginary Voyages (1965), Librarie Droz: Librarie Droz Geneva
[199] Cohen, J., On the project of a universal character, Mind,, 63, 49, 49-63 (1954), New Series
[200] Lodwick, F., A Common Writing: Whereby, Two Although not Understanding the Others Language, Yet by the Helpe thereof, May Communicate Their Minds to One Another, (Salmon, V., The Works of Francis Lodwick (1972), Longman: Longman London), London (1647)
[201] reprinted by AMS Press/Johnson Reprint Corp., New York, (1971).; reprinted by AMS Press/Johnson Reprint Corp., New York, (1971).
[202] Anonymous, The Description and Explanation of a “Universal Character” or, Manner of Writing, that may be Intelligble to the Inhabitants because Founded on a Simple and Easy Mode of Classifying Our Ideas, and Requiring But Few Arbitrary Signs (1835), J. Hollway: J. Hollway Bath, England, circa
[203] Anonymous, Die Neue Sinnschrift ‘Safo’ als Einheitszeichenschrift der Völker (1956), Private Edition: Private Edition Stamberg, Germany
[204] Revised edition (1965). Material distributed by Blissymbolics Institute, 350 Rumsey Rd., Toronto, Ontario M4G 1R8, Canada, and EBSCO, 1230 1st Ave. N., Birmingham, Alabama 35203.; Revised edition (1965). Material distributed by Blissymbolics Institute, 350 Rumsey Rd., Toronto, Ontario M4G 1R8, Canada, and EBSCO, 1230 1st Ave. N., Birmingham, Alabama 35203.
[205] Helfman, E., Blissymbolic—Speaking without Speech (1981), Elsevier: Elsevier New York
[206] Whitehead, A. N.; Russell, B., Principia Mathematica (1927), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · JFM 53.0038.02
[207] Hayes, Patrick J., (Brachman, R. J.; Levesque, H. J., Readings in Knowledge Representation (1985), Morgan Kaufmann: Morgan Kaufmann Los Altos, California), Reprinted in · Zbl 0609.68007
[208] Freudenthal, H. A., LINCOS: Design of a Language for Cosmic Intercourse (1960), North-Holland: North-Holland Amsterdam · Zbl 0095.00506
[209] Wierzbicka, A., Lingua Mentalis (1980), Academic Press: Academic Press Sydney/New York
[210] Wierzbicka, A., English Speech Act Verbs: A Semantic Dictionary (1989), Academic Press: Academic Press Sydney/New York
[211] Laffal, J., A Concept Dictionary of English (1973), Gallery Press, Essex, Conn./John Wiley & Sons: Gallery Press, Essex, Conn./John Wiley & Sons New York
[212] (Evans, M. W., Relational Models of the Lexicon (1988), Cambridge Univ. Press: Cambridge Univ. Press Cambridge), Relevant Introduction translated in
[213] Litkowski, K. C., On the search for semantic primitives, Computational Linguistics, 14, 1, 52 (1988)
[214] Litkowski, K. C., Models of the semantic structure of dictionairies, American Journal of Computational Linguistics, 81, 25-74 (1978), Microfiche
[215] Extended abstract. Orig. Unpubl. MS: K. Litkowski, 20239 Lea Pond Pl., Gaithersburg, MD. 20879.; Extended abstract. Orig. Unpubl. MS: K. Litkowski, 20239 Lea Pond Pl., Gaithersburg, MD. 20879.
[216] Parker-Rhodes, A. F., Interferential Semantics (1978), Harvester Press/Humanities Press: Harvester Press/Humanities Press Hassox, Sussex/Atlantic Highlands, N.J
[217] Parker-Rhodes, A. F., A new model of syntactic description, (1961 International Conference on Machine Translation of Languages and Applied Language Analysis—Proceedings. 1961 International Conference on Machine Translation of Languages and Applied Language Analysis—Proceedings, London (1962), Her Majesty’s Stationery Office) · Zbl 0492.03001
[218] P. Doubna, 10644 Jesskamp Dr., St. Louis, MO. 63136, (1990).; P. Doubna, 10644 Jesskamp Dr., St. Louis, MO. 63136, (1990).
[219] Aït-Kaci, H., A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structure, (Ph.D., Thesis (1984), University of Pennsylvania)
[220] Kay, M., Functional grammar, (Proc. 5th Annual Meeting of the Berkeley Linguistics Society. Proc. 5th Annual Meeting of the Berkeley Linguistics Society, Berkeley, California (1979), Berkeley Linguistics Soc)
[221] Kay, M., Parsing in functional grammar, (Dowty, D.; Karttunen, L.; Zwicky, A., Natural Language Parsing (1985), Cambridge Univ. Press: Cambridge Univ. Press Cambridge)
[222] Knight, K., Unification: A multidisciplinary survey, ACM Computing Surveys, 21, 1, 93-124 (1989) · Zbl 0677.68098
[223] Aït-Kaci, H.; Nasr, R., LOGIN: A logic programming language with built-in inheritance, J. of Logic Programming, 3, 185-215 (1986) · Zbl 0599.68013
[224] Smolka, G.; Aït-Kaci, H., Inheritance hierarchies: Semantics and unification, (Kirchner, C., Unification (1990), Academic Press: Academic Press London) · Zbl 0678.68009
[225] (Bläsius, K. H.; Hedtstück, U.; Rollinger, C.-R., Sorts and Types in Artificial Intelligence. Sorts and Types in Artificial Intelligence, Lecture Notes in Artificial Intelligence, No. 418 (1990), Springer: Springer Berlin) · Zbl 0743.68016
[226] Smolka, G., A Feature Logic with Subsorts, LILOG Report 33 (1988), IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80, Germany
[227] Nebel, B.; Smolka, G., Representation and reasoning with attributive descriptions, (Bläsius, K. H.; Hedtstück, U.; Rollinger, C.-R., Sorts and Types in Artificial Intelligence. Sorts and Types in Artificial Intelligence, Lecture Notes In Artificial Intelligence, No. 418 (1990), Springer: Springer Berlin) · Zbl 0747.68075
[228] Schmidt-Schauβ, M., Subsumption in KL-ONE is undecidable, (Proc. KR-89, 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California) · Zbl 0709.68096
[229] (Mylopoulos; Brodie, Readings in Artificial Intelligence and Database (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California), Reprinted in
[230] Searle, J., Determinables and the notion of resemblance, (Proc. of the Aristotelian Society, Vol. 33 (1959)), 141-158, Supplementary
[231] Johnson, W. E., Logic (1964), Dover: Dover New York
[232] Hautäki, A., Points of View and Their Logical Analysis, (Acta Philosophica Fennica No. 41 (1986), Societas Philosophica Fennica, Academic Bookstore: Societas Philosophica Fennica, Academic Bookstore Keskuskatu 1, 00100 Helsinki 10, Finland)
[233] Torgerson, W. S., Theory and Methods of Scaling (1958), John Wiley & Sons: John Wiley & Sons New York
[234] Ganter, B.; Wille, R., Conceptual scaling, (Roberts, F., Applications of Combinatorics and Graph Theory to the Biological and Social Sciences (1989), Springer: Springer New York) · Zbl 0703.06002
[235] Rubashkin, V. Sh., Attribute and value, (Naucho-Tekhnicheskata Informatsiya, Seriya 2, 3 (1976), Allerton Press: Allerton Press New York), 3-10, translated as Automatic Documentation and Mathematical Linguistics · Zbl 0707.68097
[236] Lehmann, K., Dimensional Abstraction and Structure in Tonal Music, (Master’s Thesis (1989), Univ. of Washington: Univ. of Washington Seattle, Washington)
[237] (Wojciechowski, J. A., Conceptual Basis of the Classification of Knowledge: Proc. of the Ottawa Conf. (1971), Verlag Dokumentation: Verlag Dokumentation Box 148, D-8023 Pullach bei München, Germany)
[238] Batty, C. D., An Introduction to Colon Classification (1967), Archon Books: Archon Books Hamden, Conn
[239] Ranganathan, S. R., The Colon Classification (1965), Rudgers State Univ: Rudgers State Univ New Brunswick, N.J
[240] Bhattacharyya, G.; Ranganathan, S. R., From knowledge classification to library classification, (Wojciechowski, J. A., Conceptual Basis of the Classification of Knowledge: Proc. of the Ottawa Conf. (1971), Verlag Dokumentation: Verlag Dokumentation Box 148, D-8023 Pullach bei München, Germany)
[241] Ranganathan, S. R., Prolegomena to Library Classification (1987), Madras: Madras India
[242] Prieto-Diaz, R., Implementing faceted classification for softaware reuse, Communications of the ACM, 34, 5, 89-97 (1991)
[243] Mari⇔ldno, O.; Rechenmann, F.; Uvietta, P., Multiple perspectives and classification mechanism in object-oriented representation, (Proc. ECAI-90, 9th European Conf. on Artificial Intelligence (1990), Stockholm, Pitman: Stockholm, Pitman London)
[244] Bates, M. J., Subject access in online catalogs: A design model, J. of the American Soc. of Information Science, 37, 6, 357-375 (1986)
[245] Ellis, G., Compiling conceptual graphs, (6th Annual Workshop On Conceptual Graphs (1991), SUNY Binghamton: SUNY Binghamton Binghamton, N.Y), to appear
[246] (Mylopoulos, J.; Brodie, M., Readings in Artificial Intelligence and Databases (1989), Morgan Kaufmann: Morgan Kaufmann Palo Alto, California), Reprinted in
[247] Nijssen, G.; van Assche, F.; Snijders, J., End user tools for information systems requirement definition, (Schneider, H., Formal Models and Practical Tools for Information System Design (1979), North-Holland: North-Holland amsterdam)
[248] Verheijen, G.; Bekkum, J. V., NIAM: An Information Analysis Method, (Olle, T.; Sol, H.; Verrijn-Stuart, A., Information System Design Methodologies: A Comparative Review (1982), IFIP, North-Holland: IFIP, North-Holland Amsterdam)
[249] Sandewall, E., Theory of information management systems, (Technical Report No. LiTH-IDA-R-83-03 (1983), Dept. of Computer and Information Science, Linköping Univ., S-581 83: Dept. of Computer and Information Science, Linköping Univ., S-581 83 Linköping, Sweden) · Zbl 0263.68034
[250] Rönnquist, R., Network and Lattice based approaches to the representation of knowledge, (Technical Thesis No. 113 (1987), Dept. of Computer & Information Science, Linköping University: Dept. of Computer & Information Science, Linköping University S-581 83 Linköping, Sweden)
[251] Tsichritzis, D. C.; Lochovsky, F. H., Data Models (1982), Prentice-Hall: Prentice-Hall Englewood Cliffs, N.J · Zbl 0327.68050
[252] (Mylopoulos, J.; Brodie, M. L., Readings in Artificial Intelligence and Database Systems (1989), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[253] (Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W., On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages (1984), Springer: Springer New York) · Zbl 0542.68089
[254] (Brodie, M. L.; Mylopoulos, J., On Knowledge Based Management Systems (1986), Springer: Springer New York) · Zbl 0628.68073
[255] (Zdonik, S. B.; Maier, D., Readings in Object-Oriented Database Systems (1990), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[256] (Kim, W.; Lochovsky, F. H., Object-Oriented Concepts, Databases, and Applications (1989), ACM Press/Addison-Wesley: ACM Press/Addison-Wesley New York/Reading, Mass)
[257] Aït-Kaci, H.; Boyer, R.; Lincoln, P.; Nasr, R., Efficient implementation of lattice operations, ACM Trans. on Programming Languages and Systems, 11, 115-146 (1989)
[258] Hinton, G.; Anderson, J. A., Parallel Models of Associative Memory (1989), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillsdale, N.J, Update of 1981 edition · Zbl 0685.68013
[259] (Barnden, J. A.; Pollack, J. B., Advances in Connectionist and Neural Computation Theory, Volume 1: High-Level Connectionist Models (1991), Ablex: Ablex Norwood, N.J)
[260] Hinton, G. E., Representing part-whole hierarchies in connectionist networks, (Proc. of the Cognitive Science Society (1988))
[261] Touretzky, D. S.; Hinton, G. E., A distributed connectionist production system, Proc. of the 9th Annual Conf. of the Cognitive Science society. Proc. of the 9th Annual Conf. of the Cognitive Science society, Cognitive Science, 12, 3, 423-466 (1987), Also in
[262] Pinkas, G., Energy minimization and the satifiability of propositional calculus, (Touretzky, D. S.; Elman, J. L.; Sejnowski, T. J.; Hinton, G. E., Proc. of the 1990 Connectionist Models Summer School (1990), Morgan Kaufmann: Morgan Kaufmann San Mateo, California)
[263] Pinkas, G., Propositional non-motonic reasoning and inconsistency in symmmetric neural networks, (Proc. IJCAI (1991))
[264] van Gelder, T., Compositionality: A connectionist variation on a classical theme, Cognitive Science, 14, 3, 355-384 (1990)
[265] Hinton, G. E., Implementing semantic networks in parallel hardware, (Hinton, G. E.; Anderson, J. A., Parallel Models of Associative Memory (1989), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillsdale, N.J), Update of 1981 version.
[266] Conklin, J., Hypertext: An introduction and survey, IEEE Computer, 20, 9, 17 (1987)
[267] Richards, T., Clausal Form Logic (1989), Addison-Wesley: Addison-Wesley Sydney
[268] Wegner, P., Dimensions of object-based language design, (Proc. of the Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA) (1987))
[269] McGregor, J. D.; Korson, T., Special Issue on Object-Oriented Design, Communications of the ACM, 33, 9 (1990)
[270] (Shriver, B.; Wegner, P., Research Directions in Object-Oriented Programming (1987), MIT Press: MIT Press Cambridge, Mass)
[271] (Lenzerini, M.; Nardi, D.; Simi, M., Inheritance Hierarchies in Knowledge Representation and Programming Languages (1991), John Wiley & Sons: John Wiley & Sons New York) · Zbl 0743.68121
[272] XLISP available from AI SIG, Boston Computer Society, 1 Center Plaza, Boston, Mass. 02108.; XLISP available from AI SIG, Boston Computer Society, 1 Center Plaza, Boston, Mass. 02108.
[273] Israel, D. J.; Brachman, R. J., Some remarks in the semantics of representation languages, (Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W., On Conceptual Modelling (1984), Springer: Springer New York)
[274] Sowa, J. F., Matching logical structure to linguistic structure, (Houser, N.; Roberts, D. D.; Van Evra, J., Studies in the Logic of Charles Sanders Peirce (1991), Indiana Univ. Press: Indiana Univ. Press Bloomington, Indiana), to appear
[275] L.K. Schubert, Semantic networks are in the eye of the beholder, In Principles of Semantic Networks; L.K. Schubert, Semantic networks are in the eye of the beholder, In Principles of Semantic Networks
[276] Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order (1990), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 0701.06001
[277] Theorie der Verbände (1963), Mannheim: Mannheim Germany, Originally published as · Zbl 0199.04901
[278] (Rival, I., Ordered Sets. Ordered Sets, NATO ASI Series No. 83 (1982), Reidel: Reidel Dordecht, Netherlands) · Zbl 0497.06002
[279] (Rival, I., Graphs and Order. Graphs and Order, NATO ASI Series No. 147 (1985), Reidel: Reidel Dordecht, Netherlands) · Zbl 0549.00002
[280] (Rival, I., Algorithms and Order. Algorithms and Order, NATO ASI Series No. 255 (1989), Reidel: Reidel Dordecht, Netherlands) · Zbl 0709.68004
[281] Birkhoff, G., Lattice Theory, (Coll. Publ. XXV (1967), American Math. Soc: American Math. Soc Providence, R.I) · Zbl 0126.03801
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.