Susana Muñoz Hernández

Publications

[MHO16b]
S. Muñoz-Hernández and Izzeldin Osman. Women empowerment and research productivity through a successful distance phd program. In 10th International Conference on ICT for Development, Education and Training. E-learning Africa, May 2016. [ bib ]
[MHO16a]
S. Muñoz-Hernández and Izzeldin Osman. Using a productive distance phd program to empower women in academia. In IST-Africa 2016 Conference Proceedings, May 2016. [ bib ]
[PCMH14a]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Enriching traditional databases with fuzzy definitions to allow flexible and expressive searches. In António Dourado, José M. Cadenas, and Joaquim Filipe, editors, Proceedings of the International Conference on Fuzzy Computation Theory and Applications, pages 111--118, Rome, Italy, October 2014. [ bib | DOI ]
Although the relevance of fuzzy information to represent concepts of real life is evident, almost all databases contain just crisp information. The main reason for this, apart from the tradition, is that fuzzy information is most of the times subjective and storing all users points of view is unfeasible. Allowing fuzzy concepts in the queries increases the queries' expressiveness and asking for cheap products, big size, close hotels, etc is much more interesting that asking for products with a price under X, of the size Y, hotels at most X kilometers far, etc. The way we propose for achieving this more expressive databases' queries is adding to the basic knowledge offered by a database (e.g. distance to hotel is 5 km) the link between this crisp concept and multiple fuzzy concepts that we use in real life (e.g. close hotel). We present FleSe, a framework for searching databases in a flexible way, thanks to the fuzzy concepts that we can define. In this paper we describe the easy procedure that let us define fuzzy concepts and link them to crisp database fields.

