×

Ojeda-Aciego, Manuel

Author ID: ojeda-aciego.manuel Recent zbMATH articles by "Ojeda-Aciego, Manuel"
Published as: Ojeda-Aciego, Manuel; Ojeda-Aciego, M.; Ojeda Aciego, Manuel; Ojeda Aciego, M.
External Links: MGP · ORCID
Documents Indexed: 93 Publications since 1997
12 Contributions as Editor
Reviewing Activity: 64 Reviews
Co-Authors: 63 Co-Authors with 104 Joint Publications
1,262 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

70 Publications have been cited 654 times in 271 Documents Cited by Year
Formal concept analysis via multi-adjoint concept lattices. Zbl 1187.68589
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
89
2009
Multi-adjoint t-concept lattices. Zbl 1187.68587
Medina, J.; Ojeda-Aciego, M.
60
2010
Similarity-based unification: A multi-adjoint approach. Zbl 1073.68026
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter
54
2004
Multi-adjoint logic programming with continuous semantics. Zbl 1007.68023
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter
44
2001
On multi-adjoint concept lattices based on heterogeneous conjunctors. Zbl 1252.06003
Medina, J.; Ojeda-Aciego, M.
24
2012
Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
20
2007
Sorted multi-adjoint logic programs: Termination results and applications. Zbl 1111.68379
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
19
2004
Dual multi-adjoint concept lattices. Zbl 1293.06001
Medina, J.; Ojeda-Aciego, M.
19
2013
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004
Konecny, J.; Medina, J.; Ojeda-Aciego, M.
18
2014
Fuzzy logic programming via multilattices. Zbl 1111.68016
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
16
2007
A procedural semantics for multi-adjoint logic programming. Zbl 1053.68540
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter
15
2001
On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
15
2014
The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. Zbl 1256.06012
Krídlo, Ondrej; Krajči, Stanislav; Ojeda-Aciego, Manuel
14
2012
On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. Zbl 1183.68158
Straccia, Umberto; Ojeda-Aciego, Manuel; Damásio, Carlos V.
13
2009
On basic conditions to generate multi-adjoint concept lattices via Galois connections. Zbl 1320.06005
Díaz-Moreno, J. C.; Medina, J.; Ojeda-Aciego, M.
13
2014
On multi-adjoint concept lattices: definition and representation theorem. Zbl 1187.68588
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
12
2007
\(L\)-fuzzy relational mathematical morphology based on adjoint triples. Zbl 1441.68268
Madrid, Nicolás; Ojeda-Aciego, Manuel; Medina, Jesús; Perfilieva, Irina
11
2019
On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Zbl 1386.06003
Medina, J.; Ojeda-Aciego, M.; Pócs, J.; Ramírez-Poussa, E.
10
2016
On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011
García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J.
9
2014
Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. Zbl 1322.06003
Krídlo, Ondrej; Ojeda-Aciego, Manuel
8
2014
On the existence and unicity of stable models in normal residuated logic programs. Zbl 1238.68045
Madrid, Nicolás; Ojeda-Aciego, Manuel
8
2012
On reductants in the framework of multi-adjoint logic programming. Zbl 1392.68137
Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel
8
2017
Set functors, \(L\)-fuzzy set categories, and generalized terms. Zbl 1035.03030
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
7
2002
Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Zbl 1187.06003
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
7
2008
On \(L\)-fuzzy Chu correspondences. Zbl 1246.03047
Krídlo, Ondrej; Ojeda-Aciego, M.
6
2011
A multi-adjoint logic approach to abductive reasoning. Zbl 1053.68707
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter
6
2001
On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Zbl 1246.68082
Madrid, Nicolás; Ojeda-Aciego, Manuel
6
2009
Powersets of terms and composite monads. Zbl 1127.68017
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
6
2007
A neural implementation of multi-adjoint logic programming. Zbl 1073.68025
Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M.
6
2004
Congruence relations on some hyperstructures. Zbl 1192.08001
Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel
6
2009
On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004
Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B.
6
2017
Reductions for non-clausal theorem proving. Zbl 0989.68128
Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A.
5
2001
Measuring instability in normal residuated logic programs: discarding information. Zbl 1214.68121
Madrid, Nicolás; Ojeda-Aciego, Manuel
5
2010
A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
5
2010
A categorical approach to unification of generalised terms. Zbl 1270.03141
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
5
2002
Concept-forming operators on multilattices. Zbl 1396.06005
Medina-Moreno, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
5
2013
Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
5
2020
On homogeneous \(L\)-bonds and heterogeneous \(L\)-bonds. Zbl 1365.68415
Konecny, Jan; Ojeda-Aciego, Manuel
5
2016
A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006
Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M.
4
1997
Similarities between powersets of terms. Zbl 1091.68022
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
4
2004
Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
4
2012
A view of \(f\)-indexes of inclusion under different axiomatic definitions of fuzzy inclusion. Zbl 1498.03136
Madrid, Nicolás; Ojeda-Aciego, Manuel
4
2017
A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations. Zbl 1136.68525
Burrieza, Alfredo; Ojeda-Aciego, Manuel
3
2005
Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
3
2009
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
A graphical approach to monad compositions. Zbl 1264.03084
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
3
2001
An adjoint pair for intuitionistic \(L\)-fuzzy values. Zbl 1430.68334
Krídlo, O.; Ojeda-Aciego, M.
3
2019
Functional degrees of inclusion and similarity between \(L\)-fuzzy sets. Zbl 1452.03118
Madrid, Nicolás; Ojeda-Aciego, Manuel
3
2020
Relational approach to order-of-magnitude reasoning. Zbl 1177.68178
Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa
2
2006
On the existence of isotone Galois connections between preorders. Zbl 1444.06003
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J.
2
2014
Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006
Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín
2
2000
Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
2
2020
Satisfiability testing for Boolean formulas using \(\Delta\)-trees. Zbl 1017.03003
Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A.
2
2002
Toward the use of fuzzy relations in the definition of mathematical morphology operators. Zbl 1356.68255
Madrid, Nicolás; Medina, Jesús; Ojeda-Aciego, Manuel; Perfilieva, Irina
2
2016
Formal concept analysis and structures underlying quantum logics. Zbl 1512.68326
Krídlo, Ondrej; Ojeda-Aciego, Manuel
2
2018
Formal independence analysis. Zbl 1512.68327
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel
2
2018
Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29–October 2, 2000. Proceedings. Zbl 0952.00045
1
2000
A relational extension of Galois connections. Zbl 07166009
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel
1
2019
Implicates and reduction techniques for temporal logics. Zbl 0927.03034
de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín
1
1998
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M.
1
2011
Multi-lattices as a basis for generalized fuzzy logic programming. Zbl 1168.68347
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
1
2006
A neural approach to abductive multi-adjoint reasoning. Zbl 1020.68518
Medina, Jesús; Mérida-Casermeiro, Enrique; Ojeda-Aciego, Manuel
1
2002
Revisiting reductants in the multi-adjoint logic programming framework. Zbl 1432.68058
Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel
1
2014
On the notions of residuated-based coherence and bilattice-based consistence. Zbl 1347.68329
Damásio, Carlos V.; Madrid, Nicolás; Ojeda-Aciego, M.
1
2011
On closure systems and adjunctions between fuzzy preordered sets. Zbl 1314.06005
García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.
1
2015
Multi-adjoint lattices from adjoint triples with involutive negation. Zbl 1464.03093
Madrid, Nicolás; Ojeda-Aciego, Manuel
1
2021
New measures of inclusion between fuzzy sets in terms of the \(\varphi\)-index of inclusion. Zbl 1464.68394
Madrid, Nicolás; Ojeda-Aciego, Manuel
1
2020
Generating isotone Galois connections on an unstructured codomain. Zbl 1432.06001
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez, Francisco J.
1
2014
Efficient thresholded tabulation for fuzzy query answering. Zbl 1202.68090
Julián, Pascual; Medina, Jesús; Moreno, Ginés; Ojeda-Aciego, Manuel
1
2010
A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241
Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M.
1
2014
Multi-adjoint lattices from adjoint triples with involutive negation. Zbl 1464.03093
Madrid, Nicolás; Ojeda-Aciego, Manuel
1
2021
Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
5
2020
Functional degrees of inclusion and similarity between \(L\)-fuzzy sets. Zbl 1452.03118
Madrid, Nicolás; Ojeda-Aciego, Manuel
3
2020
Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
2
2020
New measures of inclusion between fuzzy sets in terms of the \(\varphi\)-index of inclusion. Zbl 1464.68394
Madrid, Nicolás; Ojeda-Aciego, Manuel
1
2020
\(L\)-fuzzy relational mathematical morphology based on adjoint triples. Zbl 1441.68268
Madrid, Nicolás; Ojeda-Aciego, Manuel; Medina, Jesús; Perfilieva, Irina
11
2019
An adjoint pair for intuitionistic \(L\)-fuzzy values. Zbl 1430.68334
Krídlo, O.; Ojeda-Aciego, M.
3
2019
A relational extension of Galois connections. Zbl 07166009
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel
1
2019
Formal concept analysis and structures underlying quantum logics. Zbl 1512.68326
Krídlo, Ondrej; Ojeda-Aciego, Manuel
2
2018
Formal independence analysis. Zbl 1512.68327
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel
2
2018
On reductants in the framework of multi-adjoint logic programming. Zbl 1392.68137
Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel
8
2017
On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004
Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B.
6
2017
A view of \(f\)-indexes of inclusion under different axiomatic definitions of fuzzy inclusion. Zbl 1498.03136
Madrid, Nicolás; Ojeda-Aciego, Manuel
4
2017
On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Zbl 1386.06003
Medina, J.; Ojeda-Aciego, M.; Pócs, J.; Ramírez-Poussa, E.
10
2016
On homogeneous \(L\)-bonds and heterogeneous \(L\)-bonds. Zbl 1365.68415
Konecny, Jan; Ojeda-Aciego, Manuel
5
2016
Toward the use of fuzzy relations in the definition of mathematical morphology operators. Zbl 1356.68255
Madrid, Nicolás; Medina, Jesús; Ojeda-Aciego, Manuel; Perfilieva, Irina
2
2016
On closure systems and adjunctions between fuzzy preordered sets. Zbl 1314.06005
García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.
1
2015
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004
Konecny, J.; Medina, J.; Ojeda-Aciego, M.
18
2014
On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
15
2014
On basic conditions to generate multi-adjoint concept lattices via Galois connections. Zbl 1320.06005
Díaz-Moreno, J. C.; Medina, J.; Ojeda-Aciego, M.
13
2014
On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011
García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J.
9
2014
Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. Zbl 1322.06003
Krídlo, Ondrej; Ojeda-Aciego, Manuel
8
2014
On the existence of isotone Galois connections between preorders. Zbl 1444.06003
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J.
2
2014
Revisiting reductants in the multi-adjoint logic programming framework. Zbl 1432.68058
Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel
1
2014
Generating isotone Galois connections on an unstructured codomain. Zbl 1432.06001
García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez, Francisco J.
1
2014
A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241
Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M.
1
2014
Dual multi-adjoint concept lattices. Zbl 1293.06001
Medina, J.; Ojeda-Aciego, M.
19
2013
Concept-forming operators on multilattices. Zbl 1396.06005
Medina-Moreno, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
5
2013
On multi-adjoint concept lattices based on heterogeneous conjunctors. Zbl 1252.06003
Medina, J.; Ojeda-Aciego, M.
24
2012
The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. Zbl 1256.06012
Krídlo, Ondrej; Krajči, Stanislav; Ojeda-Aciego, Manuel
14
2012
On the existence and unicity of stable models in normal residuated logic programs. Zbl 1238.68045
Madrid, Nicolás; Ojeda-Aciego, Manuel
8
2012
Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
4
2012
On \(L\)-fuzzy Chu correspondences. Zbl 1246.03047
Krídlo, Ondrej; Ojeda-Aciego, M.
6
2011
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M.
1
2011
On the notions of residuated-based coherence and bilattice-based consistence. Zbl 1347.68329
Damásio, Carlos V.; Madrid, Nicolás; Ojeda-Aciego, M.
1
2011
Multi-adjoint t-concept lattices. Zbl 1187.68587
Medina, J.; Ojeda-Aciego, M.
60
2010
Measuring instability in normal residuated logic programs: discarding information. Zbl 1214.68121
Madrid, Nicolás; Ojeda-Aciego, Manuel
5
2010
A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
5
2010
Efficient thresholded tabulation for fuzzy query answering. Zbl 1202.68090
Julián, Pascual; Medina, Jesús; Moreno, Ginés; Ojeda-Aciego, Manuel
1
2010
Formal concept analysis via multi-adjoint concept lattices. Zbl 1187.68589
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
89
2009
On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. Zbl 1183.68158
Straccia, Umberto; Ojeda-Aciego, Manuel; Damásio, Carlos V.
13
2009
On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Zbl 1246.68082
Madrid, Nicolás; Ojeda-Aciego, Manuel
6
2009
Congruence relations on some hyperstructures. Zbl 1192.08001
Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel
6
2009
Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
3
2009
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Zbl 1187.06003
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
7
2008
Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
20
2007
Fuzzy logic programming via multilattices. Zbl 1111.68016
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
16
2007
On multi-adjoint concept lattices: definition and representation theorem. Zbl 1187.68588
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
12
2007
Powersets of terms and composite monads. Zbl 1127.68017
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
6
2007
Relational approach to order-of-magnitude reasoning. Zbl 1177.68178
Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa
2
2006
Multi-lattices as a basis for generalized fuzzy logic programming. Zbl 1168.68347
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge
1
2006
A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations. Zbl 1136.68525
Burrieza, Alfredo; Ojeda-Aciego, Manuel
3
2005
Similarity-based unification: A multi-adjoint approach. Zbl 1073.68026
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter
54
2004
Sorted multi-adjoint logic programs: Termination results and applications. Zbl 1111.68379
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
19
2004
A neural implementation of multi-adjoint logic programming. Zbl 1073.68025
Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M.
6
2004
Similarities between powersets of terms. Zbl 1091.68022
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
4
2004
Set functors, \(L\)-fuzzy set categories, and generalized terms. Zbl 1035.03030
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
7
2002
A categorical approach to unification of generalised terms. Zbl 1270.03141
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
5
2002
Satisfiability testing for Boolean formulas using \(\Delta\)-trees. Zbl 1017.03003
Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A.
2
2002
A neural approach to abductive multi-adjoint reasoning. Zbl 1020.68518
Medina, Jesús; Mérida-Casermeiro, Enrique; Ojeda-Aciego, Manuel
1
2002
Multi-adjoint logic programming with continuous semantics. Zbl 1007.68023
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter
44
2001
A procedural semantics for multi-adjoint logic programming. Zbl 1053.68540
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter
15
2001
A multi-adjoint logic approach to abductive reasoning. Zbl 1053.68707
Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter
6
2001
Reductions for non-clausal theorem proving. Zbl 0989.68128
Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A.
5
2001
A graphical approach to monad compositions. Zbl 1264.03084
Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.
3
2001
Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006
Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín
2
2000
Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29–October 2, 2000. Proceedings. Zbl 0952.00045
1
2000
Implicates and reduction techniques for temporal logics. Zbl 0927.03034
de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín
1
1998
A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006
Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M.
4
1997
all top 5

