Publicaciones en colaboración con investigadores/as de Universidade Nova de Lisboa (4)

2022

  1. Degenerations of nilpotent algebras

    Journal of Pure and Applied Algebra, Vol. 226, Núm. 3

2011

  1. On the notions of residuated-based coherence and bilattice-based consistence

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Termination of logic programs with imperfect information: applications and query procedure

    Journal of Applied Logic, Vol. 5, Núm. 3, pp. 435-458

2006

  1. A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations

    IEEE International Conference on Fuzzy Systems