dblp.uni-trier.dewww.uni-trier.de

Manuel Ojeda-Aciego

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
61EEJesú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)
60EEUmberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio: On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. SIAM J. Comput. 38(5): 1881-1911 (2009)
2008
59EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
58EENicolás Madrid, Manuel Ojeda-Aciego: Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Web Intelligence/IAT Workshops 2008: 260-264
57EEJesú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)
56EEManuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)
2007
55EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219
54EEJesú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
53EEJesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: On Multi-adjoint Concept Lattices: Definition and Representation Theorem. ICFCA 2007: 197-209
52EEJesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: On Reachability of Minimal Models of Multilattice-Based Logic Programs. MICAI 2007: 271-282
51EEJesú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
50EEPatrik 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)
49EEJesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: Fuzzy logic programming via multilattices. Fuzzy Sets and Systems 158(6): 674-688 (2007)
48EECarlos 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)
2006
47EEAlfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska: Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124
2005
46EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
45EEPatrik 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
44EEJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Interval-Valued Neural Multi-adjoint Logic Programs. IWINAC (1) 2005: 518-527
43EEJesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. WILF 2005: 61-70
42EEAlfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Inform. 68(1-2): 21-46 (2005)
2004
41 Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: A Tabulation Proof Procedure for Residuated Logic Programming. ECAI 2004: 808-812
40EEJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. IBERAMIA 2004: 717-726
39EECarlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265
38EEManuel Ojeda-Aciego, Agustín Valverde: tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741
37EEPatrik 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)
36EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146(1): 43-62 (2004)
35EEJesú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
34EEJesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617
33EEAlfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75
32EEJesús Medina, Manuel Ojeda-Aciego: Homogenizing multi-adjoint logic programs. EUSFLAT Conf. 2003: 640-644
31EEJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Extended Logic Programs. IWANN (1) 2003: 654-661
2002
30EEJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Abductive Multi-adjoint Reasoning. AIMSA 2002: 213-222
29EEInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232
28EEStanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Similarity-Based Unification Model for Flexible Querying. FQAS 2002: 263-273
27EEInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171
26EEJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Multi-adjoint Logic Programming: A Neural Net Approach. ICLP 2002: 468
25EEStanislav 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
24EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Multi-Adjoint Approach to Similarity-Based Unification. Electr. Notes Theor. Comput. Sci. 66(5): (2002)
23EEPatrik 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)
22EEPatrik Eklund, Manuel Ojeda-Aciego: Preface. Electr. Notes Theor. Comput. Sci. 66(5): (2002)
21 Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira: Preface. Studia Logica 72(1): 3-5 (2002)
20 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. Studia Logica 72(1): 85-112 (2002)
2001
19EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Procedural Semantics for Multi-adjoint Logic Programming. EPIA 2001: 290-297
18EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: Similarity-based unification: a multi-adjoint approach. EUSFLAT Conf. 2001: 273-276
17 Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Completeness Theorem for Multi-Adjoint Logic Programming. FUZZ-IEEE 2001: 1031-1034
16EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Multi-adjoint Logic Approach to Abductive Reasoning. ICLP 2001: 269-283
15 Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Composing Submonads. ISMVL 2001: 367-372
14EEJesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: Multi-adjoint Logic Programming with Continuous Semantics. LPNMR 2001: 351-364
13EEGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001)
2000
12 Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings Springer 2000
11EEGloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192
10EEPatrik 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)
1999
9 Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Multiple-Valued Tableaux with delta-reductions. IC-AI 1999: 177-183
8 Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. 27(1-4): 3-23 (1999)
1998
7EEInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
6EEGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998)
1996
5 Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego: Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566
1995
4 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 Acta Inf. 32(1): 61-78 (1995)
3 Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: Increasing the efficiency of automated theorem proving. Journal of Applied Non-Classical Logics 5(1): (1995)
1994
2 Gabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++ vs tablas semanticas. GULP-PRODE (2) 1994: 438-439
1 Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. JELIA 1994: 198-216

Coauthor Index

1Gabriel Aguilera [1] [2] [3] [6] [13]
2Gerhard Brewka [12] [21]
3Alfredo Burrieza [33] [42] [46] [47] [55] [59]
4Enrique Mérida Casermeiro [26] [30] [31] [35] [40] [44]
5Carlos Viegas Damásio [39] [41] [48] [60]
6Patrik Eklund [10] [15] [22] [23] [37] [45] [50]
7Manuel Enciso [5]
8Werner Gähler [45]
9J. L. Galan [2]
10María Ángeles Galán García (Maria A. Galán) [10] [15] [23] [37] [45] [50]
11Siegfried Gottwald [56]
12Gloria Gutiérrez [11] [20]
13Inman P. de Guzmán [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [20] [21] [27] [29]
14Petr Hájek [56]
15Stanislav Krajci [25] [28]
16Rastislav Lencses [25] [28]
17Nicolás Madrid [58]
18Javier Martínez [11] [20]
19Jesús Medina [10] [14] [15] [16] [17] [18] [19] [23] [24] [25] [26] [28] [30] [31] [32] [34] [35] [36] [37] [39] [40] [41] [43] [44] [45] [48] [49] [50] [51] [52] [53] [54] [57] [61]
20J. F. Moncada [5]
21Emilio Muñoz-Velasco [46] [55] [59]
22Ewa Orlowska [47]
23Luís Moniz Pereira (Luíz Moniz Pereira) [12] [21]
24Jorge Ruiz-Calviño [43] [49] [51] [52] [53] [54] [57] [61]
25Umberto Straccia [60]
26Agustín Valverde [4] [6] [7] [8] [9] [10] [11] [13] [15] [20] [23] [25] [27] [29] [34] [37] [38] [45] [50]
27Peter Vojtás [14] [16] [17] [18] [19] [24] [25] [28] [34] [36]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)