TAS-D++ vs tablas semanticas. - Gabriel Aguilera 001; José Luis Galán; Inman P. de Guzmán; Manuel Ojeda-Aciego (GULP-PRODE (2), 1994)

TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego (JELIA, 1994)

A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Acta Informatica, 1995)

Increasing the efficiency of automated theorem proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego (J. Appl. Non Class. Logics, 1995)

Executing Intensional Logic with the TAS Tool. - Manuel Enciso; J. F. Moncada; Inman P. de Guzmán; Manuel Ojeda-Aciego (APPIA-GULP-PRODE, 1996)

Reducing signed propositional formulas. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Soft Comput., 1998)

Multiple-Valued Tableaux with delta-reductions. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (IC-AI, 1999)

Implicates and reduction techniques for temporal logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Ann. Math. Artif. Intell., 1999)

Reduction Theorems for Boolean Formulas Using Delta-Trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (JELIA, 2000)

A graphical approach to monad compositions. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (MFCSIT, 2000)

A Procedural Semantics for Multi-adjoint Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (EPIA, 2001)

A Completeness Theorem for Multi-Adjoint Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (FUZZ-IEEE, 2001)

A Multi-adjoint Logic Approach to Abductive Reasoning. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (ICLP, 2001)

Composing Submonads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (ISMVL, 2001)

Multi-adjoint Logic Programming with Continuous Semantics. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (LPNMR, 2001)

Reductions for non-clausal theorem proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Theor. Comput. Sci., 2001)

Restricted Delta-Trees in Multiple-Valued Logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (AIMSA, 2002)

A Neural Approach to Abductive Multi-adjoint Reasoning. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (AIMSA, 2002)

A Similarity-Based Unification Model for Flexible Querying. - Stanislav Krajci; Rastislav Lencses; Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (FQAS, 2002)

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (IBERAMIA, 2002)

Multi-adjoint Logic Programming: A Neural Net Approach. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (ICLP, 2002)

Non-commutativity and Expressive Deductive Logic Databases. - Stanislav Krajci; Rastislav Lencses; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde; Peter Vojtás (JELIA, 2002)

A categorical approach to unification of generalised terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (UNCL@ICALP, 2002)

Preface. - Patrik Eklund; Manuel Ojeda-Aciego (UNCL@ICALP, 2002)

A Multi-Adjoint Approach to Similarity-Based Unification. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (UNCL@ICALP, 2002)

Satisfiability Testing for Boolean Formulas Using Delta-trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (Stud Logica, 2002)

Preface. - Manuel Ojeda-Aciego; Gerhard Brewka; Inman P. de Guzmán; Luís Moniz Pereira (Stud Logica, 2002)

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. - Alfredo Burrieza; Manuel Ojeda-Aciego (CAEPIA, 2003)

Towards Biresiduated Multi-adjoint Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde; Peter Vojtás (CAEPIA, 2003)

Homogenizing multi-adjoint logic programs. - Jesús Medina 001; Manuel Ojeda-Aciego (EUSFLAT Conf., 2003)

A Neural Approach to Extended Logic Programs. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (IWANN (1), 2003)

Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers]. - Manuel Ojeda-Aciego; Peter Vojtás; Slawomir Zadrozny (Kybernetika, 2003)

A Tabulation Proof Procedure for Residuated Logic Programming. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (ECAI, 2004)

Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (IBERAMIA, 2004)

Sorted Multi-adjoint Logic Programs: Termination Results and Applications. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (JELIA, 2004)

tascpl: TAS Solver for Classical Propositional Logic. - Manuel Ojeda-Aciego; Agustín Valverde (JELIA, 2004)

Similarities between powersets of terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2004)

Similarity-based unification: a multi-adjoint approach. - Jesús Medina 001; Manuel Ojeda-Aciego; Peter Vojtás (Fuzzy Sets Syst., 2004)

A neural implementation of multi-adjoint logic programming. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (J. Appl. Log., 2004)

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2005)

A note on partially ordered generalized terms. - Patrik Eklund; Maria A. Galán; Werner Gähler; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (EUSFLAT Conf., 2005)

Interval-Valued Neural Multi-adjoint Logic Programs. - Jesús Medina 001; Enrique Mérida Casermeiro; Manuel Ojeda-Aciego (IWINAC (1), 2005)

Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (WILF, 2005)

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. - Alfredo Burrieza; Manuel Ojeda-Aciego (Fundam. Informaticae, 2005)

