{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:37:58Z","timestamp":1725626278725},"publisher-location":"Berlin, Heidelberg","reference-count":68,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128717"},{"type":"electronic","value":"9783642693915"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69391-5_13","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T10:13:31Z","timestamp":1319710411000},"page":"143-157","source":"Crossref","is-referenced-by-count":8,"title":["An Overview of Knowledge Representation"],"prefix":"10.1007","author":[{"given":"John","family":"Mylopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Dimensions of Representations","author":"D Bobrow","year":"1983","unstructured":"Bobrow, D., \u201cDimensions of Representations\u201d in [Bobrow and Collins 75]."},{"volume-title":"Representation and Understanding","year":"1975","key":"13_CR2","unstructured":"Bobrow, D. and Collins, A. (eds.), Representation and Understanding, Academic Press, 1975."},{"key":"13_CR3","series-title":"Proceedings IJCAI-77","volume-title":"A Panel on Knowledge Representation","author":"D Bobrow","year":"1977","unstructured":"Bobrow, D., \u201cA Panel on Knowledge Representation\u201d, Proceedings IJCAI-77, Cambridge Mass., August 1977."},{"key":"13_CR4","series-title":"Artificial Intelligence 13","volume-title":"Special Issue on Non-Monotonic Logic","year":"1980","unstructured":"Bobrow, D.G., ed., Special Issue on Non-Monotonic Logic, Artificial Intelligence 13, 1980."},{"key":"13_CR5","volume-title":"An Overview of KRL, a Knowledge Representation Language","author":"D Bobrow","year":"1977","unstructured":"Bobrow, D. and Winograd, T., \u201cAn Overview of KRL, a Knowledge Representation Language\u201d, Cognitive Science, vol.1, no.1, January 1977."},{"key":"13_CR6","volume-title":"On the Epistemological Status of Semantic Networks","author":"R Brachman","year":"1983","unstructured":"Brachman, R., \u201cOn the Epistemological Status of Semantic Networks\u201d in [Findler 79]."},{"key":"13_CR7","volume-title":"Special Issue on Knowledge Representation","author":"R Brachman","year":"1980","unstructured":"Brachman, R. and Smith, B., \u201cSpecial Issue on Knowledge Representation\u201d, SIGART, no.50, February 1980."},{"volume-title":"Proceedings of the Pingree Park Workshop on Data Abstraction, Databases and Conceptual Modelling","year":"1981","key":"13_CR8","unstructured":"Brodie, M. and Zilles, S. (eds.), Proceedings of the Pingree Park Workshop on Data Abstraction, Databases and Conceptual Modelling, Joint SIGART, SIGMOD, SIGPLAN Newsletter, Jan. 1981."},{"key":"13_CR9","series-title":"Proceedings of the AAAI-82","volume-title":"Competence in Knowledge Representation","author":"R Brachman","year":"1982","unstructured":"Brachman, R., and Levesque, H., \u201cCompetence in Knowledge Representation\u201d, Proceedings of the AAAI-82, Pittsburgh, Pennsylvania, 1982."},{"key":"13_CR10","series-title":"Proceedings IJCAI-73","volume-title":"Steps Towards Automatic Theory Formation","author":"JS Brown","year":"1973","unstructured":"Brown, J.S., \u201cSteps Towards Automatic Theory Formation\u201d, Proceedings IJCAI-73, Palo Alto, CA, August 1973."},{"key":"13_CR11","unstructured":"Byte Magazine, Special Issue on Smalltalk, August 1981."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1983","unstructured":"Codd, E.F., \u201cA Relational Model of Data for Large Shared Data Banks\u201d, Comm. ACM, vol.13, 377\u2013387.","journal-title":"Comm. ACM"},{"key":"13_CR13","volume-title":"On Knowing What to Say: Planning Speech Acts","author":"PR Cohen","year":"1978","unstructured":"Cohen, P.R., On Knowing What to Say: Planning Speech Acts, Ph.D. thesis, Dept. of Computer Science, Univ. of Toronto, 1978; also TR-118."},{"key":"13_CR14","series-title":"Proceedings IJCAI-77","volume-title":"Interactive Transfer of Expertise: Acquisition of New Inference Rules","author":"R Davis","year":"1977","unstructured":"Davis, R., \u201cInteractive Transfer of Expertise: Acquisition of New Inference Rules\u201d, Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR15","volume-title":"Stanford Artificial Intelligence Laboratory","author":"R Davis","year":"1975","unstructured":"Davis, R. and King, J., \u201cAn Overview of Production Systems\u201d, Memo AIM-271, Stanford Artificial Intelligence Laboratory, 1975."},{"key":"13_CR16","volume-title":"A Model for Deliberation, Action and Introspection","author":"J Doyle","year":"1980","unstructured":"Doyle, J., \u201cA Model for Deliberation, Action and Introspection\u201d, AI TR-531, AI Laboratory, MIT, Cambridge, Mass., 1980."},{"key":"13_CR17","volume-title":"Pattern Classification and Scene Analysis","author":"RO Duda","year":"1973","unstructured":"Duda, R.O. and Hart, P.E., Pattern Classification and Scene Analysis, Wiley-Interscience, 1973."},{"key":"13_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4917.001.0001","volume-title":"NETL: A System for Representing and Using Real- World Knowledge","author":"SE Fahlman","year":"1979","unstructured":"Fahlman, S.E., NETL: A System for Representing and Using Real- World Knowledge, MIT Press, 1979."},{"key":"13_CR19","series-title":"Proceedings IJCAI-77","doi-asserted-by":"crossref","DOI":"10.21236\/ADA046289","volume-title":"The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering","author":"EA Feigenbaum","year":"1977","unstructured":"Feigenbaum, E.A., \u201cThe Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering\u201d, Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR20","volume-title":"Associative Networks: Representation and Use of Knowledge by Computer","author":"NV Findler","year":"1979","unstructured":"Findler, N.V., Associative Networks: Representation and Use of Knowledge by Computer, Academic Press, 1979."},{"key":"13_CR21","volume-title":"Logic and Databases","author":"H Gallaire","year":"1978","unstructured":"Gallaire, H. and Minker, J., Logic and Databases, Plenum, 1978."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Goldstein, I. and Papert, S., \u201cArtificial Intelligence, Language and the Study of Knowledge\u201d, Cognitive Science, vol.1, no.l, 1977.","DOI":"10.1016\/S0364-0213(77)80006-2"},{"key":"13_CR23","series-title":"Proceedings IJCAI-77","volume-title":"NUDGE: A Knowledge-Based Scheduling Program","author":"I Goldstein","year":"1977","unstructured":"Goldstein, I. and Roberts, R.B., \u201cNUDGE: A Knowledge-Based Scheduling Program\u201d Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR24","volume-title":"The Application of Theorem Proving to Question- Answering Systems","author":"C Green","year":"1969","unstructured":"Green, C., The Application of Theorem Proving to Question- Answering Systems, Ph.D. thesis, Dept. of Electrical Engineering, Stanford University, 1969."},{"key":"13_CR25","series-title":"Proceedings AISB Summer Conference","volume-title":"Some Problems and Non-Problems in Representation Theory","author":"PJ Hayes","year":"1974","unstructured":"Hayes, P.J., \u201cSome Problems and Non-Problems in Representation Theory\u201d, Proceedings AISB Summer Conference, Essex University, 1974."},{"key":"13_CR26","series-title":"Proceedings IJCAI-77","volume-title":"In Defence of Logic","author":"P Hayes","year":"1977","unstructured":"Hayes, P., \u201cIn Defence of Logic\u201d, Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR27","series-title":"Proceedings IJCAI-75","doi-asserted-by":"crossref","DOI":"10.21236\/ADA458082","volume-title":"Expanding the Utility of Semantic Networks Through Partitioning","author":"G Hendrix","year":"1975","unstructured":"Hendrix, G., \u201cExpanding the Utility of Semantic Networks Through Partitioning\u201d, Proceedings IJCAI-75, Tbilisi USSR, Sept. 1975."},{"key":"13_CR28","series-title":"Proceedings IJCAI-71","volume-title":"PLANNER: A Language for Proving Theorems in Robots","author":"C Hewitt","year":"1971","unstructured":"Hewitt, C., \u201cPLANNER: A Language for Proving Theorems in Robots\u201d, Proceedings IJCAI-71, London, England, August 1971."},{"key":"13_CR29","volume-title":"Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving theorems and Manipulating Models in a Robot","author":"C Hewitt","year":"1972","unstructured":"Hewitt, C., Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving theorems and Manipulating Models in a Robot. Ph.D. thesis, Dept. of Mathematics, MIT, 1972."},{"key":"13_CR30","series-title":"Proceedings IJCAI-73","volume-title":"A Universal Modular Actor Formalism for Artificial Intelligence","author":"C Hewitt","year":"1973","unstructured":"Hewitt, C., Bishop, P., Steiger, R., \u201cA Universal Modular Actor Formalism for Artificial Intelligence\u201d, Proceedings IJCAI-73, Palo Alto, CA, August 1973."},{"key":"13_CR31","volume-title":"Actor Semantics of PLANNER-73","author":"C Hewitt","year":"1974","unstructured":"Hewitt, C., Greiff, I., \u201cActor Semantics of PLANNER-73\u201d, Working Paper No.81, MIT AI Laboratory, 1974."},{"key":"13_CR32","series-title":"Proceedings of the AAAI-80","volume-title":"What\u2019s Wrong with Non-Monotonic Logic","author":"D Israel","year":"1980","unstructured":"Israel, D., \u201cWhat\u2019s Wrong with Non-Monotonic Logic\u201d, Proceedings of the AAAI-80. Stanford, CA, 1980."},{"key":"13_CR33","volume-title":"On Interpreting Semantic Network Formalisms","author":"D Israel","year":"1982","unstructured":"Israel, D., \u201cOn Interpreting Semantic Network Formalisms\u201d, BBN Report No.5117, Bolt Beranek and Newman Inc., Cambridge, Mass. 1982."},{"key":"13_CR34","series-title":"Proceedings of the AAAI-82","volume-title":"Circumscriptive Ignorance","author":"K Konolige","year":"1982","unstructured":"Konolige, K., \u201cCircumscriptive Ignorance\u201d, Proceedings of the AAAI-82, Pittsburgh, Pennsylvania, 1982."},{"key":"13_CR35","series-title":"Proceedings IFIP Congress","first-page":"569","volume-title":"Predicate Logic as a Programming Language","author":"R Kowalski","year":"1974","unstructured":"Kowalski, R., \u201cPredicate Logic as a Programming Language\u201d, Proceedings IFIP Congress, 1974, 569\u2013574."},{"key":"13_CR36","series-title":"Proceedings IJCAI-77","volume-title":"The Ubiquity of Discovery","author":"DB Lenat","year":"1977","unstructured":"Lenat, D.B., \u201cThe Ubiquity of Discovery\u201d, Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR37","volume-title":"On Conceptual Modelling: Perspectives from AI, Databases and Programming Languages","author":"H Levesque","year":"1983","unstructured":"Levesque, H. \u201cThe Logic of Incomplete Knowledge Bases\u201d, in Brodie M., Mylopoulos, J. and Schmidt, J. On Conceptual Modelling: Perspectives from AI, Databases and Programming Languages, Springer Verlag, 1983."},{"key":"13_CR38","volume-title":"A Procedural Semantics for Semantic Networks","author":"H Levesque","year":"1983","unstructured":"Levesque, H. and Mylopoulos, J., \u201cA Procedural Semantics for Semantic Networks\u201d in [Findler 79]."},{"key":"13_CR39","volume-title":"Non-monotonic Logic I","author":"D McDermott","year":"1978","unstructured":"McDermott, D. and Doyle, J., \u201cNon-monotonic Logic I\u201d, AI Memo 486, MIT AI Laboratory, 1978."},{"key":"13_CR40","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1964","unstructured":"Mendelson, E., Introduction to Mathematical Logic, Van Nostrand, 1964."},{"key":"13_CR41","volume-title":"The Psychology of Computer Vision","author":"M Minsky","year":"1975","unstructured":"Minsky, M., \u201cA Framework for Representing Knowledge\u201d, in P. Winston (ed.) The Psychology of Computer Vision, McGraw-Hill, 1975."},{"key":"13_CR42","series-title":"Proceedings IJCAI-77","volume-title":"Reasoning About Knowledge and Action","author":"R Moore","year":"1977","unstructured":"Moore, R., \u201cReasoning About Knowledge and Action\u201d, Proceedings IJCAI-77, Cambridge, Mass., August 1977."},{"key":"13_CR43","series-title":"Proceedings of the AAAI-82","volume-title":"The Role of Logic in Knowledge Representation and Commonsense Reasoning","author":"RC Moore","year":"1982","unstructured":"Moore, R.C., \u201cThe Role of Logic in Knowledge Representation and Commonsense Reasoning\u201d, Proceedings of the AAAI-82, Pittsburgh, Pennsylvania, 1982."},{"key":"13_CR44","volume-title":"Knowledge and Cognition","author":"J Moore","year":"1974","unstructured":"Moore, J. and Newell, A., \u201cHow can MERLIN Understand?\u201d in L. Gregg (ed.) Knowledge and Cognition, Lawrence Erlbaum Assoc., 1974."},{"key":"13_CR45","doi-asserted-by":"crossref","DOI":"10.21236\/ADA106556","volume-title":"The Knowledge Level","author":"A Newell","year":"1981","unstructured":"Newell, A., \u201cThe Knowledge Level\u201d, Presidential Address, AAAI-80, Stanford University, Stanford, CA, reprinted in AI Magazine, vol.2, no.2, 1981."},{"key":"13_CR46","volume-title":"Integrity Checking in Deductive Databases","author":"JM Nicolas","year":"1983","unstructured":"Nicolas, J.M. and Yazdanian, K., \u201cIntegrity Checking in Deductive Databases\u201d, in [Gallaire and Minker 78]."},{"key":"13_CR47","volume-title":"Problem Solving Methods in Artificial Intelligence","author":"N Nilsson","year":"1971","unstructured":"Nilsson, N., Problem Solving Methods in Artificial Intelligence, McGraw-Hill, 1971."},{"key":"13_CR48","series-title":"Proceedings IJCAI-73","volume-title":"On the Mechanization of Abductive Logic","author":"HE Pople","year":"1973","unstructured":"Pople, H.E., \u201cOn the Mechanization of Abductive Logic\u201d, Proceedings IJCAI-73, Palo Alto, CA, August 1973."},{"key":"13_CR49","volume-title":"Semantic Information Processing","author":"R Quillian","year":"1968","unstructured":"Quillian, R., \u201cSemantic Memory\u201d in M. Minsky (ed.) Semantic Information Processing, MIT Press, 1968."},{"key":"13_CR50","volume-title":"Deductive Question-Answering on Relational Databases","author":"R Reiter","year":"1983","unstructured":"Reiter, R., \u201cDeductive Question-Answering on Relational Databases\u201d in [Gallaire and Minker 78]."},{"key":"13_CR51","series-title":"Proceedings TINLAP-2","volume-title":"On Reasoning by Default","author":"R Reiter","year":"1978","unstructured":"Reiter, R., \u201cOn Reasoning by Default\u201d, Proceedings TINLAP-2. Univ. of Illinois, Urbana, July 1978."},{"key":"13_CR52","series-title":"Proceedings of the IJCAI-81","volume-title":"On Interacting Defaults","author":"R Reiter","year":"1981","unstructured":"Reiter, R., \u201cOn Interacting Defaults\u201d, Proceedings of the IJCAI-81, Vancouver. B.C., 1981."},{"key":"13_CR53","series-title":"Proceedings of the AAAI-82","volume-title":"Circumscription Implies Predicate Completion (Sometimes)","author":"R Reiter","year":"1982","unstructured":"Reiter, R., \u201cCircumscription Implies Predicate Completion (Sometimes)\u201d, Proceedings of the AAAI-82, Pittsburgh, Pennsylvania, 1982."},{"key":"13_CR54","volume-title":"On Conceptual Modelling: Perspectives from AI, Databases and Programming Languages","author":"R Reiter","year":"1983","unstructured":"Reiter, R., \u201cTowards a Logical Reconstruction of Relational Database Theory\u201d, in Brodie, M., Mylopoulos, J. and Schmidt, J. (Eds.) On Conceptual Modelling: Perspectives from AI, Databases and Programming Languages, Springer Verlag, 1983."},{"key":"13_CR55","series-title":"Proceedings of the AAAI-82","volume-title":"Knowledge Representation Languages and Predicate Calculus How to Have Your Cake and Eat it Too","author":"C Rich","year":"1982","unstructured":"Rich, C., \u201cKnowledge Representation Languages and Predicate Calculus How to Have Your Cake and Eat it Too\u201d, Proceedings of the AAAI-82, Pittsburgh, Pennsylvania, 1982."},{"key":"13_CR56","doi-asserted-by":"crossref","unstructured":"Schubert, L., \u201cExtending the Expressive Power of Semantic Networks\u201d, Artificial Intelligence, vol.7, no.2, 1976.","DOI":"10.1016\/0004-3702(76)90003-5"},{"key":"13_CR57","volume-title":"The SNePs Semantic Network Processing System","author":"S Shapiro","year":"1983","unstructured":"Shapiro, S., \u201cThe SNePs Semantic Network Processing System\u201d, in [Findler 79]."},{"key":"13_CR58","volume-title":"Reflection and Semantics in a Procedural Language","author":"BC Smith","year":"1982","unstructured":"Smith, B.C., \u201cReflection and Semantics in a Procedural Language\u201d, MIT\/LCS\/TR-272, MIT, Cambridge, Mass., 1982."},{"key":"13_CR59","volume-title":"A Computer Model of Skill Acquisition","author":"GJ Sussman","year":"1975","unstructured":"Sussman, G.J., A Computer Model of Skill Acquisition, MIT Press, 1975."},{"key":"13_CR60","volume-title":"Why Conniving is Better Than Planning","author":"GJ Sussman","year":"1972","unstructured":"Sussman, G.J. and McDermott, D., \u201cWhy Conniving is Better Than Planning\u201d, MIT AI Memo 255A, MIT AI Laboratory, 1972."},{"key":"13_CR61","series-title":"MIT Laboratory for Computer Science","volume-title":"An Overview of OWL. A Language for Knowledge Representation","author":"P Szolovits","year":"1977","unstructured":"Szolovits, P., Hawkinson, L. and Martin, W.A., \u201cAn Overview of OWL. A Language for Knowledge Representation\u201d, MIT\/LCS\/TM-86, MIT Laboratory for Computer Science, 1977."},{"volume-title":"Pattern-Directed Inference Systems","year":"1979","key":"13_CR62","unstructured":"Waterman, D. and Hayes-Roth, F. (eds.) Pattern-Directed Inference Systems, Academic Press, 1979."},{"key":"13_CR63","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"RW Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W., \u201cProlegomena to a Theory of Mechanized Formal Reasoning\u201d, Artificial Intelligence 13 (1980), 133\u2013170.","journal-title":"Artificial Intelligence"},{"key":"13_CR64","volume-title":"Understanding Natural Language","author":"T Winograd","year":"1972","unstructured":"Winograd, T., Understanding Natural Language, Academic Press, 1972."},{"key":"13_CR65","volume-title":"Frame Representation and the Declarative- Procedural Controversy","author":"T Winograd","year":"1983","unstructured":"Winograd, T., \u201cFrame Representation and the Declarative- Procedural Controversy\u201d, in [Bobrow and Collins 75]."},{"key":"13_CR66","doi-asserted-by":"crossref","unstructured":"Wirth, N., \u201cProgram Development by Stepwise Refinement\u201d, Comm. ACM, vol. 14, no. 4, 1971.","DOI":"10.1145\/362575.362577"},{"key":"13_CR67","doi-asserted-by":"crossref","unstructured":"Wong, E.K.T. and Mylopoulos, J., \u201cTwo Views of Data Semantics: Data Models in Artificial Intelligence and Database Management\u201d, INFOR, vol.15, no. 3, 1977.","DOI":"10.1080\/03155986.1977.11731681"},{"key":"13_CR68","volume-title":"What\u2019s in a Link: Foundations for Semantic Networks","author":"WA Woods","year":"1983","unstructured":"Woods, W.A., \u201cWhat\u2019s in a Link: Foundations for Semantic Networks\u201d, in [Bobrow and Collins 75]."}],"container-title":["Informatik-Fachberichte","GWAI-83"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69391-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T15:36:33Z","timestamp":1593185793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69391-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128717","9783642693915"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69391-5_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}