[VÁS10]

Víctor Pablos-Ceruelo, Álvaro Fernández-Díaz, and Susana Muñoz-Hernández. Developing user-sensitive search engines from fuzzy concepts. In JISBD'2010, September 2010. accepted for publication, see http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml.

[ÁSV10]

Álvaro Fernández-Díaz, Susana Muñoz-Hernández, and Víctor Pablos-Ceruelo. Developing user-sensitive e-commerce applications from fuzzy concepts. In Algebraic methods, soft computing, and program verification, International Center for Mathematical Meetings (CIEM), Castro Urdiales, Cantabria, Spain, April 2010. Julio Rubio (Univ. de La Rioja) and Manuel Ojeda-Aciego (Univ. de Málaga). Sponsored by: Ingenio2010, CIEM, Excmo. Ayuntamiento de Castro Urdiales. Keynote Speakers: Thomas Arts (Univ. of Gothenburg), Gilles Barthe (Madrid Institute for Advanced Studies (Software)), Stefan Berghofer (Technische Universität München), Mario de Jesús Pérez Jiménez (Univ. de Sevilla), José Luis Ruiz Reina (Univ. de Sevilla), Enric Trillas (European Centre for Soft Computing).

[MHPCS10]

Susana Munoz-Hernandez, Víctor Pablos-Ceruelo, and Hannes Strass. Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Information Sciences, In Press, Accepted Manuscript:-, 2010. [ DOI | http ]

We present the RFuzzy framework, a Prolog-based tool for representing and reasoning with fuzzy information.The advantages of our framework in comparison to previous tools along this line of research are its easy, user-friendly syntax, and its expressivity through the availability of default values and types. In this approach we describe the formal syntax, the operational semantics and the declarative semantics of RFuzzy (based on a lattice). A least model semantics, a least fixpoint semantics and an operational semantics are introduced and their equivalence is proven.We provide a real implementation that is free and available.Besides implementation details, we also discuss some actual applications using RFuzzy.

Keywords: Fuzzy Logic

[Pab09]

Víctor Pablos-Ceruelo. Negative non-ground queries in well founded semantics. Master's thesis, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, October 2009. Advisor: José Júlio Alves Alferes, Calificación: Notable. [ .html | .pdf ]

[PSM09]

Víctor Pablos-Ceruelo, Hannes Strass, and Susana Muñoz Hernández. Rfuzzy-a framework for multi-adjoint fuzzy logic programming. In Fuzzy Information Processing Society, 2009. NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference, pages 1-6, June 2009. [ DOI | http ]

Fuzzy Logic Programming aims at combining the advantages of Logic Programming (such as readability, conciseness, and a formally well-defined semantics) with the advantages of Fuzzy Logic (representability of imprecise and uncertain knowledge).

[CSPC09]

Joan Cabestany, Francisco Sandoval, Alberto Prieto, and Juan M. Corchado, editors. Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, volume 5517 of Lecture Notes in Computer Science. Springer, 2009.

[CDKdCS09]

João Paulo Carvalho, Didier Dubois, Uzay Kaymak, and João Miguel da Costa Sousa, editors. Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009, 2009.

[SMHP09]

Hannes Strass, Susana Muñoz-Hernández, and Víctor Pablos-Ceruelo. Operational semantics for a fuzzy logic programming system with defaults and constructive answers. In Carvalho et al. [CDKdCS09], pages 1827-1832. [ .pdf ]

[MHPS09]

Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, and Hannes Strass. Rfuzzy: An expressive simple fuzzy compiler. In Cabestany et al. [CSPC09], pages 270-277. [ DOI ]

[PMS08]

Víctor Pablos-Ceruelo, Susana Muñoz Hernandez, and Hannes Strass. Rfuzzy framework. In Puri Arenas and Damiano Zanardini, editors, 18th Workshop on Logic-based methods in Programming Environments, WLPE 2008, pages 62-76, Udine, Italy, December 2008. [ http | http | http ]

Fuzzy reasoning is a very productive research field that during the last years has provided a number of theoretical approaches and practical implementation prototypes. Nevertheless, the classical implementations, like Fril, are not adapted to the latest formal approaches, like multi-adjoint logic semantics. Some promising implementations, like Fuzzy Prolog, are so general that the regular user/programmer does not feel comfortable because either representation of fuzzy concepts is complex or the results difficult to interpret. In this paper we present a modern framework, Rfuzzy, that is modelling multi-adjoint logic. It provides some extensions as default values (to represent missing information, even partial default values) and typed variables. Rfuzzy represents the truth value of predicates through facts, rules and functions. Rfuzzy answers queries with direct results (instead of constraints) and it is easy to use for any person that wants to represent a problem using fuzzy reasoning in a simple way (by using the classical representation with real numbers).

[MHF⁺07]

Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Víctor Pablos-Ceruelo, Guillem Marpons, and Juan José Moreno-Navarro. Study of existing coding rule formalisms and compendium of common hazards. Use of coding rules in software industry. Technical report, Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain, November 2007.

This file was generated by bibtex2html 1.95.