Autor:
Penabad, Jaime

Cargando...
Foto de perfil

E-mails conocidos

jaime.penabad@uclm.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Penabad

Nombre de pila

Jaime

Nombre

Nombres alternativos

Afiliaciones conocidas

Dep. of Mathematics. U. of Castilla-La Mancha, Spain
Universidad de Castilla-La Mancha
Department of Mathematics University of Castilla-La Mancha

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Artículo
    Fuzzy Thresholded Fixpoint Semantics
    Julián Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime. Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    This work proposes an immediate consequences operator that allows us to give a fixpoint characterization of the least Herbrand model for a powerful class of fuzzy logic programs coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. The so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) has been recently designed and implemented in our research group and it enjoys the capability for managing filters or thresholds in a natural way in order to relax some computational and declarative aspects as revealed in the proposed fixpoint semantics.
  • Artículo
    A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
    Julián Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime; Vázquez, Carlos. Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015), 2015-09-15.
    This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has being recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.