Publications in collaboration with researchers from Universidade Nova de Lisboa (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