Keywords: Databases, Fuzzy Logic, Search Engine
[PCMH14e]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. On modelling real-world knowledge to get answers to fuzzy and flexible searches without human intervention. In Fuzzy Systems (FUZZ-IEEE), 2014 IEEE International Conference on, pages 2329--2336, Beijing, China, July 2014. [ bib | DOI ]
The Internet has become a place where massive amounts of information and data are being generated every day. This information is most of the times stored in a non-structured way, but the times it is structured in databases it cannot be retrieved by using easy fuzzy queries. Being the information in the database the distance to the city center of some restaurants (and their names) by easy fuzzy queries we mean queries like "I want a restaurant close to the center". Since the computer does not have knowledge about the relation between being close to the center and the distance to the center (of a restaurant) it does not know how to answer this query by itself. We need human intervention to tell the computer from which database column it needs to retrieve data (the one with the restaurant's distance to the center), and how this non-fuzzy information is fuzzified (applying the close function to the retrieved value). Once this is done it can give an answer, just ordering the database elements by this new computed attribute. This example is very simple, but there are others not so simple, as "I want a restaurant close to the center, not very expensive and whose food type is mediterranean". Doing this for each existing attribute does not seem to be a very good idea. We present a web interface for posing fuzzy and flexible queries and a search engine capable of answering them without human intervention, just from the knowledge modelled by using the framework's syntax. We expect this work contributes to the development of more human-oriented fuzzy search engines.

Keywords: Internet;database management systems;fuzzy set theory;query processing;search engines;Internet;Web interface;database column;database elements;flexible searches;framework syntax;fuzzy queries;human intervention;human-oriented fuzzy search engines;nonfuzzy information;real-world knowledge;Cities and towns;Computers;Databases;Fuzzy logic;Search engines;Semantics;Syntactics
[PCMH14d]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Introducing similarity relations in a framework for modelling real-world fuzzy knowledge. In Laurent et al. [LSBMY14], pages 51--60. online isbn: 978-3-319-08852-5, series issn: 1865-0929. [ bib | DOI ]
[OBR+14]
Sigeru Omatu, Hugues Bersini, Juan M. Corchado Rodríguez, Sara Rodríguez, Pawel Pawlewski, and Edgardo Bucciarelli, editors. volume 290 of Advances in Intelligent Systems and Computing. Springer, June 2014. DCAI 2014. [ bib ]
[LSBMY14]
Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, and Ronald R. Yager, editors. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III, volume 444 of Communications in Computer and Information Science. Springer International Publishing, 2014. online isbn: 978-3-319-08852-5, series issn: 1865-0929. [ bib ]
[PCMH14c]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. A framework for modelling real-world knowledge capable of obtaining answers to fuzzy and flexible searches. In Computational Intelligence - Revised and Selected Papers of the International Joint Conference IJCCI 2013 held in Vilamoura, Portugal, August 2013, page to appear. Springer Verlag -- accepted, 2014. [ bib ]
[PCMH14b]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Flese: A tool for posing flexible and expressive (fuzzy) queries to a regular database. In Omatu et al. [OBR+14], pages 157--164. DCAI 2014. [ bib | http ]
[MH13a]
Susana Muñoz-Hernández. Comunicación y relación interpersonal: las claves del éxito profesional. Conferencia organizada en el Instituto Cervantes de Fez, December 2013. [ bib ]
[MH13e]
Susana Muñoz-Hernández. Financing projects, how to build a business model for technology enhanced education. Technology Enhanced Cities Summit, November 2013. [ bib ]
[MH13b]
Susana Muñoz-Hernández. Conferenciante invitado en la mesa redonda “i+d en cooperación para el desarrollo y organizaciones no gubernamentales”. celebraciones del 25 aniversario de la Agencia de Cooperación Española al Desarrollo, November 2013. [ bib ]
[PCMH13]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Getting answers to fuzzy and flexible searches by easy modelling of real-world knowledge. In IJCCI 2013 - Proceedings of the 5th International Joint Conference on Computational Intelligence, Vilamoura, Algarve, Portugal, September 2013. SCITEPRESS Digital Library. Proceedings of the 5th International Conference on Fuzzy Computation Theory and Applications (FCTA'2013). [ bib | DOI | http ]
[MH13f]
Susana Muñoz-Hernández. Moderadora del panel “technological innovations in management and entrepreneurship education”. 2013 Annual Conference and 10th Anniversary Celebration “Education, Employment and Enterpreneurship”, June 2013. [ bib ]
[MH13c]
Susana Muñoz-Hernández. Conferenciante invitado y facilitador de la mesa redonda sobre educación. Technology, Innovation and Social Change. http://sec2013.etsii.upm.es, April 2013. [ bib ]
[MH13d]
Susana Muñoz-Hernández. Cooperación internacional y justicia social en la facultad de informática. Jornadas Try it. Facultad de Informática (UPM), March 2013. [ bib ]
[MH13g]
Susana Muñoz-Hernández. Uburyo (ofreciendo oportunidades) un programa transparente de microcréditos universitarios. Jornadas de Innovación itdUPM - Ongawa, February 2013. [ bib ]
[OMH13]
Carlos Badenes Olmedo and Susana Muñoz-Hernández. Dammopd: Data analysis and mining of mobile phone dataset. In Proceeding of NetMob 2013. Mayo 1, 2013, Boston, EEUU, 2013. Poster at Special session of the Orange D4D challenge. [ bib ]
[MMH13a]
María Auxiliadora Montes and Susana Muñoz-Hernández. Metodología para determinar la distribución de puntos de acceso a gobierno electrónico. In Actas del VI Congreso Universidad y Cooperación al Desarrollo, Junio 24-26, 2013, Valencia, España, 2013. [ bib ]
[BMH13]
Carlos Badenes and Susana Muñoz-Hernández. Dammopd: Data analysis and mining of mobile phone dataset. In Mobile Phone Data for Development. Analysis of mobile phone datasets for the development of Ivory Coast, pages 240--261, Boston, EEUU, 2013. [ bib ]
We analyze these four mobile phone datasets provided by Orange, along another information to discover knowledge that contributing to the socio-economic development of the Ivory Coast population. This analysis has focused on a development primarily descriptive, but a predictive model would be built to complete a sustainable solution based on previous results. So we start discovering different communication patterns and then we'll try to associate these patterns to geographic locations with enough accuracy to be relevant. With these results we 'll analyze the specific situation on these places to get a useful knowledge that explains why these patterns occur and find solutions to improve communications. Once it is completed, we would need to build a system able to learn of alarms or events that have been found in that first study, and detect similar situations before that it occur. On that moment we will have built a complete system to fix communication errors.

[MMH13b]
Mariuxi Montes Chunga and Susana Muñoz-Hernández. Metodología para determinar la distribución de puntos de acceso a gobierno electrónico. In VI Congreso Universidad y Cooperación al Desarrollo, pages 701--712, Valencia, España, 2013. [ bib ]
Este trabajo es de interés para territorios en países en vías de desarrollo que tengan información escasa o limitada sobre la cual planificar Puntos de Acceso a Servicios (PAS). Está pensado para territorios que actualmente no cuenten con ningún o con escasos PAS y que estén interesados en aplicar esta estrategia para proveer de servicios a los ciudadanos de su territorio. Aquí se dan claves para tener una respuesta con base técnica para decidir cuántos PAS poner en el territorio y dónde ubicarlos. Ante la pregunta de ?`cómo realizar una distribución de puntos de acceso a servicios de gobierno electrónico sobre un territorio determinado?, este trabajo toma en cuenta tres variables: tamaño de la población, distancia entre poblaciones y costo de implantación de los puntos de acceso. Este proceso se basa en la teoría de localización de instalaciones y usa algoritmos genéticos como herramienta técnica. Se ha hecho la aplicación de esta metodología en dos contextos: el Municipio de Santa Elena (Ecuador) y en la provincia de Asturias (España). La selección de estos dos territorios se ha planteado para resaltar las diferencias de esfuerzos en la aplicación de una misma metodología en ambos contextos.

[MH12]
Susana Muñoz-Hernández. Conferencia “experiencia en el uso de las tecnologías de la información y las comunicaciones para dar sostenibilidad a una universidad en ngozi, burundi”. III Jornadas de Enfermedades Tropicales y Salud Internacional de la Facultad de Medicina de la Universidad de Alcalá, February 2012. [ bib ]
[MCRF12]
Kurosh Madani, António Dourado Correia, Agostinho C. Rosa, and Joaquim Filipe, editors. Computational Intelligence - Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010, volume 399 of Studies in Computational Intelligence. Springer, 2012. [ bib | DOI | http ]
[MPMH12]
María Auxiliadora Montes, Miguel Ángel Peña, and Susana Muñoz-Hernández. Distribution of municipal services access points over a territory in a scenario with restricted information. In Proceedings of the Second International Conference on Social Eco-Informatics (SOTICS 2012), Octubre 21-26, 2012, Venecia, Italia, 2012. [ bib ]
[MHR12b]
Susana Muñoz-Hernández and Máximo Ramírez Robles. A software supported loan system for sustainability in education. In Proceedings of the 7th International Conference on ICT for Development, Education and Training, Mayo 23-25, 2012, Cotonou, Benin, 2012. [ bib ]
[MHR12d]
Susana Muñoz-Hernández and Máximo Ramírez Robles. Uburyo: Open source software for managing micro-credits in education. In Proceedings of the International Conference EDUCON 20121. Collaborative Learning and New Pedagogic Approaches in Engineering Education. IEEE Catalog Number: CFP12EDU-USB, Abril 17-20, 2012, Marrakesh, Marruecos, 2012. Premio al mejor artículo en la categoría de "Métodos educativos y menanismos de enseñanza en ingeniería". [ bib ]
[MHR12c]
Susana Muñoz-Hernández and Máximo Ramírez Robles. Sustainable loans system: motivation,engagement besides an opportunity of education. In Proceedings of IDLELO 5 (Free and Open Source Foundation For Africa Conference)Theme: "Open Source Solutions for achieving Millenium Development Goals", Marzo 19-23, 2012, Abuja, Nigeria, 2012. [ bib ]
[MHR12a]
Susana Muñoz-Hernández and Máximo Ramírez Robles. Evaluation of an application for managing microcredits in education. In Proceedings of the ACM DEV 2012 (the second annual Symposium on Computing for Development), Marzo 11-12, 2012, Atlanta, GA, EEUU, page 22. ACM, 2012. [ bib | DOI ]
[PCMH11]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Introducing priorities in rfuzzy: Syntax and semantics. In CMMSE 2011 : Proceedings of the 11th International Conference on Mathematical Methods in Science and Engineering, volume 3, pages 918--929, Benidorm (Alicante), Spain, June 2011. [ bib | http ]
[MHPCS11]
Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, and Hannes Strass. Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Information Sciences, 181(10):1951 -- 1970, 2011. Special Issue on Information Engineering Applications Based on Lattices. [ bib | 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. (It can be downloaded from http://babel.ls.fi.upm.es/software/rfuzzy/.) Besides implementation details, we also discuss some actual applications using RFuzzy.

Keywords: Fuzzy Logic, Logic Programming Application, Knowledge Representation and Reasoning, Semantics, Implementation
[MH10d]
Susana Muñoz-Hernández. Seminario "introducción al trabajo en equipo ii". II Plan de Tutoría Curricular de la Facultad de Informática de la Universidad Politécnica de Madrid, October 19 2010. [ bib | .pdf ]
[PCFMH10]
Víctor Pablos-Ceruelo, Álvaro Fernández Díaz, and Susana Muñoz-Hernández. Developing user-sensitive search engines from fuzzy concepts. In Actas XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'10), pages 175--186, Valencia, Spain, September 7-10 2010. http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml. [ bib ]
[MH10a]
Susana Muñoz-Hernández. Mesa redonda "?`qué hace la universidad por el acercamiento de las culturas?". VII Jornadas Internacionales de Innovación Universitaria de la Universidad Europea de Madrid, September 6 2010. [ bib ]
[MH10c]
Susana Muñoz-Hernández. Seminario "introducción al trabajo en equipo i". II Plan de Tutoría Curricular de la Facultad de Informática de la Universidad Politécnica de Madrid, September 2 2010. [ bib | .pdf ]
[MMMPR10]
Jesús Martínez-Mateo, Susana Muñoz-Hernández, and David Pérez-Rey. A Discussion of Thin Client Technology for Computer Labs. In Boris Shishkov, George A. Tsihrintzis, and Maria Virvou, editors, First International Multi-Conference on Innovative Developments in ICT (INNOV 2010), pages 119--124. Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), July 2010. First International Conference on Technology-Enhanced Learning (ICTEL 2010). [ bib ]
[FMHPC10]
Á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 21-23 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). [ bib ]
[MdRM10]
J.M. Mateo, D.P. del Rey, and Susana Muñoz-Hernández. Student motivation and cross-curricular development through e-learning applied to cooperation. In Education Engineering (EDUCON), 2010 IEEE, pages 913 --920, April 2010. [ bib | DOI ]
Technologies and especially information and communication technologies (ICT) are barrier breaking in the current social scenario. Their use is becoming essential for any professional, and their scope of use is becoming particularly widespread in education due to the existence of communication outside the classroom through e-learning tools. Universities, which play an innovative role in education, are using ICT-based approaches to adapt their learning methodology. In this paper, we present a model where students from first-world universities prepare and adapt course contents for use in educational institutions in developing countries. The objectives of this initiative of students' participating in e-learning projects with developing countries are to improve their motivation, develop a set of cross-curricular competencies, and transfer technologies within the scope of university development cooperation.

