{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:03:34Z","timestamp":1725667414456},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183846"},{"type":"electronic","value":"9783642466205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-46620-5_14","type":"book-chapter","created":{"date-parts":[[2012,3,9]],"date-time":"2012-03-09T10:00:26Z","timestamp":1331287226000},"page":"145-156","source":"Crossref","is-referenced-by-count":0,"title":["Taxonomical Reasoning in Logic Programming"],"prefix":"10.1007","author":[{"given":"I.","family":"Varsek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H Ait-Kaci","year":"1986","unstructured":"Ait-Kaci, H.; Nasr, R.: Login, A Logic Programming Language with Built-in Inheritance. J. Logic Programming (1986)3, 185\u2013215","journal-title":"J. Logic Programming"},{"key":"14_CR2","first-page":"2","volume":"9","author":"RJ Brachman","year":"1986","unstructured":"Brachman, R.J.; Schmolze, J.G.: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, Vol. 9, No. 2, April 1985","journal-title":"Cognitive Science"},{"key":"14_CR3","volume-title":"Extending the Warren Abstract Machine to Many-Sorted Prolog. Memo Seki-85-VII-KL","author":"H-J B\u00fcrckert","year":"1985","unstructured":"B\u00fcrckert, H-J.: Extending the Warren Abstract Machine to Many-Sorted Prolog. Memo Seki-85-VII-KL, Universit\u00e4t Kaiserslautern, Fachbereich Informatik, 1985"},{"key":"14_CR4","volume-title":"Springer-Verlag","author":"WF Clocksin","year":"1984","unstructured":"Clocksin, W.F.; Mellish, C.S.: Programming in Prolog. Second Edition. Springer-Verlag (1984)"},{"key":"14_CR5","volume-title":"Washington","author":"AG Cohn","year":"1983","unstructured":"Cohn, A.G.: Improving the Expressiveness of many-sorted Logic. AAAI-83, Washington (1983)"},{"key":"14_CR6","volume-title":"Communications of the ACM special issue on Knowledge-Based Systems","author":"RE Fikes","year":"1985","unstructured":"Fikes,R.E.; Kehler,T.P.: The Role of Frame-Based Representation in Reasoning. in Communications of the ACM special issue on Knowledge-Based Systems, Sept. 1985"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1056541.1056546","volume":"91","author":"AM Frisch","year":"1985","unstructured":"Frisch, A.M.: An investigation into inference with restricted quantification and a taxonomic representation. SIGART Newsletter 91 (1985), 28\u201331","journal-title":"SIGART Newsletter"},{"key":"14_CR8","volume-title":"Minker,J","author":"H Gallaire","year":"1978","unstructured":"Gallaire, H.; Minker,J. (eds.): Logic and Databases. Plenum Press, New York (1978)"},{"key":"14_CR9","first-page":"14","volume-title":"Semantics and Theory of COmputation Report","author":"JA Goguen","year":"1978","unstructured":"Goguen, J.A.: Order-Sorted Algebra. Technical Report, UCLA Computer Science Department, Semantics and Theory of COmputation Report No. 14, 1978"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"2","author":"JA Gogouen","year":"1984","unstructured":"Gogouen, J.A.; Meseguer, J.: Eglog: Equality, Types and Generic Modules for Logic Programming. J. of Logic Programming(1984)2, 179\u2013210","journal-title":"J. of Logic Programming"},{"key":"14_CR11","first-page":"34","volume-title":"Freeman","author":"G Gr\u00e4tzer","year":"1971","unstructured":"Gr\u00e4tzer, G.: Lattice Theory. W.H. Freeman Co., (1971), pp.34 ff"},{"key":"14_CR12","volume-title":"L-Maschine: Maschinenmodell mit Sorten. Arbeitsbericht","author":"M Huber","year":"1985","unstructured":"Huber, M.: L-Maschine: Maschinenmodell mit Sorten. Arbeitsbericht, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, 1985 (in German)"},{"key":"14_CR13","volume-title":"EPOS - Extended Prolog with Order-Sorted Resolution. Interner Bericht Nr. 5\/87","author":"M Huber","year":"1987","unstructured":"Huber, M., Varsek, I.: EPOS - Extended Prolog with Order-Sorted Resolution. Interner Bericht Nr. 5\/87, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (1987)"},{"key":"14_CR14","volume-title":"Proc. 9th MAI (1985) W. Kaufmann","author":"KB Irani","year":"1985","unstructured":"Irani, K.B.; Shin, D.G.: A Many-Sorted Resolution Based on an Extension of a First-Order Language. Proc. 9th MAI (1985) W. Kaufmann"},{"key":"14_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. (1984) Springer-Verlag"},{"key":"14_CR16","volume-title":"Mechanical Generation of Sorts in Clause Sets. Memo-Seki-85-IV-KL","author":"M Schmidt-Schauss","year":"1985","unstructured":"Schmidt-Schauss, M.: Mechanical Generation of Sorts in Clause Sets. Memo-Seki-85-IV-KL, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, 1985"},{"key":"14_CR17","volume-title":"Proc. 9th IJCAI (1985) W. Kaufmann","author":"M Schmidt-Schauss","year":"1985","unstructured":"Schmidt-Schauss, M.: A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. Proc. 9th IJCAI (1985) W. Kaufmann"},{"key":"14_CR18","volume-title":"October","author":"G Smolka","year":"1986","unstructured":"Smolka, G.: Order-Sorted Horn Logic: Semantics and Deduction. SEKI-Report SR-86\u201317, October 1986, Universit\u00e4t Kaiserslautern, Fachbereich Informatik, 1986"},{"key":"14_CR19","volume-title":"MCC Technical Report M-057-87","author":"G Smolka","year":"1987","unstructured":"Smolka, G.; Ait-Kaci, H.: Inheritance Hierarchies: Semantics and Unification. MCC Technical Report M-057\u201387, 1987"},{"key":"14_CR20","first-page":"882","volume":"8","author":"C Walther","year":"1985","unstructured":"Walther, C.: A Many-Sorted Calculus Based on Resolution and Paramodulation. Proc. of the 8th IJCAI, Karlsruhe (1983) W. Kaufman, 882\u2013891","journal-title":"Proc. of the 8th IJCAI, Karlsruhe"},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0004-3702(85)90029-3","volume":"26","author":"C Walther","year":"1985","unstructured":"Walther, C.: A mechanical solution of Schubert\u2019s Steamroller by many-sorted resolution. J. of Artificial Intelligence 26, 2 (1985)","journal-title":"J. of Artificial Intelligence"},{"key":"14_CR22","volume-title":"Many-Sorted Calculus based on Resolution and Paramodulation. Research Notes in Artificial Intelligence","author":"C Walther","year":"1987","unstructured":"Walther, C.: Many-Sorted Calculus based on Resolution and Paramodulation. Research Notes in Artificial Intelligence (1987) Pitman Publ., Ltd., London, and Morgan Kaufmann Publ., Inc., Los Altos (forthcoming)"},{"key":"14_CR23","first-page":"309","volume-title":"SRI Technical Report","author":"DHD Warren","year":"1983","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. SRI Technical Report 309, 1983"}],"container-title":["Informatik-Fachberichte","3. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-46620-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:42:30Z","timestamp":1620135750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-46620-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183846","9783642466205"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-46620-5_14","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}