Edit Profile (opens in new tab) Ojeda-Aciego, Manuel Compute Distance To: Compute Author ID: ojeda-aciego.manuel Published as: Ojeda-Aciego, Manuel; Ojeda-Aciego, M.; Ojeda Aciego, Manuel; Ojeda Aciego, M. more...less External Links: MGP · ORCID Documents Indexed: 83 Publications since 1997 11 Contributions as Editor Reviewing Activity: 64 Reviews Co-Authors: 54 Co-Authors with 93 Joint Publications 1,146 Co-Co-Authors all top 5 Co-Authors 1 single-authored 37 Medina, Jesús 15 Cabrera, Inma P. 14 Valverde, Agustín 13 Cordero, Pablo 11 Madrid, Nicolás 9 de Guzmán, Inmaculada Pérez 9 Muñoz-Velasco, Emilio 8 Burrieza, Alfredo 7 Gutiérrez, Gloria 7 Martínez del Castillo, Javier 7 Ruiz-Calviño, Jorge 6 Vojtáš, Peter 5 Galán, M. Ángeles 5 García-Pardo, Francisca 5 Krídlo, Ondrej 4 Bouchon-Meunier, Bernadette 4 Damásio, Carlos V. 4 Mérida-Casermeiro, Enrique 4 Verdegay, José Luis 4 Yager, Ronald R. 3 De Baets, Bernard 3 Perfilieva, Irina G. 3 Rodríguez-Sanchez, Francisco Joaquin 2 Iranzo, Pascual Julián 2 Konecny, Jan 2 Krajči, Stanislav 2 Orłowska, Ewa S. 2 Pelta, David Alejandro 1 Aguilera-Venegas, Gabriel 1 Aguilera, Gabriel 1 Baixeries, Jaume 1 Brewka, Gerhard 1 Bustince, Humberto 1 Díaz-Moreno, Juan Carlos 1 Eklund, Patrick 1 Fernández Duque, David 1 Goranko, Valentin F. 1 Gottwald, Siegfried 1 Hájek, Petr 1 Jamroga, Wojtek 1 Julián, Pascual 1 Lencses, Rastislav 1 López-Rodríguez, Domingo 1 Magdalena, Luis 1 Medina-Moreno, Jesús 1 Moniz Pereira, Luís 1 Montes, Susana 1 Moreno, Ginés 1 Outrata, Jan 1 Pocs, Jozef 1 Ramírez-Poussa, Eloisa 1 Săcărea, Christian 1 Straccia, Umberto 1 van Ditmarsch, Hans Pieter all top 5 Serials 14 Fuzzy Sets and Systems 6 Information Sciences 4 International Journal of Computer Mathematics 4 Annals of Mathematics and Artificial Intelligence 3 International Journal of General Systems 3 Communications in Computer and Information Science 2 Mathware & Soft Computing 2 Fundamenta Informaticae 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 2 Electronic Notes in Theoretical Computer Science 1 Computers & Mathematics with Applications 1 Mathematical Methods in the Applied Sciences 1 Applied Mathematics and Computation 1 SIAM Journal on Computing 1 Studia Logica 1 Theoretical Computer Science 1 Applied Mathematics Letters 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL 1 La Gaceta de la Real Sociedad Matemática Española 1 Studies in Fuzziness and Soft Computing 1 Journal of Fuzzy Set Valued Analysis all top 5 Fields 73 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 30 Order, lattices, ordered algebraic structures (06-XX) 11 General and overarching topics; collections (00-XX) 6 Category theory; homological algebra (18-XX) 4 General algebraic systems (08-XX) 3 Combinatorics (05-XX) 2 Group theory and generalizations (20-XX) 1 Operator theory (47-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 524 times in 224 Documents Cited by ▼ Year ▼ Formal concept analysis via multi-adjoint concept lattices. Zbl 1187.68589Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 72 2009 Multi-adjoint t-concept lattices. Zbl 1187.68587Medina, J.; Ojeda-Aciego, M. 57 2010 Similarity-based unification: A multi-adjoint approach. Zbl 1073.68026Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter 43 2004 Multi-adjoint logic programming with continuous semantics. Zbl 1007.68023Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter 36 2001 On multi-adjoint concept lattices based on heterogeneous conjunctors. Zbl 1252.06003Medina, J.; Ojeda-Aciego, M. 21 2012 Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025Damásio, C. V.; Medina, J.; Ojeda-Aciego, M. 19 2007 Sorted multi-adjoint logic programs: Termination results and applications. Zbl 1111.68379Damásio, C. V.; Medina, J.; Ojeda-Aciego, M. 18 2004 Dual multi-adjoint concept lattices. Zbl 1293.06001Medina, J.; Ojeda-Aciego, M. 18 2013 Fuzzy logic programming via multilattices. Zbl 1111.68016Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 15 2007 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004Konecny, J.; Medina, J.; Ojeda-Aciego, M. 15 2014 A procedural semantics for multi-adjoint logic programming. Zbl 1053.68540Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter 14 2001 On multi-adjoint concept lattices: definition and representation theorem. Zbl 1187.68588Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 12 2007 On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. Zbl 1183.68158Straccia, Umberto; Ojeda-Aciego, Manuel; Damásio, Carlos V. 12 2009 On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 12 2014 On basic conditions to generate multi-adjoint concept lattices via Galois connections. Zbl 1320.06005Díaz-Moreno, J. C.; Medina, J.; Ojeda-Aciego, M. 9 2014 The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. Zbl 1256.06012Krídlo, Ondrej; Krajči, Stanislav; Ojeda-Aciego, Manuel 8 2012 Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Zbl 1187.06003Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 7 2008 On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Zbl 1386.06003Medina, J.; Ojeda-Aciego, M.; Pócs, J.; Ramírez-Poussa, E. 6 2016 On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Zbl 1246.68082Madrid, Nicolás; Ojeda-Aciego, Manuel 6 2009 A neural implementation of multi-adjoint logic programming. Zbl 1073.68025Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M. 6 2004 On the existence and unicity of stable models in normal residuated logic programs. Zbl 1238.68045Madrid, Nicolás; Ojeda-Aciego, Manuel 6 2012 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 On reductants in the framework of multi-adjoint logic programming. Zbl 1392.68137Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel 5 2017 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 5 2014 Powersets of terms and composite monads. Zbl 1127.68017Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 5 2007 A multi-adjoint logic approach to abductive reasoning. Zbl 1053.68707Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter 5 2001 Measuring instability in normal residuated logic programs: discarding information. Zbl 1214.68121Madrid, Nicolás; Ojeda-Aciego, Manuel 5 2010 On \(L\)-fuzzy Chu correspondences. Zbl 1246.03047Krídlo, Ondrej; Ojeda-Aciego, M. 5 2011 \(L\)-fuzzy relational mathematical morphology based on adjoint triples. Zbl 1441.68268Madrid, Nicolás; Ojeda-Aciego, Manuel; Medina, Jesús; Perfilieva, Irina 4 2019 Reductions for non-clausal theorem proving. Zbl 0989.68128Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A. 4 2001 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 4 2012 Set functors, \(L\)-fuzzy set categories, and generalized terms. Zbl 1035.03030Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 4 2002 Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. Zbl 1322.06003Krídlo, Ondrej; Ojeda-Aciego, Manuel 4 2014 Concept-forming operators on multilattices. Zbl 1396.06005Medina-Moreno, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 4 2013 An adjoint pair for intuitionistic \(L\)-fuzzy values. Zbl 1430.68334Krídlo, O.; Ojeda-Aciego, M. 3 2019 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 3 2017 A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations. Zbl 1136.68525Burrieza, Alfredo; Ojeda-Aciego, Manuel 3 2005 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078Cabrera, 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.03008Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E. 3 2009 Similarities between powersets of terms. Zbl 1091.68022Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 3 2004 A graphical approach to monad compositions. Zbl 1264.03084Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 3 2001 A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M. 3 1997 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006Cabrera, 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.03003Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A. 2 2002 On homogeneous \(L\)-bonds and heterogeneous \(L\)-bonds. Zbl 1365.68415Konecny, Jan; Ojeda-Aciego, Manuel 2 2016 Relational approach to order-of-magnitude reasoning. Zbl 1177.68178Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa 2 2006 A categorical approach to unification of generalised terms. Zbl 1270.03141Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 2 2002 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 1 2020 Toward the use of fuzzy relations in the definition of mathematical morphology operators. Zbl 1356.68255Madrid, Nicolás; Medina, Jesús; Ojeda-Aciego, Manuel; Perfilieva, Irina 1 2016 Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín 1 2000 A neural approach to abductive multi-adjoint reasoning. Zbl 1020.68518Medina, Jesús; Mérida-Casermeiro, Enrique; Ojeda-Aciego, Manuel 1 2002 Multi-lattices as a basis for generalized fuzzy logic programming. Zbl 1168.68347Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 1 2006 On the existence of isotone Galois connections between preorders. Zbl 1444.06003García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 1 2014 A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 Revisiting reductants in the multi-adjoint logic programming framework. Zbl 1432.68058Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel 1 2014 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.03034de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín 1 1998 A PDL approach for qualitative velocity. Zbl 1214.68380Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 On the notions of residuated-based coherence and bilattice-based consistence. Zbl 1347.68329Damásio, Carlos V.; Madrid, Nicolás; Ojeda-Aciego, M. 1 2011 Efficient thresholded tabulation for fuzzy query answering. Zbl 1202.68090Julián, Pascual; Medina, Jesús; Moreno, Ginés; Ojeda-Aciego, Manuel 1 2010 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 1 2020 \(L\)-fuzzy relational mathematical morphology based on adjoint triples. Zbl 1441.68268Madrid, Nicolás; Ojeda-Aciego, Manuel; Medina, Jesús; Perfilieva, Irina 4 2019 An adjoint pair for intuitionistic \(L\)-fuzzy values. Zbl 1430.68334Krídlo, O.; Ojeda-Aciego, M. 3 2019 On reductants in the framework of multi-adjoint logic programming. Zbl 1392.68137Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel 5 2017 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 3 2017 On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Zbl 1386.06003Medina, J.; Ojeda-Aciego, M.; Pócs, J.; Ramírez-Poussa, E. 6 2016 On homogeneous \(L\)-bonds and heterogeneous \(L\)-bonds. Zbl 1365.68415Konecny, Jan; Ojeda-Aciego, Manuel 2 2016 Toward the use of fuzzy relations in the definition of mathematical morphology operators. Zbl 1356.68255Madrid, Nicolás; Medina, Jesús; Ojeda-Aciego, Manuel; Perfilieva, Irina 1 2016 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004Konecny, J.; Medina, J.; Ojeda-Aciego, M. 15 2014 On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 12 2014 On basic conditions to generate multi-adjoint concept lattices via Galois connections. Zbl 1320.06005Díaz-Moreno, J. C.; Medina, J.; Ojeda-Aciego, M. 9 2014 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 5 2014 Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. Zbl 1322.06003Krídlo, Ondrej; Ojeda-Aciego, Manuel 4 2014 On the existence of isotone Galois connections between preorders. Zbl 1444.06003García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 1 2014 A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 Revisiting reductants in the multi-adjoint logic programming framework. Zbl 1432.68058Julián-Iranzo, Pascual; Medina, Jesús; Ojeda-Aciego, Manuel 1 2014 Dual multi-adjoint concept lattices. Zbl 1293.06001Medina, J.; Ojeda-Aciego, M. 18 2013 Concept-forming operators on multilattices. Zbl 1396.06005Medina-Moreno, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 4 2013 On multi-adjoint concept lattices based on heterogeneous conjunctors. Zbl 1252.06003Medina, J.; Ojeda-Aciego, M. 21 2012 The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. Zbl 1256.06012Krídlo, Ondrej; Krajči, Stanislav; Ojeda-Aciego, Manuel 8 2012 On the existence and unicity of stable models in normal residuated logic programs. Zbl 1238.68045Madrid, Nicolás; Ojeda-Aciego, Manuel 6 2012 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 4 2012 On \(L\)-fuzzy Chu correspondences. Zbl 1246.03047Krídlo, Ondrej; Ojeda-Aciego, M. 5 2011 A PDL approach for qualitative velocity. Zbl 1214.68380Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 On the notions of residuated-based coherence and bilattice-based consistence. Zbl 1347.68329Damásio, Carlos V.; Madrid, Nicolás; Ojeda-Aciego, M. 1 2011 Multi-adjoint t-concept lattices. Zbl 1187.68587Medina, J.; Ojeda-Aciego, M. 57 2010 A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 Measuring instability in normal residuated logic programs: discarding information. Zbl 1214.68121Madrid, Nicolás; Ojeda-Aciego, Manuel 5 2010 Efficient thresholded tabulation for fuzzy query answering. Zbl 1202.68090Julián, Pascual; Medina, Jesús; Moreno, Ginés; Ojeda-Aciego, Manuel 1 2010 Formal concept analysis via multi-adjoint concept lattices. Zbl 1187.68589Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 72 2009 On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. Zbl 1183.68158Straccia, Umberto; Ojeda-Aciego, Manuel; Damásio, Carlos V. 12 2009 On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Zbl 1246.68082Madrid, Nicolás; Ojeda-Aciego, Manuel 6 2009 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078Cabrera, 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.03008Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E. 3 2009 Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Zbl 1187.06003Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 7 2008 Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025Damásio, C. V.; Medina, J.; Ojeda-Aciego, M. 19 2007 Fuzzy logic programming via multilattices. Zbl 1111.68016Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 15 2007 On multi-adjoint concept lattices: definition and representation theorem. Zbl 1187.68588Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge 12 2007 Powersets of terms and composite monads. Zbl 1127.68017Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 5 2007 Relational approach to order-of-magnitude reasoning. Zbl 1177.68178Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa 2 2006 Multi-lattices as a basis for generalized fuzzy logic programming. Zbl 1168.68347Medina, 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.68525Burrieza, Alfredo; Ojeda-Aciego, Manuel 3 2005 Similarity-based unification: A multi-adjoint approach. Zbl 1073.68026Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter 43 2004 Sorted multi-adjoint logic programs: Termination results and applications. Zbl 1111.68379Damásio, C. V.; Medina, J.; Ojeda-Aciego, M. 18 2004 A neural implementation of multi-adjoint logic programming. Zbl 1073.68025Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M. 6 2004 Similarities between powersets of terms. Zbl 1091.68022Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 3 2004 Set functors, \(L\)-fuzzy set categories, and generalized terms. Zbl 1035.03030Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 4 2002 Satisfiability testing for Boolean formulas using \(\Delta\)-trees. Zbl 1017.03003Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A. 2 2002 A categorical approach to unification of generalised terms. Zbl 1270.03141Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 2 2002 A neural approach to abductive multi-adjoint reasoning. Zbl 1020.68518Medina, Jesús; Mérida-Casermeiro, Enrique; Ojeda-Aciego, Manuel 1 2002 Multi-adjoint logic programming with continuous semantics. Zbl 1007.68023Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter 36 2001 A procedural semantics for multi-adjoint logic programming. Zbl 1053.68540Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter 14 2001 A multi-adjoint logic approach to abductive reasoning. Zbl 1053.68707Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter 5 2001 Reductions for non-clausal theorem proving. Zbl 0989.68128Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A. 4 2001 A graphical approach to monad compositions. Zbl 1264.03084Eklund, P.; Galán, M. A.; Medina, J.; Ojeda-Aciego, M.; Valverde, A. 3 2001 Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín 1 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.03034de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín 1 1998 A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M. 3 1997 all cited Publications top 5 cited Publications all top 5 Cited by 276 Authors 44 Medina, Jesús 34 Ojeda-Aciego, Manuel 15 Cornejo, Maria Eugenia 15 Ramírez-Poussa, Eloisa 13 Cordero, Pablo 13 Moreno, Ginés 10 De Cock, Martine 10 Krídlo, Ondrej 10 Vermeir, Dirk 9 Madrid, Nicolás 8 Alcalde, Cristina 8 Burusco, Ana 8 Cabrera, Inma P. 8 Schockaert, Steven 7 Gutiérrez, Gloria 7 Konecny, Jan 7 Martínez del Castillo, Javier 7 Penabad, Jaime 7 Pocs, Jozef 6 Antoni, Lubomir 6 Krajči, Stanislav 6 Vychodil, Vilém 5 Díaz-Moreno, Juan Carlos 5 Eklund, Patrik E. 5 Iranzo, Pascual Julián 5 Janssen, Jeroen 5 Muñoz-Velasco, Emilio 4 de Guzmán, Inmaculada Pérez 4 Golińska-Pilarek, Joanna 4 Rubio-Manzano, Clemente 4 Xu, Weihua 3 Bělohlávek, Radim 3 Blondeel, Marjon 3 Fuentes Gonzalez, Ramón 3 Galán, M. Ángeles 3 Julián, Pascual 3 Kortelainen, Jari 3 Krupka, Michal 3 Le, Van Hung 3 Mora, Angel 3 Morcillo, Pedro J. 3 Ruan, Da 3 Ruiz-Calviño, Jorge 3 Šešelja, Branimir 3 Singh, Prem Kumar 3 Straccia, Umberto 3 Tepavčević, Andreja 3 Valverde, Agustín 3 Xu, Yang 2 Aguilera, Gabriel 2 Aragón, Roberto G. 2 Aswani Kumar, Cherukuri 2 Awouafack, Daquin Cédric 2 Bartl, Eduard 2 Benítez-Caballero, María José 2 Burrieza, Alfredo 2 Bustince, Humberto 2 Enciso, Manuel 2 García-Pardo, Francisca 2 Gerla, Giangiacomo 2 Godo, Lluís 2 Guo, Lankun 2 Halaš, Radomír 2 Helgesson, Robert 2 Koguep Njionou, Blaise Bleriot 2 Lele, Celestin 2 Li, Deyu 2 Li, Jinhai 2 Li, Qingguo 2 Liu, Jun 2 Liu, Zhicai 2 Lobo, David 2 Mesiar, Radko 2 Pei, Zheng 2 Perfilieva, Irina G. 2 Pichler, Reinhard 2 Pócsová, Jana 2 Prade, Henri M. 2 Riaza, José Antonio 2 Rodríguez-Artalejo, Mario 2 Romero-Díaz, Carlos A. 2 Shen, Lili 2 Ślęzak, Dominik 2 Šostak, Alexander P. 2 Uļjane, Ingrǐda 1 Abdullah, Saleem 1 Akram, Muhammad 1 Alfuraidan, Monther Rashed 1 Aliev, Rafik Aziz 1 Alsinet, Teresa 1 Amin, Fazli 1 Ayub, Sanum 1 Balbiani, Philippe 1 Bašić, Mateo 1 Bauters, Kim 1 Bedregal, Benjamín René Callejas 1 Betz, Gregor 1 Bielawski, Jakub 1 Bobillo, Fernando 1 Brewka, Gerhard ...and 176 more Authors all top 5 Cited in 43 Serials 47 Fuzzy Sets and Systems 40 Information Sciences 17 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 Theory and Practice of Logic Programming 3 Journal of Applied Logic 2 Discrete Mathematics 2 International Journal of Mathematics and Mathematical Sciences 2 Journal of Computational and Applied Mathematics 2 Journal of Applied Non-Classical Logics 2 International Journal of Applied Mathematics and Computer Science 2 Iranian Journal of Fuzzy Systems 2 TWMS Journal of Pure and Applied Mathematics 1 Artificial Intelligence 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 Complexity 1 Journal of Inequalities and Applications 1 Journal of Discrete Mathematical Sciences & Cryptography 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 all top 5 Cited in 17 Fields 164 Computer science (68-XX) 77 Order, lattices, ordered algebraic structures (06-XX) 75 Mathematical logic and foundations (03-XX) 13 Category theory; homological algebra (18-XX) 7 General algebraic systems (08-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General topology (54-XX) 5 Systems theory; control (93-XX) 4 Combinatorics (05-XX) 4 Group theory and generalizations (20-XX) 4 Operations research, mathematical programming (90-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Mathematics education (97-XX) Citations by Year