Relational Approach to Order-of-Magnitude Reasoning. - Alfredo Burrieza; Manuel Ojeda-Aciego; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (FUZZ-IEEE, 2006)

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2007)

Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (EUSFLAT Conf. (2), 2007)

On Multi-adjoint Concept Lattices: Definition and Representation Theorem. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (ICFCA, 2007)

On Reachability of Minimal Models of Multilattice-Based Logic Programs. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (MICAI, 2007)

A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (WILF, 2007)

Powersets of terms and composite monads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2007)

Fuzzy logic programming via multilattices. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (Fuzzy Sets Syst., 2007)

Termination of logic programs with imperfect information: applications and query procedure. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (J. Appl. Log., 2007)

Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. - Nicolás Madrid; Manuel Ojeda-Aciego (Web Intelligence/IAT Workshops, 2008)

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (IBERAMIA, 2008)

Relating generalized concept lattices and concept lattices for non-commutative conjunctors. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (Appl. Math. Lett., 2008)

Thresholded Tabulation in a Fuzzy Logic Setting. - Pascual Julián Iranzo; Jesús Medina 001; Ginés Moreno; Manuel Ojeda-Aciego (PROLE, 2008)

Editorial. - Manuel Ojeda-Aciego; Siegfried Gottwald; Petr Hájek 001 (Fuzzy Sets Syst., 2008)

Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2009)

On the Representation Theorem of Multi-Adjoint Concept Lattices. - Jesús Medina 001; Manuel Ojeda-Aciego (IFSA/EUSFLAT Conf., 2009)

On the measure of incoherence in extended residuated logic programs. - Nicolás Madrid; Manuel Ojeda-Aciego (FUZZ-IEEE, 2009)

On Congruences and Homomorphisms on Some Non-deterministic Algebras. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (IJCCI, 2009)

Fuzzy Logic, Soft Computing, and Applications. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IWANN (1), 2009)

On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. - Nicolás Madrid; Manuel Ojeda-Aciego (WILF, 2009)

Congruence relations on some hyperstructures. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Ann. Math. Artif. Intell., 2009)

Formal concept analysis via multi-adjoint concept lattices. - Jesús Medina 001; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (Fuzzy Sets Syst., 2009)

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. - Alfredo Burrieza; Ángel Mora 001; Manuel Ojeda-Aciego; Ewa Orlowska (Int. J. Comput. Math., 2009)

Fuzzy congruence relations on nd-groupoids. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Int. J. Comput. Math., 2009)

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. - Umberto Straccia; Manuel Ojeda-Aciego; Carlos Viegas Damásio (SIAM J. Comput., 2009)

L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts. - Ondrej Kridlo; Stanislav Krajci; Manuel Ojeda-Aciego (CLA, 2010)

Towards Attribute Reduction in Multi-adjoint Concept Lattices. - Jesús Medina 001; Manuel Ojeda-Aciego (CLA, 2010)

Measuring instability in normal residuated logic programs: Adding information. - Nicolás Madrid; Manuel Ojeda-Aciego (FUZZ-IEEE, 2010)

Measuring Instability in Normal Residuated Logic Programs: Discarding Information. - Nicolás Madrid; Manuel Ojeda-Aciego (IPMU (1), 2010)

A coalgebraic approach to non-determinism: Applications to multilattices. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Inf. Sci., 2010)

Multi-adjoint t-concept lattices. - Jesús Medina 001; Manuel Ojeda-Aciego (Inf. Sci., 2010)

On the use of fuzzy stable models for inconsistent classical logic programs. - Nicolás Madrid; Manuel Ojeda-Aciego (FOCI, 2011)

Non-deterministic Algebraic Structures for Soft Computing. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IWANN (2), 2011)

A Static Preprocess for Improving Fuzzy Thresholded Tabulation. - Pascual Julián; Jesús Medina 001; Pedro J. Morcillo; Ginés Moreno; Manuel Ojeda-Aciego (IWANN (2), 2011)

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. - Carlos Viegas Damásio; Nicolás Madrid; Manuel Ojeda-Aciego (WILF, 2011)

Preface. - Hans van Ditmarsch; David Fernández-Duque; Valentin Goranko; Wojtek Jamroga; Manuel Ojeda-Aciego (M4M/LAMAS, 2011)

On L-fuzzy Chu correspondences. - Ondrej Kridlo; Manuel Ojeda-Aciego (Int. J. Comput. Math., 2011)

