{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:38Z","timestamp":1725456038544},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018991","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:41Z","timestamp":1132638641000},"page":"43-54","source":"Crossref","is-referenced-by-count":1,"title":["A new sorted logic"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Weidenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(92)90055-3","volume":"55","author":"C. Beierle","year":"1992","unstructured":"C. Beierle, U. Hedst\u00fcck, U. Pletat, and J. Siekmann. An order-sorted logic for knowledge representation systems. Artificial Intelligence, 55:149\u2013191, 1992.","journal-title":"Artificial Intelligence"},{"key":"3_CR2","unstructured":"H.J. B\u00fcrckert. Constraint resolution. Lecture Notes in Artificial Intelligence. Springer Verlag, 1991."},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00243207","volume":"3","author":"A.G. Cohn","year":"1987","unstructured":"A.G. Cohn. A more expressive formulation of many sorted logic. Journal of Automated Reasoning, 3(2):113\u2013200, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR4","unstructured":"A.M. Frisch. A general framework for sorted deduction: Fundamental results on hybrid reasoning. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 126\u2013136, May 1989."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"W. McCune. Otter 2.0. In 10th International Conference on Automated Deduction, pages 663\u2013664. Springer Verlag, 1990.","DOI":"10.1007\/3-540-52885-7_131"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"W. McCune and L. Wos. Experiments in automated deduction with condensed detachment. In 11th International Conference on Automated Deduction, pages 209\u2013223. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55602-8_167"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1305\/ndjfl\/1093888116","volume":"18","author":"D. Meredith","year":"1977","unstructured":"D. Meredith. In memoriam carew arthur meredith (1904\u20131976). Notre Dame Journal of Formal Logic, 18(513\u2013516), 1977.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df. Computational aspects of an order sorted logic with term declarations. Lecture Notes in Artificial Intelligence. Springer Verlag, 1989.","DOI":"10.1007\/BFb0024065"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J. Siekmann","year":"1989","unstructured":"J. Siekmann. Unification theory. Journal of Symbolic Computation, Special Issue on Unification, 7:207\u2013274, 1989.","journal-title":"Journal of Symbolic Computation, Special Issue on Unification"},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF00244275","volume":"1","author":"M. Stickel","year":"1985","unstructured":"M. Stickel. Theory resolution. Journal of Automated Reasoning, 1(4):333\u2013355, 1985.","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"C. Walther. A Many-sorted Calculus based on Resolution and Paramodulation. Research Notes in Artificial Intelligence. Pitman Ltd., 1987.","DOI":"10.1016\/B978-0-273-08718-2.50007-9"},{"key":"3_CR12","volume-title":"MPI-Report MPI-I-91-218","author":"C. Weidenbach","year":"1991","unstructured":"C. Weidenbach. A sorted logic using dynamic sorts. MPI-Report MPI-I-91-218, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, December 1991."},{"key":"3_CR13","first-page":"688","volume-title":"A resolution calculus with dynamic sort structures and partial functions","author":"C. Weidenbach","year":"1990","unstructured":"C. Weidenbach and H.J. Ohlbach. A resolution calculus with dynamic sort structures and partial functions. In Proceedings of the 9th European Conference on Artificial Intelligence, pages 688\u2013693. Pitman Publishing, London, August 1990."}],"container-title":["Lecture Notes in Computer Science","GWAI-92: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018991.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:49Z","timestamp":1607550109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018991"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566678"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0018991","relation":{},"subject":[]}}