Keywords: course contents;cross-curricular development;e-learning;educational institutions;educational universities;information and communication technologies;student motivation;university development cooperation;computer aided instruction;educational courses;educational institutions;
[FK10]
Joaquim Filipe and Janusz Kacprzyk, editors. ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2010. SciTePress, 2010. [ bib ]
[TdlVLGMH10b]
Teresa Trigo de la Vega, Pedro López-García, and Susana Muñoz-Hernández. Towards fuzzy granularity control in parallel/distributed computing. In Filipe and Kacprzyk [FK10], pages 43--55. Best Student Paper Award ICFC 2010. [ bib ]
[TdlVLGMH10a]
Teresa Trigo de la Vega, Pedro López-García, and Susana Muñoz-Hernández. A fuzzy approach to resource aware automatic parallelization. In Madani et al. [MCRF12], pages 229--245. [ bib | DOI | http ]
[MH10b]
Susana Muñoz-Hernández. Robot Soccer, chapter RFuzzy: an Easy and Expressive Tool for Modelling the Cognitive Layer in RoboCupSoccer. InTech, 2010. Editor Vladan Papic. [ bib | http ]
[MHM09a]
Susana Muñoz-Hernández and Jesús Martínez-Mateo. An opportunity for libre software companies: Emerging market in developing countries. The European Journal for the Informatics Professional, X(3):51--53, June 2009. [ bib ]
[PCSMH09]
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, Cincinnati, Ohio, USA, June 2009. [ bib | 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).

