Manuel Ojeda-Aciego

2009
61	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)
60	EE	Umberto 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
59	EE	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
58	EE	Nicolás Madrid, Manuel Ojeda-Aciego: Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Web Intelligence/IAT Workshops 2008: 260-264
57	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)
56	EE	Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)
2007
55	EE	Alfredo 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
54	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
53	EE	Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: On Multi-adjoint Concept Lattices: Definition and Representation Theorem. ICFCA 2007: 197-209
52	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
51	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
50	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)
49	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)
48	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)
2006
47	EE	Alfredo 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
46	EE	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
45	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
44	EE	Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Interval-Valued Neural Multi-adjoint Logic Programs. IWINAC (1) 2005: 518-527
43	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
42	EE	Alfredo 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
40	EE	Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. IBERAMIA 2004: 717-726
39	EE	Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265
38	EE	Manuel Ojeda-Aciego, Agustín Valverde: tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741
37	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)
36	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)
35	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
34	EE	Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617
33	EE	Alfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75
32	EE	Jesús Medina, Manuel Ojeda-Aciego: Homogenizing multi-adjoint logic programs. EUSFLAT Conf. 2003: 640-644
31	EE	Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Extended Logic Programs. IWANN (1) 2003: 654-661
2002
30	EE	Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Abductive Multi-adjoint Reasoning. AIMSA 2002: 213-222
29	EE	Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232
28	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
27	EE	Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171
26	EE	Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Multi-adjoint Logic Programming: A Neural Net Approach. ICLP 2002: 468
25	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
24	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)
23	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)
22	EE	Patrik 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
19	EE	Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Procedural Semantics for Multi-adjoint Logic Programming. EPIA 2001: 290-297
18	EE	Jesú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
16	EE	Jesú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
14	EE	Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: Multi-adjoint Logic Programming with Continuous Semantics. LPNMR 2001: 351-364
13	EE	Gabriel 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
11	EE	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. JELIA 2000: 179-192
10	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)
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
7	EE	Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
6	EE	Gabriel 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

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

Colors in the list of coauthors