A PDL Approach for Qualitative Velocity. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011)

Measuring Inconsistency in Fuzzy Answer Set Semantics. - Nicolás Madrid; Manuel Ojeda-Aciego (IEEE Trans. Fuzzy Syst., 2011)

Computing Minimal Generators from Implications: a Logic-guided Approach. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2012)

Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept Lattices with Heterogeneous Conjunctors. - Jan Konecny 001; Jesús Medina 001; Manuel Ojeda-Aciego (CLA, 2012)

Linking L-Chu Correspondences and Completely Lattice L-ordered Sets. - Ondrej Kridlo; Manuel Ojeda-Aciego (CLA, 2012)

Finitary coalgebraic multisemilattices and multilattices. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Appl. Math. Comput., 2012)

On multi-adjoint concept lattices based on heterogeneous conjunctors. - Jesús Medina 001; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2012)

The Category of L-Chu Correspondences and the Structure of L-Bonds. - Ondrej Kridlo; Stanislav Krajci; Manuel Ojeda-Aciego (Fundam. Informaticae, 2012)

On the existence and unicity of stable models in normal residuated logic programs. - Nicolás Madrid; Manuel Ojeda-Aciego (Int. J. Comput. Math., 2012)

Computing Left-Minimal Direct Basis of implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2013)

Isotone L-bonds. - Jan Konecny 001; Manuel Ojeda-Aciego (CLA, 2013)

CRL-Chu Correspondences. - Ondrej Kridlo; Manuel Ojeda-Aciego (CLA, 2013)

On minimal requirements to obtain fuzzy concept-forming operators. - Juan Carlos Díaz; Jesús Medina-Moreno; Manuel Ojeda-Aciego (EUSFLAT Conf., 2013)

On the measure of incoherent information in extended multi-adjoint logic programs. - Nicolás Madrid; Manuel Ojeda-Aciego (FOCI, 2013)

A measure of contradiction based on the notion of N-weak-contradiction. - Humberto Bustince; Nicolás Madrid; Manuel Ojeda-Aciego (FUZZ-IEEE, 2013)

Concept-Forming Operators on Multilattices. - Jesús Medina-Moreno; Manuel Ojeda-Aciego; Jorge Ruiz-Calviño (ICFCA, 2013)

Bases via Minimal Generators. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (FCA4AI@IJCAI, 2013)

On Galois Connections and Soft Computing. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IWANN (2), 2013)

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. - Pascual Julián Iranzo; Jesús Medina-Moreno; Pedro J. Morcillo; Ginés Moreno; Manuel Ojeda-Aciego (IWANN (1), 2013)

Dual multi-adjoint concept lattices. - Jesús Medina 001; Manuel Ojeda-Aciego (Inf. Sci., 2013)

Ordering Objects via Attribute Preferences. - Inma P. Cabrera; Manuel Ojeda-Aciego; Jozef Pócs (CLA, 2014)

New links between mathematical morphology and fuzzy property-oriented concept lattices. - Juan Carlos Díaz; Nicolás Madrid; Jesús Medina 001; Manuel Ojeda-Aciego (FUZZ-IEEE, 2014)

On the Existence of Isotone Galois Connections between Preorders. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego; Francisco J. Rodríguez-Sanchez (ICFCA, 2014)

Generating Isotone Galois Connections on an Unstructured Codomain. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego; Francisco J. Rodríguez-Sanchez (IPMU (3), 2014)

Revisiting Reductants in the Multi-adjoint Logic Programming Framework. - Pascual Julián Iranzo; Jesús Medina 001; Manuel Ojeda-Aciego (JELIA, 2014)

Monadic Formal Concept Analysis. - Patrik Eklund; María Ángeles Galán García; Jari Kortelainen; Manuel Ojeda-Aciego (RSCTC, 2014)

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (RSCTC, 2014)

Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. - Jan Konecny 001; Jesús Medina 001; Manuel Ojeda-Aciego (Ann. Math. Artif. Intell., 2014)

Revising the link between L-Chu correspondences and completely lattice L-ordered sets. - Ondrej Kridlo; Manuel Ojeda-Aciego (Ann. Math. Artif. Intell., 2014)

On residuation in multilattices: Filters, congruences, and homomorphisms. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2014)

A logic framework for reasoning with movement based on fuzzy qualitative representation. - Emilio Muñoz-Velasco; Alfredo Burrieza; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2014)

