{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:27Z","timestamp":1725664947354},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606093"},{"type":"electronic","value":"9783540484639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60609-2_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:47:46Z","timestamp":1330289266000},"page":"487-492","source":"Crossref","is-referenced-by-count":3,"title":["Logic programming in RPL and RQL"],"prefix":"10.1007","author":[{"given":"Peter","family":"Vojt\u00e1\u0161","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,6]]},"reference":[{"key":"38_CR1","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, Volume 4, 1\u20138"},{"key":"38_CR2","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":"38_CR3","volume-title":"Mehrwertige Logik","author":"S. Gottwald","year":"1988","unstructured":"Gottwald, S.: Mehrwertige Logik. Akademie Verlag, Berlin, 1988"},{"key":"38_CR4","unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy I. Fuzzy Sets and Systems (to appear)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy II. Preprint, 1995","DOI":"10.1007\/978-1-4899-1424-8_2"},{"key":"38_CR6","volume-title":"Grundlagen der Fuzzy Logik. Vortr\u00e4ge","author":"P. H\u00e1jek","year":"1995","unstructured":"H\u00e1jek, P.: Grundlagen der Fuzzy Logik. Vortr\u00e4ge, Technische Universit\u00e4t, Wien, 24.-28. 4. 1995"},{"key":"38_CR7","unstructured":"H\u00e1jek, P.: Lectures on Fuzzy Logic. Handwritten notes of lectures, Prague, Fall 1994"},{"key":"38_CR8","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":"38_CR9","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":"38_CR10","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":"38_CR11","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":"38_CR12","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":"38_CR13","volume-title":"Expert systems and different logic systems","author":"P. Vojt\u00e1\u0161","year":"1995","unstructured":"Vojt\u00e1\u0161, P., Paul\u00edk, L., Lieskovsk\u00fd, M.: Expert systems and different logic systems. Accepted for the proceeding of AIT'95, Brno, Published by Tech. Univ., Brno, 1995"}],"container-title":["Lecture Notes in Computer Science","SOFSEM '95: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60609-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:43Z","timestamp":1605646843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60609-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606093","9783540484639"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60609-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}