Matemáticas
Departamento
Universidade Nova de Lisboa
Lisboa, PortugalPublicaciones en colaboración con investigadores/as de Universidade Nova de Lisboa (4)
2022
-
Degenerations of nilpotent algebras
Journal of Pure and Applied Algebra, Vol. 226, Núm. 3
2011
-
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
-
Termination of logic programs with imperfect information: applications and query procedure
Journal of Applied Logic, Vol. 5, Núm. 3, pp. 435-458
2006
-
A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations
IEEE International Conference on Fuzzy Systems