On basic conditions to generate multi-adjoint concept lattices via Galois connections. - Juan Carlos Díaz-Moreno; Jesús Medina 001; Manuel Ojeda-Aciego (Int. J. Gen. Syst., 2014)

On the definition of suitable orderings to generate adjunctions over an unstructured codomain. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego; Francisco J. Rodríguez-Sanchez (Inf. Sci., 2014)

Using the Chu Construction for Generalizing Formal Concept Analysis. - L'ubomír Antoni; Inmaculada P. Cabrera; Stanislav Krajci; Ondrej Kridlo; Manuel Ojeda-Aciego (CLA, 2015)

ƒ-inclusion indexes between fuzzy sets. - Nicolás Madrid; Manuel Ojeda-Aciego; Irina Perfilieva (IFSA-EUSFLAT, 2015)

On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (ICFCA, 2015)

On Fuzzy Preordered Sets and Monotone Galois Connections. - Francisca García-Pardo; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (SSCI, 2015)

Knowledge discovery in social networks by using a logic-based treatment of implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Knowl. Based Syst., 2015)

The Notion of Weak-Contradiction: Definition and Measures. - Humberto Bustince; Nicolás Madrid; Manuel Ojeda-Aciego (IEEE Trans. Fuzzy Syst., 2015)

On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures. - Inma P. Cabrera; Pablo Cordero; Francisca García-Pardo; Manuel Ojeda-Aciego; Bernard De Baets (CLA, 2016)

Towards a Sequent Calculus for Formal Contexts. - Ondrej Kridlo; Manuel Ojeda-Aciego (FCA4AI@ECAI, 2016)

A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (HAIS, 2016)

On fuzzy relations, adjunctions, and functional fuzzy relations. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (SSCI, 2016)

On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. - Jesús Medina-Moreno; Manuel Ojeda-Aciego; Jozef Pócs; Eloísa Ramírez-Poussa (Fuzzy Sets Syst., 2016)

On homogeneous L-bonds and heterogeneous L-bonds. - Jan Konecny 001; Manuel Ojeda-Aciego (Int. J. Gen. Syst., 2016)

Concept lattices and their applications. - Manuel Ojeda-Aciego; Jan Outrata (Int. J. Gen. Syst., 2016)

Towards relational fuzzy adjunctions. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (FUZZ-IEEE, 2017)

Extending formal concept analysis using intuitionistic l-fuzzy sets. - Ondrej Kridlo; Manuel Ojeda-Aciego (FUZZ-IEEE, 2017)

Relational fuzzy Galois connections. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IFSA-SCIS, 2017)

Towards intuitionistic L-fuzzy formal t-concepts. - Ondrej Kridlo; Manuel Ojeda-Aciego (IFSA-SCIS, 2017)

Galois connections in computational intelligence: A short survey. - Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (SSCI, 2017)

Modelling fuzzy partitions with fuzzy answer sets. - Nicolás Madrid; Manuel Ojeda-Aciego (SSCI, 2017)

A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion. - Nicolás Madrid; Manuel Ojeda-Aciego (SUM, 2017)

On the construction of adjunctions between a fuzzy preposet and an unstructured set. - Inma P. Cabrera; Pablo Cordero; Francisca García-Pardo; Manuel Ojeda-Aciego; Bernard De Baets (Fuzzy Sets Syst., 2017)

On reductants in the framework of multi-adjoint logic programming. - Pascual Julián Iranzo; Jesús Medina 001; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2017)

The Chu construction and generalized formal concept analysis. - L'ubomír Antoni; Inma P. Cabrera; Stanislav Krajci; Ondrej Kridlo; Manuel Ojeda-Aciego (Int. J. Gen. Syst., 2017)

Fuzzy Mathematical Models for Computer Science and Decision Making. - Humberto Bustince; Susana Montes; Manuel Ojeda-Aciego (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2017)

A multimodal logic for closeness. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (J. Appl. Non Class. Logics, 2017)

A Data Analysis Application of Formal Independence Analysis. - Francisco J. Valverde-Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (CLA, 2018)

Formal Concept Analysis and Structures Underlying Quantum Logics. - Ondrej Kridlo; Manuel Ojeda-Aciego (IPMU (1), 2018)

Formal Independence Analysis. - Francisco J. Valverde-Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IPMU (1), 2018)

Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure. - Inma P. Cabrera; Pablo Cordero; Francisca García-Pardo; Manuel Ojeda-Aciego; Bernard De Baets (IEEE Trans. Fuzzy Syst., 2018)

