Manuel Ojeda-Aciego

192 papers A 2B 19C 8Misc 6Journal 67Unranked 77
YearRankTypeTitle / Venue / Authors
2026 J jnl
Composition as a fuzzy conjunction between indexes of inclusion.
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2025 J jnl
A critical analysis of the theoretical framework of the Extreme Learning Machine.
Neurocomputing
Irina Perfilieva, Nicolás Madrid, Manuel Ojeda-Aciego, Piotr Artiemjew, Agnieszka Niemczynowicz
2025 J jnl
Foreword.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Bernadette Bouchon-Meunier, Jesús Medina-Moreno, Manuel Ojeda-Aciego
2025 J jnl
Foreword.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Bernadette Bouchon-Meunier, Jesús Medina-Moreno, Manuel Ojeda-Aciego
2024 J jnl
A Critical Analysis of the Theoretical Framework of the Extreme Learning Machine.
CoRR
Irina Perfilieva, Nicolás Madrid, Manuel Ojeda-Aciego, Piotr Artiemjew, Agnieszka Niemczynowicz
2024 — ed.
Advances in Artificial Intelligence - 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
CAEPIA
Amparo Alonso-Betanzos, Bertha Guijarro-Berdiñas, Verónica Bolón-Canedo, Elena Hernández-Pereira, Oscar Fontenla-Romero, David Camacho, Juan Ramón Rabuñal, Manuel Ojeda-Aciego, Jesús Medina, José C. Riquelme, Alicia Troncoso
2024 J jnl
Approaching the square of opposition in terms of the
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2023 — conf
A Logic to Reason About f-Indices of Inclusion over Ł
EUSFLAT/AGOP
Tommaso Flaminio, Lluís Godo, Nicolás Madrid, Manuel Ojeda-Aciego
2023 J jnl
Connecting concept lattices with bonds induced by external information.
Inf. Sci.
Ondrej Krídlo, Domingo López-Rodríguez, Lubomir Antoni, Peter Elias, Stanislav Krajci, Manuel Ojeda-Aciego
2023 J jnl
Fuzzy relational Galois connections between fuzzy transitive digraphs.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2023 Misc ed.
Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
ICCS
Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke
2023 J jnl
The
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2022 — conf
Can FCA Provide a Framework for Artificial General Intelligence?
FCA4AI@IJCAI
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 J jnl
Classifying Adjoint Pairs and Adjoint Triples in an Atanassov $L$-Fuzzy Framework.
IEEE Trans. Fuzzy Syst.
Ondrej Krídlo, Manuel Ojeda-Aciego
2022 — conf
Encoding Non-global Time Representations into the Lattice of Divisibility.
IPMU (1)
Francisco José Valverde Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 — ch.
Formal Methods in FCA and Big Data.
Complex Data Analytics with Formal Concept Analysis
Domingo López-Rodríguez, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2022 — conf
On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 — conf
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs.
IPMU (1)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2022 — conf
Partial formal contexts with degrees.
CLA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2021 — ed.
Advances in Artificial Intelligence - 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22-24, 2021, Proceedings
CAEPIA
Enrique Alba, Gabriel Luque, Francisco Chicano, Carlos Cotta, David Camacho, Manuel Ojeda-Aciego, Susana Montes, Alicia Troncoso, José C. Riquelme, Rodrigo Gil-Merino
2021 — conf
Approaching the Square of Oppositions in Terms of the
IFSA/EUSFLAT/AGOP
Nicolás Madrid, Manuel Ojeda-Aciego
2021 J jnl
Formal concept analysis with negative attributes for forgery detection.
Comput. Math. Methods
Manuel Ojeda-Aciego, José Manuel Rodríguez-Jiménez
2021 J jnl
Measures of inclusion and entropy based on the
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2021 J jnl
Multi-adjoint lattices from adjoint triples with involutive negation.
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2020 J jnl
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.
Int. J. Comput. Intell. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2020 J jnl
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.
Log. J. IGPL
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2020 — conf
Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2020 J jnl
Functional degrees of inclusion and similarity between
Fuzzy Sets Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2020 — conf
Galois Connections Between Unbalanced Structures in a Fuzzy Framework.
IPMU (3)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2020 A conf
New Measures of Inclusion Between Fuzzy Sets in Terms of the φ-Index of Inclusion.
ECAI
Nicolás Madrid, Manuel Ojeda-Aciego
2020 J jnl
On Contradiction and Inclusion Using Functional Degrees.
Int. J. Comput. Intell. Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2020 J jnl
Relational Galois connections between transitive digraphs: Characterization and construction.
Inf. Sci.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2019 C conf
A Relational Extension of Galois Connections.
ICFCA
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2019 — conf
Formal Equivalence Analysis.
EUSFLAT Conf.
Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego
2019 — ch.
On the n-ary Generalization of Dual Bonds.
Interactions Between Computational Intelligence and Mathematics (2)
Ondrej Kridlo, Manuel Ojeda-Aciego
2019 — conf
Towards fuzzy relational Galois connections between fuzzy T-digraphs.
EUSFLAT Conf.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2018 — conf
A Data Analysis Application of Formal Independence Analysis.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2018 — conf
Formal Concept Analysis and Structures Underlying Quantum Logics.
IPMU (1)
Ondrej Kridlo, Manuel Ojeda-Aciego
2018 — conf
Formal Independence Analysis.
IPMU (1)
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2018 J jnl
Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure.
IEEE Trans. Fuzzy Syst.
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2018 — ed.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
IPMU (3)
Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, Irina Perfilieva, Bernadette Bouchon-Meunier, Ronald R. Yager
2018 — ed.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
IPMU (1)
Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager
2018 — ed.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
IPMU (2)
Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager
2017 — conf
A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion.
SUM
Nicolás Madrid, Manuel Ojeda-Aciego
2017 J jnl
A multimodal logic for closeness.
J. Appl. Non Class. Logics
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2017 B conf
Extending formal concept analysis using intuitionistic l-fuzzy sets.
FUZZ-IEEE
Ondrej Kridlo, Manuel Ojeda-Aciego
2017 J jnl
Fuzzy Mathematical Models for Computer Science and Decision Making.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Humberto Bustince, Susana Montes, Manuel Ojeda-Aciego
2017 — conf
Galois connections in computational intelligence: A short survey.
SSCI
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2017 — conf
Modelling fuzzy partitions with fuzzy answer sets.
SSCI
Nicolás Madrid, Manuel Ojeda-Aciego
2017 J jnl
On reductants in the framework of multi-adjoint logic programming.
Fuzzy Sets Syst.
Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego
2017 J jnl
On the construction of adjunctions between a fuzzy preposet and an unstructured set.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2017 — conf
Relational fuzzy Galois connections.
IFSA-SCIS
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2017 J jnl
The Chu construction and generalized formal concept analysis.
Int. J. Gen. Syst.
L'ubomír Antoni, Inma P. Cabrera, Stanislav Krajci, Ondrej Kridlo, Manuel Ojeda-Aciego
2017 — conf
Towards intuitionistic L-fuzzy formal t-concepts.
IFSA-SCIS
Ondrej Kridlo, Manuel Ojeda-Aciego
2017 B conf
Towards relational fuzzy adjunctions.
FUZZ-IEEE
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2016 Misc conf
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning.
HAIS
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2016 J jnl
Concept lattices and their applications.
Int. J. Gen. Syst.
Manuel Ojeda-Aciego, Jan Outrata
2016 — conf
On fuzzy relations, adjunctions, and functional fuzzy relations.
SSCI
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2016 J jnl
On homogeneous
Int. J. Gen. Syst.
Jan Konecny, Manuel Ojeda-Aciego
2016 J jnl
On the Dedekind-MacNeille completion and formal concept analysis based on multilattices.
Fuzzy Sets Syst.
Jesús Medina-Moreno, Manuel Ojeda-Aciego, Jozef Pócs, Eloísa Ramírez-Poussa
2016 — conf
On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures.
CLA
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2016 — ed.
Proceedings of the 2nd International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD 2016) co-located with the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), Moscow, Russia, July 18, 2016.
SCAKD@CLA
Manuel Ojeda-Aciego, Dmitry I. Ignatov, Alexander Lepskiy
2016 — conf
Towards a Sequent Calculus for Formal Contexts.
FCA4AI@ECAI
Ondrej Kridlo, Manuel Ojeda-Aciego
2015 C ed.
Formal Concept Analysis - 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
ICFCA
Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego
2015 J jnl
Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl. Based Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2015 C conf
On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.
ICFCA
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2015 — conf
On Fuzzy Preordered Sets and Monotone Galois Connections.
SSCI
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2015 — ed.
Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Málaga, Spain, June 23-26, 2015.
FCA&A@ICFCA
Manuel Ojeda-Aciego, Jaume Baixeries, Christian Sacarea
2015 J jnl
The Notion of Weak-Contradiction: Definition and Measures.
IEEE Trans. Fuzzy Syst.
Humberto Bustince, Nicolás Madrid, Manuel Ojeda-Aciego
2015 — conf
Using the Chu Construction for Generalizing Formal Concept Analysis.
CLA
L'ubomír Antoni, Inmaculada P. Cabrera, Stanislav Krajci, Ondrej Kridlo, Manuel Ojeda-Aciego
2015 — conf
ƒ-inclusion indexes between fuzzy sets.
IFSA-EUSFLAT
Nicolás Madrid, Manuel Ojeda-Aciego, Irina Perfilieva
2014 J jnl
A logic framework for reasoning with movement based on fuzzy qualitative representation.
Fuzzy Sets Syst.
Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego
2014 — conf
Generating Isotone Galois Connections on an Unstructured Codomain.
IPMU (3)
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 — conf
Monadic Formal Concept Analysis.
RSCTC
Patrik Eklund, María Ángeles Galán García, Jari Kortelainen, Manuel Ojeda-Aciego
2014 J jnl
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges.
Ann. Math. Artif. Intell.
Jan Konecny, Jesús Medina, Manuel Ojeda-Aciego
2014 B conf
New links between mathematical morphology and fuzzy property-oriented concept lattices.
FUZZ-IEEE
Juan Carlos Díaz, Nicolás Madrid, Jesús Medina, Manuel Ojeda-Aciego
2014 — conf
On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.
RSCTC
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2014 J jnl
On basic conditions to generate multi-adjoint concept lattices via Galois connections.
Int. J. Gen. Syst.
Juan Carlos Díaz-Moreno, Jesús Medina, Manuel Ojeda-Aciego
2014 J jnl
On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2014 C conf
On the Existence of Isotone Galois Connections between Preorders.
ICFCA
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 J jnl
On the definition of suitable orderings to generate adjunctions over an unstructured codomain.
Inf. Sci.
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 — conf
Ordering Objects via Attribute Preferences.
CLA
Inma P. Cabrera, Manuel Ojeda-Aciego, Jozef Pócs
2014 J jnl
Revising the link between L-Chu correspondences and completely lattice L-ordered sets.
Ann. Math. Artif. Intell.
Ondrej Kridlo, Manuel Ojeda-Aciego
2014 B conf
Revisiting Reductants in the Multi-adjoint Logic Programming Framework.
JELIA
Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego
2013 B conf
A measure of contradiction based on the notion of N-weak-contradiction.
FUZZ-IEEE
Humberto Bustince, Nicolás Madrid, Manuel Ojeda-Aciego
2013 — conf
An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation.
IWANN (1)
Pascual Julián Iranzo, Jesús Medina-Moreno, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego
2013 — conf
Bases via Minimal Generators.
FCA4AI@IJCAI
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 — conf
CRL-Chu Correspondences.
CLA
Ondrej Kridlo, Manuel Ojeda-Aciego
2013 — conf
Computing Left-Minimal Direct Basis of implications.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 C conf
Concept-Forming Operators on Multilattices.
ICFCA
Jesús Medina-Moreno, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2013 J jnl
Dual multi-adjoint concept lattices.
Inf. Sci.
Jesús Medina, Manuel Ojeda-Aciego
2013 — conf
Isotone L-bonds.
CLA
Jan Konecny, Manuel Ojeda-Aciego
2013 — conf
On Galois Connections and Soft Computing.
IWANN (2)
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2013 — conf
On minimal requirements to obtain fuzzy concept-forming operators.
EUSFLAT Conf.
Juan Carlos Díaz, Jesús Medina-Moreno, Manuel Ojeda-Aciego
2013 — conf
On the measure of incoherent information in extended multi-adjoint logic programs.
FOCI
Nicolás Madrid, Manuel Ojeda-Aciego
2013 — ed.
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013.
CLA
Manuel Ojeda-Aciego, Jan Outrata
2012 — conf
Computing Minimal Generators from Implications: a Logic-guided Approach.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2012 J jnl
Finitary coalgebraic multisemilattices and multilattices.
Appl. Math. Comput.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2012 — conf
Linking L-Chu Correspondences and Completely Lattice L-ordered Sets.
CLA
Ondrej Kridlo, Manuel Ojeda-Aciego
2012 J jnl
On multi-adjoint concept lattices based on heterogeneous conjunctors.
Fuzzy Sets Syst.
Jesús Medina, Manuel Ojeda-Aciego
2012 J jnl
On the existence and unicity of stable models in normal residuated logic programs.
Int. J. Comput. Math.
Nicolás Madrid, Manuel Ojeda-Aciego
2012 J jnl
The Category of L-Chu Correspondences and the Structure of L-Bonds.
Fundam. Informaticae
Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego
2012 — conf
Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept Lattices with Heterogeneous Conjunctors.
CLA
Jan Konecny, Jesús Medina, Manuel Ojeda-Aciego
2011 J jnl
A PDL Approach for Qualitative Velocity.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2011 — conf
A Static Preprocess for Improving Fuzzy Thresholded Tabulation.
IWANN (2)
Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego
2011 J jnl
Measuring Inconsistency in Fuzzy Answer Set Semantics.
IEEE Trans. Fuzzy Syst.
Nicolás Madrid, Manuel Ojeda-Aciego
2011 — conf
Non-deterministic Algebraic Structures for Soft Computing.
IWANN (2)
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2011 J jnl
On
Int. J. Comput. Math.
Ondrej Kridlo, Manuel Ojeda-Aciego
2011 — conf
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.
WILF
Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego
2011 — conf
On the use of fuzzy stable models for inconsistent classical logic programs.
FOCI
Nicolás Madrid, Manuel Ojeda-Aciego
2011 — conf
Preface.
M4M/LAMAS
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
2011 — ed.
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011
M4M/LAMAS
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego
2010 J jnl
A coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2010 — conf
L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts.
CLA
Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego
2010 — conf
Measuring Instability in Normal Residuated Logic Programs: Discarding Information.
IPMU (1)
Nicolás Madrid, Manuel Ojeda-Aciego
2010 B conf
Measuring instability in normal residuated logic programs: Adding information.
FUZZ-IEEE
Nicolás Madrid, Manuel Ojeda-Aciego
2010 J jnl
Multi-adjoint t-concept lattices.
Inf. Sci.
Jesús Medina, Manuel Ojeda-Aciego
2010 — conf
Towards Attribute Reduction in Multi-adjoint Concept Lattices.
CLA
Jesús Medina, Manuel Ojeda-Aciego
2009 J jnl
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Int. J. Comput. Math.
Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
2009 — conf
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.
CAEPIA
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2009 J jnl
Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 J jnl
Formal concept analysis via multi-adjoint concept lattices.
Fuzzy Sets Syst.
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2009 — conf
Fuzzy Logic, Soft Computing, and Applications.
IWANN (1)
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2009 J jnl
Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 — conf
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs.
WILF
Nicolás Madrid, Manuel Ojeda-Aciego
2009 C conf
On Congruences and Homomorphisms on Some Non-deterministic Algebras.
IJCCI
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 J jnl
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs.
SIAM J. Comput.
Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio
2009 — conf
On the Representation Theorem of Multi-Adjoint Concept Lattices.
IFSA/EUSFLAT Conf.
Jesús Medina, Manuel Ojeda-Aciego
2009 B conf
On the measure of incoherence in extended residuated logic programs.
FUZZ-IEEE
Nicolás Madrid, Manuel Ojeda-Aciego
2008 — conf
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.
IBERAMIA
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2008 J jnl
Editorial.
Fuzzy Sets Syst.
Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek
2008 J jnl
Relating generalized concept lattices and concept lattices for non-commutative conjunctors.
Appl. Math. Lett.
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2008 — conf
Thresholded Tabulation in a Fuzzy Logic Setting.
PROLE
Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego
2008 — conf
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs.
Web Intelligence/IAT Workshops
Nicolás Madrid, Manuel Ojeda-Aciego
2007 — conf
A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming.
WILF
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2007 — conf
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
CAEPIA
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2007 — conf
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices.
EUSFLAT Conf. (2)
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2007 J jnl
Fuzzy logic programming via multilattices.
Fuzzy Sets Syst.
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2007 C conf
On Multi-adjoint Concept Lattices: Definition and Representation Theorem.
ICFCA
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2007 — conf
On Reachability of Minimal Models of Multilattice-Based Logic Programs.
MICAI
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2007 J jnl
Powersets of terms and composite monads.
Fuzzy Sets Syst.
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2007 J jnl
Termination of logic programs with imperfect information: applications and query procedure.
J. Appl. Log.
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2006 B conf
A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.
FUZZ-IEEE
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2006 — ch.
Relational Approach to Order-of-Magnitude Reasoning.
Theory and Applications of Relational Structures as Knowledge Instruments
Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska
2005 J jnl
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.
Fundam. Informaticae
Alfredo Burrieza, Manuel Ojeda-Aciego
2005 — conf
A note on partially ordered generalized terms.
EUSFLAT Conf.
Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2005 — conf
Interval-Valued Neural Multi-adjoint Logic Programs.
IWINAC (1)
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2005 — conf
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming.
WILF
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
2005 — conf
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
CAEPIA
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2004 A conf
A Tabulation Proof Procedure for Residuated Logic Programming.
ECAI
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2004 J jnl
A neural implementation of multi-adjoint logic programming.
J. Appl. Log.
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2004 — conf
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.
IBERAMIA
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2004 J jnl
Similarities between powersets of terms.
Fuzzy Sets Syst.
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2004 J jnl
Similarity-based unification: a multi-adjoint approach.
Fuzzy Sets Syst.
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2004 B conf
Sorted Multi-adjoint Logic Programs: Termination Results and Applications.
JELIA
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2004 B conf
tascpl: TAS Solver for Classical Propositional Logic.
JELIA
Manuel Ojeda-Aciego, Agustín Valverde
2003 — conf
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.
CAEPIA
Alfredo Burrieza, Manuel Ojeda-Aciego
2003 — conf
A Neural Approach to Extended Logic Programs.
IWANN (1)
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2003 — conf
Homogenizing multi-adjoint logic programs.
EUSFLAT Conf.
Jesús Medina, Manuel Ojeda-Aciego
2003 J jnl
Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers].
Kybernetika
Manuel Ojeda-Aciego, Peter Vojtás, Slawomir Zadrozny
2003 — conf
Towards Biresiduated Multi-adjoint Logic Programming.
CAEPIA
Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
2002 — conf
A Multi-Adjoint Approach to Similarity-Based Unification.
UNCL@ICALP
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2002 Misc conf
A Neural Approach to Abductive Multi-adjoint Reasoning.
AIMSA
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2002 C conf
A Similarity-Based Unification Model for Flexible Querying.
FQAS
Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2002 — conf
A categorical approach to unification of generalised terms.
UNCL@ICALP
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2002 B conf
Multi-adjoint Logic Programming: A Neural Net Approach.
ICLP
Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
2002 B conf
Non-commutativity and Expressive Deductive Logic Databases.
JELIA
Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
2002 — conf
Preface.
UNCL@ICALP
Patrik Eklund, Manuel Ojeda-Aciego
2002 J jnl
Preface.
Stud Logica
Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
2002 — conf
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.
IBERAMIA
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002 Misc conf
Restricted Delta-Trees in Multiple-Valued Logics.
AIMSA
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002 J jnl
Satisfiability Testing for Boolean Formulas Using Delta-trees.
Stud Logica
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
2002 — ed.
Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002
UNCL@ICALP
Patrik Eklund, Manuel Ojeda-Aciego
2001 B conf
A Completeness Theorem for Multi-Adjoint Logic Programming.
FUZZ-IEEE
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2001 B conf
A Multi-adjoint Logic Approach to Abductive Reasoning.
ICLP
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2001 Misc conf
A Procedural Semantics for Multi-adjoint Logic Programming.
EPIA
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2001 — conf
Composing Submonads.
ISMVL
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2001 B conf
Multi-adjoint Logic Programming with Continuous Semantics.
LPNMR
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2001 J jnl
Reductions for non-clausal theorem proving.
Theor. Comput. Sci.
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2001 — conf
Similarity-based unification: a multi-adjoint approach.
EUSFLAT Conf.
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
2000 — conf
A graphical approach to monad compositions.
MFCSIT
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2000 B ed.
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings
JELIA
Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira
2000 B conf
Reduction Theorems for Boolean Formulas Using Delta-Trees.
JELIA
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
1999 J jnl
Implicates and reduction techniques for temporal logics.
Ann. Math. Artif. Intell.
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1999 Misc conf
Multiple-Valued Tableaux with delta-reductions.
IC-AI
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998 B conf
Implicates and Reduction Techniques for Temporal Logics.
JELIA
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998 J jnl
Reducing signed propositional formulas.
Soft Comput.
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1996 — conf
Executing Intensional Logic with the TAS Tool.
APPIA-GULP-PRODE
Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
1995 J jnl
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.
Acta Informatica
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1995 J jnl
Increasing the efficiency of automated theorem proving.
J. Appl. Non Class. Logics
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994 B conf
TAS-D
JELIA
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994 — conf
TAS-D++ vs tablas semanticas.
GULP-PRODE (2)
Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego