{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:10:04Z","timestamp":1739146204386,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024771"},{"type":"electronic","value":"9783642024788"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02478-8_34","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T22:46:41Z","timestamp":1244242001000},"page":"270-277","source":"Crossref","is-referenced-by-count":2,"title":["RFuzzy: An Expressive Simple Fuzzy Compiler"],"prefix":"10.1007","author":[{"given":"Susana","family":"Munoz-Hernandez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor Pablos","family":"Ceruelo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Abietar, J.M., Morcillo, P.J., Moreno, G.: Designing a software tool for fuzzy logic programming. In: Simos, T.E., Maroulis, G. (eds.) Proc. of the Int. Conf. of Computational Methods in Sciences and Engineering. ICCMSE 2007. Computation in Mordern Science and Engineering, vol.\u00a02, pp. 1117\u20131120. American Institute of Physics (2007) (Distributed by Springer)","DOI":"10.1063\/1.2835940"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint Logic Programming: syntax and semantics. In: ACM TOPLAS, vol.\u00a023, pp. 1\u201329 (2001)","DOI":"10.1145\/383721.383725"},{"issue":"1","key":"34_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.fss.2003.10.017","volume":"144","author":"S. Guadarrama","year":"2004","unstructured":"Guadarrama, S., Munoz-Hernandez, S., Vaucheret, C.: Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems\u00a0144(1), 127\u2013150 (2004)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"34_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/321679.321688","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"Lee, R.C.T.: Fuzzy Logic and the resolution principle. Journal of the Association for Computing Machinery\u00a019(1), 119\u2013129 (1972)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"34_CR5","first-page":"1031","volume-title":"International Fuzzy Systems Conference","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Votjas, P.: A completeness theorem for multi-adjoint Logic Programming. In: International Fuzzy Systems Conference, pp. 1031\u20131034. IEEE, Los Alamitos (2001)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-45402-0_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Votjas, P.: Multi-adjoint Logic Programming with continuous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS, vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-45329-6_29","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Votjas, P.: A procedural semantics for multi-adjoint Logic Programming. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol.\u00a02258, pp. 290\u2013297. Springer, Heidelberg (2001)"},{"key":"34_CR8","unstructured":"Morcillo, P.J., Moreno, G.: Floper, a fuzzy logic programming environment for research. In: Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008, Gij\u00f3n, Spain (2008)"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Moreno, G.: Building a fuzzy transformation system. In: SOFtware SEMinar 2006: Theory and Practice of Computer Science, pp. 409\u2013418 (2006)","DOI":"10.1007\/11611257_39"},{"key":"34_CR10","unstructured":"Munoz-Hernandez, S., Vaucheret, C., Guadarrama, S.: Combining crisp and fuzzy Logic in a prolog compiler. In: Moreno-Navarro, J.J., Mari\u00f1o, J. (eds.) Joint Conf. on Declarative Programming: APPIA-GULP-PRODE 2002, Madrid, Spain, pp. 23\u201338 (September 2002)"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Shen, Z., Ding, L., Mukaidono, M.: Fuzzy resolution principle. In: Proc. of 18th International Symposium on Multiple-valued Logic, vol.\u00a05 (1989)","DOI":"10.1109\/ISMVL.1988.5176"},{"key":"34_CR12","unstructured":"The CLIP Lab. The Ciao Prolog Development System WWW Site, http:\/\/www.clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"34_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-36078-6_30","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C. Vaucheret","year":"2002","unstructured":"Vaucheret, C., Guadarrama, S., Munoz-Hernandez, S.: Fuzzy prolog: A simple general implementation using clp(r). In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 450\u2013463. Springer, Heidelberg (2002)"},{"issue":"1","key":"34_CR14","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojtas","year":"2001","unstructured":"Vojtas, P.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0124(1), 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"34_CR15","unstructured":"Ehud, Y., Shapiro: Logic programs with uncertainties: A tool for implementing rule-based systems. In: International Joint Conference on Artificial Intelligence, pp. 529\u2013532 (1983)"}],"container-title":["Lecture Notes in Computer Science","Bio-Inspired Systems: Computational and Ambient Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02478-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T23:44:15Z","timestamp":1739144655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02478-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024771","9783642024788"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02478-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}