The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Ojeda-Aciego: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska
    Relational Approach to Order-of-Magnitude Reasoning. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:105-124 [Conf]
  2. Gabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego
    TAS-D++ vs tablas semanticas. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:438-439 [Conf]
  3. Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
    Executing Intensional Logic with the TAS Tool. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:561-566 [Conf]
  4. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    A Neural Approach to Abductive Multi-adjoint Reasoning. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:213-222 [Conf]
  5. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Restricted Delta-Trees in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:223-232 [Conf]
  6. Alfredo Burrieza, Emilio Muñoz, Manuel Ojeda-Aciego
    Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2005, pp:370-378 [Conf]
  7. Alfredo Burrieza, Manuel Ojeda-Aciego
    A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2003, pp:66-75 [Conf]
  8. Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
    Towards Biresiduated Multi-adjoint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2003, pp:608-617 [Conf]
  9. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    A Tabulation Proof Procedure for Residuated Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:808-812 [Conf]
  10. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    A Procedural Semantics for Multi-adjoint Logic Programming. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:290-297 [Conf]
  11. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    A Similarity-Based Unification Model for Flexible Querying. [Citation Graph (0, 0)][DBLP]
    FQAS, 2002, pp:263-273 [Conf]
  12. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    A Completeness Theorem for Multi-Adjoint Logic Programming. [Citation Graph (0, 0)][DBLP]
    FUZZ-IEEE, 2001, pp:1031-1034 [Conf]
  13. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2002, pp:161-171 [Conf]
  14. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:717-726 [Conf]
  15. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Multiple-Valued Tableaux with delta-reductions. [Citation Graph (0, 0)][DBLP]
    IC-AI, 1999, pp:177-183 [Conf]
  16. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
    On Multi-adjoint Concept Lattices: Definition and Representation Theorem. [Citation Graph (0, 0)][DBLP]
    ICFCA, 2007, pp:197-209 [Conf]
  17. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    Multi-adjoint Logic Programming: A Neural Net Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:468- [Conf]
  18. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    A Multi-adjoint Logic Approach to Abductive Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:269-283 [Conf]
  19. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Composing Submonads. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:367-372 [Conf]
  20. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    A Neural Approach to Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    IWANN (1), 2003, pp:654-661 [Conf]
  21. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    Interval-Valued Neural Multi-adjoint Logic Programs. [Citation Graph (0, 0)][DBLP]
    IWINAC (1), 2005, pp:518-527 [Conf]
  22. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
    TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:198-216 [Conf]
  23. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    Sorted Multi-adjoint Logic Programs: Termination Results and Applications. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:252-265 [Conf]
  24. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
    Reduction Theorems for Boolean Formulas Using Delta-Trees. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:179-192 [Conf]
  25. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Implicates and Reduction Techniques for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:309-323 [Conf]
  26. Manuel Ojeda-Aciego, Agustín Valverde
    tascpl: TAS Solver for Classical Propositional Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:738-741 [Conf]
  27. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
    Non-commutativity and Expressive Deductive Logic Databases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:149-160 [Conf]
  28. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    Multi-adjoint Logic Programming with Continuous Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:351-364 [Conf]
  29. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
    Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. [Citation Graph (0, 0)][DBLP]
    WILF, 2005, pp:61-70 [Conf]
  30. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:1, pp:61-78 [Journal]
  31. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Implicates and reduction techniques for temporal logics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:3-23 [Journal]
  32. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    A graphical approach to monad compositions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  33. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    A categorical approach to unification of generalised terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
  34. Patrik Eklund, Manuel Ojeda-Aciego
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
  35. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    A Multi-Adjoint Approach to Similarity-Based Unification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
  36. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Similarities between powersets of terms. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2004, v:144, n:1, pp:213-225 [Journal]
  37. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    Similarity-based unification: a multi-adjoint approach. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2004, v:146, n:1, pp:43-62 [Journal]
  38. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
    Fuzzy logic programming via multilattices. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2007, v:158, n:6, pp:674-688 [Journal]
  39. Alfredo Burrieza, Manuel Ojeda-Aciego
    A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:68, n:1-2, pp:21-46 [Journal]
  40. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
    Increasing the efficiency of automated theorem proving. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
  41. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    A neural implementation of multi-adjoint logic programming. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2004, v:2, n:3, pp:301-324 [Journal]
  42. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
    Satisfiability Testing for Boolean Formulas Using Delta-trees. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:85-112 [Journal]
  43. Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:3-5 [Journal]
  44. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Reducing signed propositional formulas. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1998, v:2, n:4, pp:157-166 [Journal]
  45. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Reductions for non-clausal theorem proving. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:81-112 [Journal]
  46. Alfredo Burrieza, E. Muñoz-Velasco, Manuel Ojeda-Aciego
    A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2007, pp:210-219 [Conf]
  47. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
    On Reachability of Minimal Models of Multilattice-Based Logic Programs. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:271-282 [Conf]
  48. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
    A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming. [Citation Graph (0, 0)][DBLP]
    WILF, 2007, pp:37-44 [Conf]
  49. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Powersets of terms and composite monads. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2007, v:158, n:23, pp:2552-2574 [Journal]
  50. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    Termination of logic programs with imperfect information: applications and query procedure. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:435-458 [Journal]

  51. Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. [Citation Graph (, )][DBLP]


  52. Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. [Citation Graph (, )][DBLP]


  53. A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. [Citation Graph (, )][DBLP]


  54. Measuring Instability in Normal Residuated Logic Programs: Discarding Information. [Citation Graph (, )][DBLP]


  55. Fuzzy Logic, Soft Computing, and Applications. [Citation Graph (, )][DBLP]


  56. On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. [Citation Graph (, )][DBLP]


  57. Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices. [Citation Graph (, )][DBLP]


  58. A note on partially ordered generalized terms. [Citation Graph (, )][DBLP]


  59. Homogenizing multi-adjoint logic programs. [Citation Graph (, )][DBLP]


  60. Similarity-based unification: a multi-adjoint approach. [Citation Graph (, )][DBLP]


  61. On the Representation Theorem of Multi-Adjoint Concept Lattices. [Citation Graph (, )][DBLP]


  62. On Congruences and Homomorphisms on Some Non-deterministic Algebras. [Citation Graph (, )][DBLP]


  63. Congruence relations on some hyperstructures. [Citation Graph (, )][DBLP]


  64. Relating generalized concept lattices and concept lattices for non-commutative conjunctors. [Citation Graph (, )][DBLP]


  65. Thresholded Tabulation in a Fuzzy Logic Setting. [Citation Graph (, )][DBLP]


Search in 0.062secs, Finished in 0.064secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002