Cited by 302 Authors

51 Medina, Jesús
44 Ojeda-Aciego, Manuel
21 Cornejo, Maria Eugenia
21 Ramírez-Poussa, Eloisa
17 Cordero, Pablo
16 Krídlo, Ondrej
14 Moreno, Ginés
13 Madrid, Nicolás
12 Cabrera, Inma P.
10 Antoni, Lubomir
10 De Cock, Martine
10 Konecny, Jan
10 Krajči, Stanislav
10 Vermeir, Dirk
9 Muñoz-Velasco, Emilio
8 Alcalde, Cristina
8 Burusco, Ana
8 Schockaert, Steven
7 Eklund, Patrik E.
7 Gutiérrez, Gloria
7 Martínez del Castillo, Javier
7 Penabad, Jaime
7 Pocs, Jozef
6 Díaz-Moreno, Juan Carlos
6 Iranzo, Pascual Julián
6 Vychodil, Vilém
5 Galán, M. Ángeles
5 Janssen, Jeroen
5 Rubio-Manzano, Clemente
4 Pérez de Guzmán, Inmaculada
4 Golińska-Pilarek, Joanna
4 Lobo, David
4 Šešelja, Branimir
4 Šostak, Alexander P.
4 Tepavčević, Andreja
4 Uļjane, Ingrǐda
4 Xu, Weihua
3 Aragón, Roberto G.
3 Bartl, Eduard
3 Bělohlávek, Radim
3 Blondeel, Marjon
3 De Baets, Bernard
3 Fuentes Gonzalez, Ramón
3 García-Pardo, Francisca
3 Godo, Lluís
3 Julián, Pascual
3 Koguep Njionou, Blaise Bleriot
3 Kortelainen, Jari
3 Krupka, Michal
3 Le, Van Hung
3 Lele, Celestin
3 López-Rodríguez, Domingo
3 Mora, Angel
3 Morcillo, Pedro J.
3 Prade, Henri M.
3 Riaza, José Antonio
3 Ruan, Da
3 Ruiz-Calviño, Jorge
3 Singh, Prem Kumar
3 Straccia, Umberto
3 Valverde, Agustín
3 Xu, Yang
2 Aguilera, Gabriel
2 Alsinet, Teresa
2 Aswani Kumar, Cherukuri
2 Awouafack, Daquin Cédric
2 Benítez-Caballero, María José
2 Burrieza, Alfredo
2 Bustince Sola, Humberto
2 Cornelis, Chris
2 Elias, Peter
2 Enciso, Manuel
2 Fariñas del Cerro, Luis
2 Gerla, Giangiacomo
2 Guo, Lankun
2 Halaš, Radomír
2 Helgesson, Robert
2 Imaz, Gonzalo E.
2 Kahl, Wolfram
2 Li, Deyu
2 Li, Jinhai
2 Li, Qingguo
2 Liu, Fei
2 Liu, Jun
2 Liu, Zhicai
2 López-Marchante, Víctor
2 Mesiar, Radko
2 Min, Won Keun
2 Ojeda-Hernández, Manuel
2 Pei, Zheng
2 Perfilieva, Irina G.
2 Pichler, Reinhard
2 Pócsová, Jana
2 Portillo, José Ramon
2 Rodríguez-Artalejo, Mario
2 Romero-Díaz, Carlos A.
2 Shen, Lili
2 Ślęzak, Dominik
2 Zou, Li
1 Abdullah, Saleem
...and 202 more Authors
all top 5

