2009 |
34 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
Formal concept analysis via multi-adjoint concept lattices.
Fuzzy Sets and Systems 160(2): 130-144 (2009) |
2008 |
33 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
Relating generalized concept lattices and concept lattices for non-commutative conjunctors.
Appl. Math. Lett. 21(12): 1296-1300 (2008) |
2007 |
32 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices.
EUSFLAT Conf. (2) 2007: 209-212 |
31 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
On Multi-adjoint Concept Lattices: Definition and Representation Theorem.
ICFCA 2007: 197-209 |
30 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
On Reachability of Minimal Models of Multilattice-Based Logic Programs.
MICAI 2007: 271-282 |
29 | EE | 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.
WILF 2007: 37-44 |
28 | EE | Patrik Eklund,
Maria A. Galán,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
Powersets of terms and composite monads.
Fuzzy Sets and Systems 158(23): 2552-2574 (2007) |
27 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
Fuzzy logic programming via multilattices.
Fuzzy Sets and Systems 158(6): 674-688 (2007) |
26 | EE | Carlos Viegas Damásio,
Jesús Medina,
Manuel Ojeda-Aciego:
Termination of logic programs with imperfect information: applications and query procedure.
J. Applied Logic 5(3): 435-458 (2007) |
2005 |
25 | EE | Patrik Eklund,
Maria A. Galán,
Werner Gähler,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
A note on partially ordered generalized terms.
EUSFLAT Conf. 2005: 793-796 |
24 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
Interval-Valued Neural Multi-adjoint Logic Programs.
IWINAC (1) 2005: 518-527 |
23 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Jorge Ruiz-Calviño:
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming.
WILF 2005: 61-70 |
2004 |
22 | | Carlos Viegas Damásio,
Jesús Medina,
Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for Residuated Logic Programming.
ECAI 2004: 808-812 |
21 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.
IBERAMIA 2004: 717-726 |
20 | EE | Carlos Viegas Damásio,
Jesús Medina,
Manuel Ojeda-Aciego:
Sorted Multi-adjoint Logic Programs: Termination Results and Applications.
JELIA 2004: 252-265 |
19 | EE | Patrik Eklund,
Maria A. Galán,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
Similarities between powersets of terms.
Fuzzy Sets and Systems 144(1): 213-225 (2004) |
18 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
Similarity-based unification: a multi-adjoint approach.
Fuzzy Sets and Systems 146(1): 43-62 (2004) |
17 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
A neural implementation of multi-adjoint logic programming.
J. Applied Logic 2(3): 301-324 (2004) |
2003 |
16 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde,
Peter Vojtás:
Towards Biresiduated Multi-adjoint Logic Programming.
CAEPIA 2003: 608-617 |
15 | EE | Jesús Medina,
Manuel Ojeda-Aciego:
Homogenizing multi-adjoint logic programs.
EUSFLAT Conf. 2003: 640-644 |
14 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
A Neural Approach to Extended Logic Programs.
IWANN (1) 2003: 654-661 |
2002 |
13 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
A Neural Approach to Abductive Multi-adjoint Reasoning.
AIMSA 2002: 213-222 |
12 | EE | Stanislav Krajci,
Rastislav Lencses,
Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
A Similarity-Based Unification Model for Flexible Querying.
FQAS 2002: 263-273 |
11 | EE | Jesús Medina,
Enrique Mérida Casermeiro,
Manuel Ojeda-Aciego:
Multi-adjoint Logic Programming: A Neural Net Approach.
ICLP 2002: 468 |
10 | EE | Stanislav Krajci,
Rastislav Lencses,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde,
Peter Vojtás:
Non-commutativity and Expressive Deductive Logic Databases.
JELIA 2002: 149-160 |
9 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
A Multi-Adjoint Approach to Similarity-Based Unification.
Electr. Notes Theor. Comput. Sci. 66(5): (2002) |
8 | EE | Patrik Eklund,
Maria A. Galán,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
A categorical approach to unification of generalised terms.
Electr. Notes Theor. Comput. Sci. 66(5): (2002) |
2001 |
7 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
A Procedural Semantics for Multi-adjoint Logic Programming.
EPIA 2001: 290-297 |
6 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
Similarity-based unification: a multi-adjoint approach.
EUSFLAT Conf. 2001: 273-276 |
5 | | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
A Completeness Theorem for Multi-Adjoint Logic Programming.
FUZZ-IEEE 2001: 1031-1034 |
4 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
A Multi-adjoint Logic Approach to Abductive Reasoning.
ICLP 2001: 269-283 |
3 | | Patrik Eklund,
Maria A. Galán,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
Composing Submonads.
ISMVL 2001: 367-372 |
2 | EE | Jesús Medina,
Manuel Ojeda-Aciego,
Peter Vojtás:
Multi-adjoint Logic Programming with Continuous Semantics.
LPNMR 2001: 351-364 |
2000 |
1 | EE | Patrik Eklund,
Maria A. Galán,
Jesús Medina,
Manuel Ojeda-Aciego,
Agustín Valverde:
A graphical approach to monad compositions.
Electr. Notes Theor. Comput. Sci. 40: (2000) |