{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:02Z","timestamp":1725663002592},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164791"},{"type":"electronic","value":"9783540398202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16479-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:45:11Z","timestamp":1330177511000},"page":"78-89","source":"Crossref","is-referenced-by-count":3,"title":["Zero : Frame + prolog"],"prefix":"10.1007","author":[{"given":"H.","family":"Ito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Ueno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"8_CR1","first-page":"340","volume":"83","author":"B Allen","year":"1983","unstructured":"Allen B, Write J (1983) Integrating Logic and Schemata. Proc. IJCAI 83, 340\u2013342","journal-title":"Proc. IJCAI"},{"key":"8_CR2","first-page":"153","volume-title":"Logic Programming","author":"K Bowen","year":"1982","unstructured":"Bowen K, Kowalski R (1982) Amalgamating Language and Metalanguage in Logic Programming. In: Clark K, Tarnland S (ed) Logic Programming, Academic Press, New York, 153\u2013172"},{"issue":"10","key":"8_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","volume":"16","author":"R Brachman","year":"1983","unstructured":"Brachman R, Fikes E, Levesque H (1983) Krypton: A Functional Approach to Knowledge Representation. Computer, Vol. 16, No. 10, 67\u201373","journal-title":"Computer"},{"key":"8_CR4","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C Chang","year":"1973","unstructured":"Chang C, Lee R (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York"},{"key":"8_CR5","unstructured":"Chikayama T (1981) UTILISP Manual. University of Tokyo"},{"key":"8_CR6","volume-title":"Programming in Prolog","author":"W Clocksin","year":"1984","unstructured":"Clocksin W, Mellish C (1984) Programming in Prolog. Second edition, Springer-Verlag, Berlin","edition":"Second edition"},{"key":"8_CR7","first-page":"1","volume-title":"Developments in Expert Systems","author":"R Davis","year":"1984","unstructured":"Davis R (1984) Reasoning from First Principles in Electronic Trouble-shooting. In: Coombs M (ed) Developments in Expert Systems. Academic Press, London, 1\u201321"},{"issue":"3","key":"8_CR8","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/359080.359090","volume":"22","author":"A Deliyanni","year":"1979","unstructured":"Deliyanni A, Kowalski R (1979) Logic and Semantic Networks. CACM, Vol. 22, No. 3. 184\u2013192","journal-title":"CACM"},{"key":"8_CR9","volume-title":"Expert Systems: Artificial Intelligence in Business","author":"P Harmon","year":"1985","unstructured":"Harmon P, King D (1985) Expert Systems: Artificial Intelligence in Business. John Wiley and Sons, New York"},{"key":"8_CR10","volume-title":"Building Expert Systems","author":"F Hayes-Roth","year":"1983","unstructured":"Hayes-Roth F, Waterman D, Lenat D (1983) Building Expert Systems. Addison-Wesley, Massachusetts"},{"key":"8_CR11","unstructured":"Ito H, Ueno H (1983) Implementation of a Frame-Based Knowledge Representation Language, FMS. Knowledge Engineering and Artificial Intelligence 30-4, Japan Information Society (in Japanese)"},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd J W(1984) Foundations of Logic Programming, Springer-Verlag, Berlin"},{"key":"8_CR13","first-page":"211","volume-title":"Psychology of Computer Vision","author":"M Minsky","year":"1975","unstructured":"Minsky M (1975) A Framework for Representing Knowledge. In: Winston P (ed) Psychology of Computer Vision, McGraw-Hill, New York, 211\u2013277"},{"key":"8_CR14","unstructured":"Nakashima H (1983) Prolog. Sangyo-Tosho, Tokyo (in Japanese)"},{"key":"8_CR15","first-page":"87","volume-title":"Implementations of Prolog","author":"M Nilsson","year":"1984","unstructured":"Nilsson M (1984) The World's Shortest Prolog Interpreter? In: Capbell (ed) Implementations of Prolog. John Willy and Sons, New York, 87\u201392"},{"key":"8_CR16","unstructured":"Rich C (1982) Knowledge Representation Languages and Predicate Calculus: How to have Your Cake and Eat it Too. Proc. AAAI-82"},{"key":"8_CR17","unstructured":"Smith R G, Friedland P (1980) Unit Package User's Guide. Stanford Heuristic Programming Project Memo HPP-80-28"},{"key":"8_CR18","first-page":"845","volume":"79","author":"M Stefik","year":"1979","unstructured":"Stefik M (1979) An Examination of a Frame Structured Representation System. Proc. IJCAI 79, 845\u2013852","journal-title":"Proc. IJCAI"},{"key":"8_CR19","first-page":"523","volume":"83","author":"H Ueno","year":"1983","unstructured":"Ueno H (1983) An End-User Oriented Language to Develop Knowledge-Base Expert Systems. Compcon 83 Fall, 523\u2013529","journal-title":"Compcon"},{"key":"8_CR20","unstructured":"Ueno H (1984) An Intelligent Programming Assistant System INTELLITUTOR \u2014 Background and Philosophy \u2014. Knowledge Engineering and Artificial Intelligence 37-5, Japan Information Processing Society (in Japanese)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16479-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:04:16Z","timestamp":1619543056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16479-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164791","9783540398202"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-16479-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}