{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T18:24:08Z","timestamp":1766514248449},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540191292"},{"type":"electronic","value":"9783540391265"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19129-1_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:03:56Z","timestamp":1330182236000},"page":"168-183","source":"Crossref","is-referenced-by-count":0,"title":["Representing domain structure of many-sorted Prolog knowledge bases"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Guarino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","unstructured":"Brachman, R.J., Fikes, R.E., Levesque, H.J. (1983). KRYPTON: a functional approach to knowledge representation, Fairchild Laboratory for Artificial Intelligence Research, technical report no. 16"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Brachman, R.J., Schmolze, J. G. (1985). An overview of the KL-ONE knowledge representation system, Cognitive Science 9(2).","DOI":"10.1207\/s15516709cog0902_1"},{"key":"8_CR3","unstructured":"Brachman, R.J., Gilbert, V.P., Levesque, H.J. (1985). An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON, Proc. of IJCAI, Los Angeles."},{"key":"8_CR4","unstructured":"Frisch, A.M. (1985). An investigation into inference with restricted quantification and a taxonomic representation, SIGART newsletter, n. 1."},{"key":"8_CR5","unstructured":"Guarino, N. (1987) Terminologic and assertional knowledge within Prolog knowledge bases, in preparation."},{"key":"8_CR6","volume-title":"Frame conceptions and text understanding","author":"P.J. Hayes","year":"1979","unstructured":"Hayes, P.J. (1979). The logic of frames, in D. Metzing (ed.), Frame conceptions and text understanding, Walter de Gruyter and Co., Berlin."},{"key":"8_CR7","volume-title":"Introduction to mathematical logic","author":"Kleene","year":"1967","unstructured":"Kleene (1967). Introduction to mathematical logic, John Wiley, New York."},{"key":"8_CR8","unstructured":"Kowalski, R. (1979). Logic for problem solving. North Holland."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Levesque, H.J. (1984a). Foundations of a functional approach to knowledge representation, Artificial Intelligence 23 (2)","DOI":"10.1016\/0004-3702(84)90009-2"},{"key":"8_CR10","unstructured":"Levesque, H.J. (1984b). A logic of implicit and explicit belief. Fairchild Technical Report No. 653."},{"key":"8_CR11","unstructured":"Logicware inc., Toronto and SzKI, Budapest (1985). MProlog reference manual."},{"key":"8_CR12","volume-title":"First order theories of individual concepts and propositions","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J. (1979). First order theories of individual concepts and propositions, Machine Intelligence 9, Ellis Horwood, New York."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"McSkimin, J., Minker, J. (1979). A predicate calculus based semantic network for deductive searching, in N. V. Findler (ed.), Associative Networks: representation and use of knowledge by computers, Academic Press.","DOI":"10.1016\/B978-0-12-256380-5.50012-8"},{"key":"8_CR14","unstructured":"Moore, R.C. (1982). The role of logic in knowledge representation and commonsense reasoning. Proceedings of AAAI-82, Pittsburgh."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Newell, A. (1981). The knowledge level, AI Magazine 2 (2).","DOI":"10.21236\/ADA106556"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Shapiro, S.A. (1986). Symmetric relations, intensional individuals, and variable binding. Proceedings of the IEEE, 74 (10).","DOI":"10.1109\/PROC.1986.13637"},{"key":"8_CR17","unstructured":"Sowa, J.F. (1984). Conceptual structures: information processing in mind and in machine, Addison-Wesley."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Stickel, M.E. (1986a). Schubert's steamroller problem: formulations and solutions, Journal of automated reasoning 2 (2).","DOI":"10.1007\/BF00246025"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Stickel, M.E. (1986b). An introduction to automated deduction. In W. Bibel and Ph. Jorrand (eds.), Fundamentals of artificial intelligence, Springer Verlag.","DOI":"10.1007\/BFb0022681"},{"key":"8_CR20","unstructured":"Walther, C. (1983). A many-sorted calculus based on resolution and paramodulation. Proceedings of IJCAI-83, Karlsruhe."},{"key":"8_CR21","unstructured":"Walther, C. (1984). Unification in many-sorted theories. Proc. of 6th ECAI, Pisa."}],"container-title":["Lecture Notes in Computer Science","Foundations of Logic and Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19129-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:46Z","timestamp":1605626206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19129-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540191292","9783540391265"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-19129-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}