{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:58Z","timestamp":1725664738687},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:54Z","timestamp":1330290594000},"page":"289-301","source":"Crossref","is-referenced-by-count":24,"title":["Soundness and completeness of non-classical extended SLD-resolution"],"prefix":"10.1007","author":[{"given":"Peter","family":"Vojt\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonard","family":"Paul\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"Apt, K. R.: Logic programming. In: van Leeuwen, J.(Ed.): Handbook of Theoretical Computer Science, Vol. B, Formal methods and semantics, 493\u2013574, Elsevier, 1990","key":"20_CR1"},{"unstructured":"The Arity\/Expert language. Arity Corp., Concord MA, 1986","key":"20_CR2"},{"key":"20_CR3","first-page":"1","volume-title":"Methodologies for Intelligent Systems, Volume 4","author":"L. Ding","year":"1989","unstructured":"Ding L., Shen Z. L., Mukaidono M.: Fuzzy linear resolution as the inference engine of intelligent systems. In: Ras Z. W. (Ed.): Methodologies for Intelligent Systems, Volume 4, Elsevier Science Publ., Amsterdam, 1989, 1\u20138"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D. Dubois","year":"1991","unstructured":"Dubois D., Lang J., Prade H.: Fuzzy sets in approximate reasoning, Part 2: Logical approaches. Fuzzy Sets and Systems 40 (1991) 203\u2013244","journal-title":"Fuzzy Sets and Systems"},{"key":"20_CR5","volume-title":"Mehrwertige Logik","author":"S. Gottwald","year":"1988","unstructured":"Gottwald, S.: Mehrwertige Logik. Akademie Verlag, Berlin, 1988"},{"unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy I. Fuzzy Sets and Systems (to appear)","key":"20_CR6"},{"doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy II. Preprint, 1995","key":"20_CR7","DOI":"10.1007\/978-1-4899-1424-8_2"},{"key":"20_CR8","series-title":"Lecture Notes in Comp. Sci., 1012","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-60609-2_2","volume-title":"SOFSEM'95: Theory and Practice of Informatics","author":"P. H\u00e1jek","year":"1995","unstructured":"H\u00e1jek, P.: Fuzzy logic from the logical point of view. In: Barto\u0161ek, M., Staudek, J., Wiedermann, J. (Eds.): SOFSEM'95: Theory and Practice of Informatics, 31\u201349, Lecture Notes in Comp. Sci., 1012, Springer, Berlin, 1995"},{"key":"20_CR9","first-page":"5","volume":"1","author":"K. Klawonn","year":"1994","unstructured":"Klawonn, K., Kruse, K.: A Lukasiewicz logic based Prolog. Mathware Soft Comput. 1 (1994) 5\u201329","journal-title":"Mathware Soft Comput."},{"key":"20_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundation of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundation of Logic Programming. Springer Verlag, Berlin, 1987"},{"key":"20_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8911-8","volume-title":"Building Expert Systems in Prolog","author":"D. Meritt","year":"1989","unstructured":"Meritt, D.: Building Expert Systems in Prolog. Springer Verlag, Berlin, 1989"},{"key":"20_CR12","first-page":"225","volume-title":"Advances in Fuzzy Systems \u2014 Applications and Theory","author":"MASAO MUKAIDONO","year":"1994","unstructured":"Mukaidono, M., Kikuchi, H.: Foundations of fuzzy logic programming. In: Wang, P-Z., Loe, K-F.(Eds.): Between Mind and Computer, 225\u2013244, Advances in Fuzzy Systems \u2014 Applications and Theory, Vol.1, World Scientific Publ., Singapore"},{"key":"20_CR13","first-page":"47","volume":"26","author":"V. Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k, V.: On the syntactico-semantical completeness of first-order fuzzy logic I, II. Kybernetika 26 (1990) 47\u201326, 134\u2013152","journal-title":"Kybernetika"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math. 25 (1979) 45\u201352, 119\u2013134, 447\u2013464","journal-title":"Zeitschr. f. Math. Logik und Grundl. der Math."},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"E. H. Shortliffe","year":"1975","unstructured":"Shortliffe, E. H., Buchanan, B. G.: A model of inexact reasoning in medicine. Math. Biosci. 23 (1975) 351\u2013379","journal-title":"Math. Biosci."},{"key":"20_CR16","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge MA, 1986"},{"key":"20_CR17","first-page":"233","volume-title":"Artificial Intelligence Techniques AIT'95","author":"P. Vojt\u00e1\u0161","year":"1995","unstructured":"Vojt\u00e1\u0161, P., Paul\u00edk, L., Lieskovsk\u00fd, M.: Expert systems and different logic systems. In: \u017di\u017eka, J., Brazdil, P. (Eds.): Artificial Intelligence Techniques AIT'95, 233\u2013239, Published by Tech. Univ., Brno, 1995"},{"key":"20_CR18","series-title":"Lecture Notes in Comp. Sci., 1012","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/3-540-60609-2_38","volume-title":"SOFSEM'95: Theory and Practice of Informatics","author":"P. Vojt\u00e1\u0161","year":"1995","unstructured":"Vojt\u00e1\u0161 P., Paul\u00edk, L.: Logical Programming in RPL and RQL. In: Bartosek, M., Staudek, J., Wiedermann, J. (Eds.): SOFSEM'95: Theory and Practice of Informatics, 487\u2013492, Lecture Notes in Comp. Sci., 1012, Springer, Berlin, 1995"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:23Z","timestamp":1605647003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}