Manuel Ojeda Aciego

A logic for order of magnitude reasoning with negligibility, non-closeness and distance

Alfredo Burrieza Muñiz, Emilio José Muñoz Velasco, Manuel Ojeda Aciego, 2007 .

A reduction-based theorem prover for 3-valued logic

Manuel Ojeda Aciego, Gabriel Aguilera Venegas, Inmaculada Pérez de Guzmán Molina, 1997 .

A neural implementation of multi-adjoint logic programs via sf-homogenization

Enrique Mérida-Casermeiro, Manuel Ojeda Aciego, Jesús Medina Moreno, 2005 .

On the Notion of Coherence in Fuzzy Answer Set Semantics

Manuel Ojeda Aciego, Nicolás Madrid Labrador, 2010 .