Cited in 48 Serials

58 Fuzzy Sets and Systems
47 Information Sciences
20 International Journal of Approximate Reasoning
9 Soft Computing
9 Symmetry
8 International Journal of Computer Mathematics
7 Annals of Mathematics and Artificial Intelligence
6 International Journal of General Systems
3 Mathematical Methods in the Applied Sciences
3 Journal of Computational and Applied Mathematics
3 Journal of Applied Non-Classical Logics
3 Theory and Practice of Logic Programming
3 Journal of Applied Logic
2 Artificial Intelligence
2 Discrete Mathematics
2 International Journal of Mathematics and Mathematical Sciences
2 International Journal of Applied Mathematics and Computer Science
2 Iranian Journal of Fuzzy Systems
2 TWMS Journal of Pure and Applied Mathematics
1 Computers & Mathematics with Applications
1 Applied Mathematics and Computation
1 Journal of Philosophical Logic
1 Kybernetika
1 Programming and Computer Software
1 Studia Logica
1 Theoretical Computer Science
1 Annals of Pure and Applied Logic
1 Information and Computation
1 Applied Mathematics Letters
1 Formal Methods in System Design
1 Applied Categorical Structures
1 Computational and Applied Mathematics
1 Complexity
1 Honam Mathematical Journal
1 Journal of Inequalities and Applications
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Fundamenta Informaticae
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Fuzzy Optimization and Decision Making
1 Fixed Point Theory and Applications
1 Logical Methods in Computer Science
1 Journal of Control Science and Engineering
1 Afrika Matematika
1 Frontiers of Computer Science
1 Axioms
1 Journal of Logical and Algebraic Methods in Programming
1 Korean Journal of Mathematics

Citations by Year