Exploració per autor "Ojeda Aciego, Manuel"

Ara es mostren els items 1-2 de 2

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

      Medina Moreno, Jesús; Mérida-Casermeiro, Enrique; Ojeda Aciego, Manuel (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2005)
      Article
      Accés obert
      A generalization of the homogenization process needed for the neural im- plementation of multi-adjoint logic programming (a unifying theory to deal with uncertainty, imprecise data or incomplete information) is presented ...

    • A reduction-based theorem prover for 3-valued logic 

      Aguilera Venegas, Gabriel; Pérez de Guzmán Molina, Inmaculada; Ojeda Aciego, Manuel (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
      Article
      Accés obert
      We present a new prover for propositional 3-valued logics, TAS-M3, which is an extension of the TAS-D prover for classical propositional logic. TAS-M3 uses the TAS methodology and, consequently, it is a {\em reduction-based\/} ...