[MHM09b]
Susana Muñoz-Hernández and Jesús Martínez-Mateo. Una oportunidad para las empresas de software libre: mercado emergente en los paises en vías de desarrollo. Novática, 1(199):44--46, May-June 2009. [ bib ]
[MMMPR09]
Jesús Martínez-Mateo, Susana Muñoz-Hernández, and David Pérez-Rey. c&d-learning Implementation Architecture: Adapting e-learning to Developing Countries. In First International Conference on Computer Supported Education (CSEDU), volume 1, pages 89--96, March 2009. [ bib ]
[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. [ bib ]
[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. [ bib ]
[SMHPC09a]
Hannes Strass, Susana Muñoz-Hernández, and Víctor Pablos-Ceruelo. Multi-adjoint fuzzy logic programming with defaults and constructive answers. (unpublished), 2009. [ bib | .pdf ]
[SMHPC09b]
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. [ bib | .pdf ]
[MHPCS09]
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. [ bib | DOI ]
[MMNMH09]
Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. Implementing constructive intensional negation. New Generation Computing, 27(1):25--56, January 2009. [ bib ]
[PCMHS08]
Víctor Pablos-Ceruelo, Susana Muñoz-Hernández, and Hannes Strass. Rfuzzy framework. In Puri Arenas and Damiano Zanardini, editors, 18th Workshop on Logic-based methods in Programming Environments, WLPE 2008, volume abs/0903.2188, pages 62--76, Udine, Italy, December 2008. [ bib | 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).

[MPMHL08]
Jesús Martinez, Iván Pérez, Susana Muñoz-Hernández, and Daniel Lancho. Thin client technology in the academic environment. In IV Congreso Universidad y Cooperación al Desarrollo, Barcelona, España, November 2008. [ bib ]
[EMHPS08]
Francisco Escudero, Susana Muñoz-Hernández, David Pérez, and Fernándo Suarez. c&d-learning: b-learning eficiente adaptado a paises en desarrollo con bajos recursos. In IV Congreso Universidad y Cooperación al Desarrollo, Barcelona, España, November 2008. [ bib ]
[PHMHM08]
Iván Pérez, Ángel Herranz, Susana Muñoz-Hernández, and Juan José Moreno-Navarro. Modelling mash-up resources. In 13th Conference on Software Engineering and Databases, JISBD'08, pages 135--146, Gijón, Spain, October 7--10 2008. [ bib | .pdf ]
[MHW07a]
Susana Muñoz-Hernández and Wiratna Sari Wiguna. Fuzzy cognitive layer in robocupsoccer. In 12th International Fuzzy Systems Association World Congress (IFSA 2007). Foundations of Fuzzy Logic and Soft Computing, pages 635--645, Cancún, México, June 2007. Springer. [ bib ]
[MHW07b]
Susana Muñoz-Hernández and Wiratna Sari Wiguna. Fuzzy prolog as cognitive layer in robocupsoccer. In IEEE Symposium on Computational Intelligence and Games (2007 IEEE Symposia Series in Computational Intelligence), IEEE, pages 340--345, Honolulu, Hawaii, April 2007. [ bib ]
[MMMH04]
Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. Constructive intensional negation. In Stuckey and Kameyama, editors, Functional and Logic Programming Symposium, number 2998 in LNCS, pages 39--54, Nara, Japan, April 2004. Springer. [ bib ]
[GMHV04]
S. Guadarrama, Susana Muñoz-Hernández, and C. Vaucheret. Fuzzy prolog: a new approach using soft constraints propagation. Fuzzy Sets and Systems (FSS), 144(1):127 -- 150, 2004. Possibilistic Logic and Related Issues. [ bib | DOI | http ]
We present a definition of a Fuzzy Prolog Language that models -valued Fuzzy Logic, and subsumes former approaches because it uses a truth value representation based on a union of sub-intervals on [0,1] and is defined using general operators that can model different logics. This extension to Prolog is implemented by interpreting fuzzy reasoning as a set of constraints that are propagated through the rules by means of aggregation operators. Declarative and procedural semantics for Fuzzy Logic programs are given and their equivalence is proven. In addition, we present the implementation of an interpreter for this conceived language using constraint logic programming over real numbers.

Keywords: Fuzzy Prolog, Modeling uncertainty, Fuzzy logic programming, Constraint programming application, Implementation of fuzzy prolog
[MHMN04]
Susana Muñoz-Hernández and Juan José Moreno-Navarro. Implementation results in classical constructive negation. In Demoen and Lifschitz [DL04], pages 284--298. [ bib ]
[DL04]
Bart Demoen and Vladimir Lifschitz, editors. Logic Programming, 20th International Conference, ICLP 2004, Saint-Maló, France, September 6-10, 2004, Proceedings, volume 3132 of Lecture Notes in Computer Science (LNCS). Springer, 2004. [ bib ]
[MHMMN04]
Susana Muñoz-Hernández, J. Mariño, and Juan José Moreno-Navarro. Constructive intensional negation. In Proceedings of the 7th International Symposiun in Functional and Logic Programming, FLOPS'04, number 2998 in LNCS, pages 39--54, Nara, Japan, 2004. [ bib ]
[MH03]
Susana Muñoz-Hernández. A Negation System for Prolog. PhD thesis, Facultad de Informática, Universidad Politécnica de Madrid, 2003. [ bib ]
[MHMMN03]
Susana Muñoz-Hernández, J. Mariño, and Juan José Moreno-Navarro. Constructive intensional negation: a practical implementation. In Workshop on Functional and (Constraint) Logic Programming (WFLP)'03, 2003. [ bib ]
[VGMH02b]
Claudio Vaucheret, Sergio Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In Baaz and Voronkov [BV02], pages 450--463. [ bib ]
[MHMN02a]
Susana Muñoz-Hernández and Juan José Moreno-Navarro. Constructive negation for Prolog: A real implementation. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 39--52, Madrid, Spain, September 2002. [ bib ]
[MHVG02]
Susana Muñoz-Hernández, Claudio Vaucheret, and Sergio Guadarrama. Combining crisp and fuzzy logic in a Prolog compiler. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 23--38, Madrid, Spain, September 2002. [ bib ]
[VGMH02a]
C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In P.J. Stuckey, editor, International Conference in Logic Programming, ICLP 2002, number 2401 in LNCS, page 469, Copenhagen, Denmark, July/August 2002. Springer-Verlag. [ bib ]
[BV02]
Matthias Baaz and Andrei Voronkov, editors. Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, volume 2514 of Lecture Notes in Artificial Intelligence. Springer, 2002. [ bib ]
[MHMN02b]
Susana Muñoz-Hernández and Juan José Moreno-Navarro. Intelligent agent to implement logic negation. In J.L. Perez de la Cruz and J. Pavon, editors, 4th Iberoamerican Workshop on Multi-Agent Systems, IBERAGENTS'02, Malaga (Spain), 2002. [ bib ]
[MMMH02]
Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. A practical implementation of intensional negation. In María Alpuente, editor, Workshop on Functional and Logic Programming, pages i--j. Universidad Politécnica de Valencia, 2002. [ bib ]
[MHMNH01]
Susana Muñoz-Hernández, Juan José Moreno-Navarro, and M. Hermenegildo. Efficient negation using abstract interpretation. In R.Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning, pages 485--494, La Habana (Cuba), 2001. [ bib ]
[VGMH01]
C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple implementation using clp(R). In Constraints and Uncertainty, Paphos (Cyprus), 2001. [ bib | .ps ]
[MHMN00]
Susana Muñoz-Hernández and Juan José Moreno-Navarro. How to incorporate negation in a Prolog compiler. In V. Santos Costa E. Pontelli, editor, 2nd International Workshop PADL'2000, volume 1753 of LNCS, pages 124--140, Boston, MA (USA), 2000. Springer. [ bib ]
[MHMNH00]
Susana Muñoz-Hernández, Juan José Moreno-Navarro, and M. Hermenegildo. Efficient implementation of general negation using abstract interpretation. In Joint Conference on Declarative Programming, La Habana (Cuba), 2000. [ bib | .ps.gz ]
[MNMH98]
Juan José Moreno-Navarro and Susana Muñoz-Hernández. On the practical use of negation in a Prolog compiler. In M. Vilares-Ferro J.L. Freire-Nistal, M. Falaschi, editor, Joint Conference on Declarative Programming, pages 457--469, A Coruña (Spain), 1998. [ bib ]
[MH97]
Susana Muñoz-Hernández. Algunas técnicas para el tratamiento de información negativa en Prolog. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 1997. [ bib ]
[MH]
Susana Muñoz-Hernández. Experiencia en el uso de las tecnologías de la información y las comunicaciones para dar sostenibilidad a una universidad en ngozi, burundi. Charla invitada en las III Jornadas de Enfermedades Tropicales y Salud Internacional de la Facultad de Medicina de la Universidad de Alcalá, Febrero 22, 2012. [ bib ]

This file was generated by bibtex2html 1.98.

site info

© 2015 Susana Muñoz Hernández. Design by Andreas Viklund.