Manuel Ojeda-Aciego

	2009
64		Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Fuzzy Logic, Soft Computing, and Applications. IWANN (1) 2009: 236-244
63		Nicolás Madrid, Manuel Ojeda-Aciego: On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. WILF 2009: 60-67
62		Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego: Thresholded Tabulation in a Fuzzy Logic Setting. Electr. Notes Theor. Comput. Sci. 248: 115-130 (2009)
61		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		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		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
58		Nicolás Madrid, Manuel Ojeda-Aciego: Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Web Intelligence/IAT Workshops 2008: 260-264
57		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		Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)
	2007
55		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		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		Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño: On Multi-adjoint Concept Lattices: Definition and Representation Theorem. ICFCA 2007: 197-209
52		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		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		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		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		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		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		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
45		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		Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Interval-Valued Neural Multi-adjoint Logic Programs. IWINAC (1) 2005: 518-527
43		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		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		Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. IBERAMIA 2004: 717-726
39		Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265
38		Manuel Ojeda-Aciego, Agustín Valverde: tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741
37		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		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		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		Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617
33		Alfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75
32		Jesús Medina, Manuel Ojeda-Aciego: Homogenizing multi-adjoint logic programs. EUSFLAT Conf. 2003: 640-644
31		Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Extended Logic Programs. IWANN (1) 2003: 654-661
	2002
30		Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: A Neural Approach to Abductive Multi-adjoint Reasoning. AIMSA 2002: 213-222
29		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232
28		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		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		Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego: Multi-adjoint Logic Programming: A Neural Net Approach. ICLP 2002: 468
25		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		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		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		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		Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Procedural Semantics for Multi-adjoint Logic Programming. EPIA 2001: 290-297
18		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		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		Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: Multi-adjoint Logic Programming with Continuous Semantics. LPNMR 2001: 351-364
13		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		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		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		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
6		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	Inma P. Cabrera	[64]
5	Enrique Mérida Casermeiro	[26] [30] [31] [35] [40] [44]
6	Pablo Cordero	[64]
7	Carlos Viegas Damásio	[39] [41] [48] [60]
8	Patrik Eklund	[10] [15] [22] [23] [37] [45] [50]
9	Manuel Enciso	[5]
10	Werner Gähler	[45]
11	J. L. Galan	[2]
12	María Ángeles Galán García (Maria A. Galán)	[10] [15] [23] [37] [45] [50]
13	Siegfried Gottwald	[56]
14	Gloria Gutiérrez	[11] [20]
15	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [20] [21] [27] [29]
16	Petr Hájek	[56]
17	Pascual Julián Iranzo (Pascual Julián)	[62]
18	Stanislav Krajci	[25] [28]
19	Rastislav Lencses	[25] [28]
20	Nicolás Madrid	[58] [63]
21	Javier Martínez	[11] [20]
22	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] [62]
23	J. F. Moncada	[5]
24	Ginés Moreno	[62]
25	Emilio Muñoz-Velasco	[46] [55] [59]
26	Ewa Orlowska	[47]
27	Luís Moniz Pereira (Luíz Moniz Pereira)	[12] [21]
28	Jorge Ruiz-Calviño	[43] [49] [51] [52] [53] [54] [57] [61]
29	Umberto Straccia	[60]
30	Agustín Valverde	[4] [6] [7] [8] [9] [10] [11] [13] [15] [20] [23] [25] [27] [29] [34] [37] [38] [45] [50]
31	Peter Vojtás	[14] [16] [17] [18] [19] [24] [25] [28] [34] [36]

Colors in the list of coauthors