Formal Equivalence Analysis. - Francisco José Valverde Albacete; Carmen Peláez-Moreno; Pablo Cordero; Manuel Ojeda-Aciego (EUSFLAT Conf., 2019)

Towards fuzzy relational Galois connections between fuzzy T-digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (EUSFLAT Conf., 2019)

A Relational Extension of Galois Connections. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (ICFCA, 2019)

L-fuzzy relational mathematical morphology based on adjoint triples. - Nicolás Madrid; Manuel Ojeda-Aciego; Jesús Medina 001; Irina Perfilieva (Inf. Sci., 2019)

On the n-ary Generalization of Dual Bonds. - Ondrej Kridlo; Manuel Ojeda-Aciego (Interactions Between Computational Intelligence and Mathematics (2), 2019)

Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis. - Francisco J. Valverde-Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (CLA, 2020)

New Measures of Inclusion Between Fuzzy Sets in Terms of the φ-Index of Inclusion. - Nicolás Madrid; Manuel Ojeda-Aciego (ECAI, 2020)

Galois Connections Between Unbalanced Structures in a Fuzzy Framework. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (IPMU (3), 2020)

Functional degrees of inclusion and similarity between L-fuzzy sets. - Nicolás Madrid; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2020)

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Log. J. IGPL, 2020)

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Int. J. Comput. Intell. Syst., 2020)

On Contradiction and Inclusion Using Functional Degrees. - Nicolás Madrid; Manuel Ojeda-Aciego (Int. J. Comput. Intell. Syst., 2020)

Relational Galois connections between transitive digraphs: Characterization and construction. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (Inf. Sci., 2020)

Approaching the Square of Oppositions in Terms of the f -indexes of Inclusion and Contradiction. - Nicolás Madrid; Manuel Ojeda-Aciego (IFSA/EUSFLAT/AGOP, 2021)

Multi-adjoint lattices from adjoint triples with involutive negation. - Nicolás Madrid; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2021)

Measures of inclusion and entropy based on the φ-index of inclusion. - Nicolás Madrid; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2021)

Formal concept analysis with negative attributes for forgery detection. - Manuel Ojeda-Aciego; José Manuel Rodríguez-Jiménez (Comput. Math. Methods, 2021)

Formal Methods in FCA and Big Data. - Domingo López-Rodríguez; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Complex Data Analytics with Formal Concept Analysis, 2022)

Partial formal contexts with degrees. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2022)

On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm. - Francisco J. Valverde-Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (CLA, 2022)

Can FCA Provide a Framework for Artificial General Intelligence? - Francisco J. Valverde-Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (FCA4AI@IJCAI, 2022)

Encoding Non-global Time Representations into the Lattice of Divisibility. - Francisco José Valverde Albacete; Carmen Peláez-Moreno; Inma P. Cabrera; Pablo Cordero; Manuel Ojeda-Aciego (IPMU (1), 2022)

On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (IPMU (1), 2022)

Classifying Adjoint Pairs and Adjoint Triples in an Atanassov $L$-Fuzzy Framework. - Ondrej Krídlo; Manuel Ojeda-Aciego (IEEE Trans. Fuzzy Syst., 2022)

A Logic to Reason About f-Indices of Inclusion over Łn. - Tommaso Flaminio; Lluís Godo; Nicolás Madrid; Manuel Ojeda-Aciego (EUSFLAT/AGOP, 2023)

Fuzzy relational Galois connections between fuzzy transitive digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (Fuzzy Sets Syst., 2023)

The f-index of inclusion as optimal adjoint pair for fuzzy modus ponens. - Nicolás Madrid; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2023)

Connecting concept lattices with bonds induced by external information. - Ondrej Krídlo; Domingo López-Rodríguez; Lubomir Antoni; Peter Elias 002; Stanislav Krajci; Manuel Ojeda-Aciego (Inf. Sci., 2023)

Approaching the square of opposition in terms of the f-indexes of inclusion and contradiction. - Nicolás Madrid; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2024)

A critical analysis of the theoretical framework of the Extreme Learning Machine. - Irina Perfilieva; Nicolás Madrid; Manuel Ojeda-Aciego; Piotr Artiemjew; Agnieszka Niemczynowicz (Neurocomputing, 2025)

Foreword. - Bernadette Bouchon-Meunier; Jesús Medina-Moreno; Manuel Ojeda-Aciego (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2025)