default search action
Manuel Ojeda-Aciego
Person information
- affiliation: Universidad de Málaga
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j63]Nicolás Madrid
, Manuel Ojeda-Aciego:
Approaching the square of opposition in terms of the f-indexes of inclusion and contradiction. Fuzzy Sets Syst. 476: 108769 (2024) - [e13]Amparo Alonso-Betanzos
Advances in Artificial Intelligence - 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings. Lecture Notes in Computer Science 14640, Springer 2024, ISBN 978-3-031-62798-9 [contents] - [i1]Irina Perfilieva, Nicolás Madrid, Manuel Ojeda-Aciego, Piotr Artiemjew, Agnieszka Niemczynowicz:
A Critical Analysis of the Theoretical Framework of the Extreme Learning Machine. CoRR abs/2406.17427 (2024) - 2023
- [j62]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets:
Fuzzy relational Galois connections between fuzzy transitive digraphs. Fuzzy Sets Syst. 463: 108456 (2023) - [j61]Nicolás Madrid
The f-index of inclusion as optimal adjoint pair for fuzzy modus ponens. Fuzzy Sets Syst. 466: 108474 (2023) - [j60]Ondrej Krídlo, Domingo López-Rodríguez
Connecting concept lattices with bonds induced by external information. Inf. Sci. 648: 119498 (2023) - [c108]Tommaso Flaminio, Lluís Godo
A Logic to Reason About f-Indices of Inclusion over Łn. EUSFLAT/AGOP 2023: 530-539 - [e12]Manuel Ojeda-Aciego
Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings. Lecture Notes in Computer Science 14133, Springer 2023, ISBN 978-3-031-40959-2 [contents] - 2022
- [j59]Ondrej Krídlo, Manuel Ojeda-Aciego
Classifying Adjoint Pairs and Adjoint Triples in an Atanassov $L$-Fuzzy Framework. IEEE Trans. Fuzzy Syst. 30(3): 863-868 (2022) - [c107]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Partial formal contexts with degrees. CLA 2022: 35-44 - [c106]Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego:
On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm. CLA 2022: 93-104 - [c105]Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego:
Can FCA Provide a Framework for Artificial General Intelligence? FCA4AI@IJCAI 2022: 35-40 - [c104]Inma P. Cabrera
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. IPMU (1) 2022: 100-106 - [c103]Francisco José Valverde Albacete
Encoding Non-global Time Representations into the Lattice of Divisibility. IPMU (1) 2022: 118-129 - [p3]Domingo López-Rodríguez
Formal Methods in FCA and Big Data. Complex Data Analytics with Formal Concept Analysis 2022: 201-224 - 2021
- [j58]Manuel Ojeda-Aciego
Formal concept analysis with negative attributes for forgery detection. Comput. Math. Methods 3(6) (2021) - [j57]Nicolás Madrid
Multi-adjoint lattices from adjoint triples with involutive negation. Fuzzy Sets Syst. 405: 88-105 (2021) - [j56]Nicolás Madrid
Measures of inclusion and entropy based on the φ-index of inclusion. Fuzzy Sets Syst. 423: 29-54 (2021) - [e11]Enrique Alba
Advances in Artificial Intelligence - 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22-24, 2021, Proceedings. Lecture Notes in Computer Science 12882, Springer 2021, ISBN 978-3-030-85712-7 [contents] - 2020
- [j55]Nicolás Madrid
Functional degrees of inclusion and similarity between L-fuzzy sets. Fuzzy Sets Syst. 390: 1-22 (2020) - [j54]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Log. J. IGPL 28(1): 121-133 (2020) - [j53]Nicolás Madrid
On Contradiction and Inclusion Using Functional Degrees. Int. J. Comput. Intell. Syst. 13(1): 464-471 (2020) - [j52]Pablo Cordero, Manuel Enciso, Ángel Mora
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. Int. J. Comput. Intell. Syst. 13(1): 1243-1252 (2020) - [j51]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Relational Galois connections between transitive digraphs: Characterization and construction. Inf. Sci. 519: 439-450 (2020) - [c102]Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego:
Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis. CLA 2020: 171-183 - [c101]Nicolás Madrid
New Measures of Inclusion Between Fuzzy Sets in Terms of the φ-Index of Inclusion. ECAI 2020: 2616-2623 - [c100]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Galois Connections Between Unbalanced Structures in a Fuzzy Framework. IPMU (3) 2020: 736-747
2010 – 2019
- 2019
- [j50]Nicolás Madrid
L-fuzzy relational mathematical morphology based on adjoint triples. Inf. Sci. 474: 75-89 (2019) - [c99]Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego:
Formal Equivalence Analysis. EUSFLAT Conf. 2019 - [c98]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Towards fuzzy relational Galois connections between fuzzy T-digraphs. EUSFLAT Conf. 2019 - [c97]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Relational Extension of Galois Connections. ICFCA 2019: 290-303 - [p2]Ondrej Kridlo
On the n-ary Generalization of Dual Bonds. Interactions Between Computational Intelligence and Mathematics (2) 2019: 55-63 - 2018
- [j49]Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo
Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure. IEEE Trans. Fuzzy Syst. 26(3): 1274-1287 (2018) - [c96]Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego:
A Data Analysis Application of Formal Independence Analysis. CLA 2018: 117-128 - [c95]Ondrej Kridlo
Formal Concept Analysis and Structures Underlying Quantum Logics. IPMU (1) 2018: 574-584 - [c94]Francisco J. Valverde-Albacete
Formal Independence Analysis. IPMU (1) 2018: 596-608 - [e10]Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager:
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. Communications in Computer and Information Science 853, Springer 2018, ISBN 978-3-319-91472-5 [contents] - [e9]Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager:
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. Communications in Computer and Information Science 854, Springer 2018, ISBN 978-3-319-91475-6 [contents] - [e8]Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay Galdeano, Irina Perfilieva, Bernadette Bouchon-Meunier, Ronald R. Yager:
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. Communications in Computer and Information Science 855, Springer 2018, ISBN 978-3-319-91478-7 [contents] - 2017
- [j48]Pascual Julián Iranzo
On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. 317: 27-43 (2017) - [j47]Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo
On the construction of adjunctions between a fuzzy preposet and an unstructured set. Fuzzy Sets Syst. 320: 81-92 (2017) - [j46]L'ubomír Antoni
The Chu construction and generalized formal concept analysis. Int. J. Gen. Syst. 46(5): 458-474 (2017) - [j45]Humberto Bustince, Susana Montes, Manuel Ojeda-Aciego
Fuzzy Mathematical Models for Computer Science and Decision Making. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 25(Supplement-1): 1-4 (2017) - [j44]Alfredo Burrieza
A multimodal logic for closeness. J. Appl. Non Class. Logics 27(3-4): 225-237 (2017) - [c93]Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
Towards relational fuzzy adjunctions. FUZZ-IEEE 2017: 1-5 - [c92]Ondrej Kridlo
Extending formal concept analysis using intuitionistic l-fuzzy sets. FUZZ-IEEE 2017: 1-6 - [c91]Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
Relational fuzzy Galois connections. IFSA-SCIS 2017: 1-6 - [c90]Ondrej Kridlo
Towards intuitionistic L-fuzzy formal t-concepts. IFSA-SCIS 2017: 1-6 - [c89]Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
Galois connections in computational intelligence: A short survey. SSCI 2017: 1-7 - [c88]Nicolás Madrid
Modelling fuzzy partitions with fuzzy answer sets. SSCI 2017: 1-8 - [c87]Nicolás Madrid
A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion. SUM 2017: 307-318 - 2016
- [j43]Jesús Medina-Moreno
On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Fuzzy Sets Syst. 303: 1-20 (2016) - [j42]Manuel Ojeda-Aciego
Concept lattices and their applications. Int. J. Gen. Syst. 45(2): 55-56 (2016) - [j41]Jan Konecny, Manuel Ojeda-Aciego
On homogeneous L-bonds and heterogeneous L-bonds. Int. J. Gen. Syst. 45(2): 160-186 (2016) - [c86]Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets:
On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures. CLA 2016: 97-108 - [c85]Ondrej Kridlo, Manuel Ojeda-Aciego:
Towards a Sequent Calculus for Formal Contexts. FCA4AI@ECAI 2016: 17-24 - [c84]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. HAIS 2016: 721-729 - [c83]Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
On fuzzy relations, adjunctions, and functional fuzzy relations. SSCI 2016: 1-7 - [e7]Manuel Ojeda-Aciego, Dmitry I. Ignatov, Alexander Lepskiy:
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. CEUR Workshop Proceedings 1687, CEUR-WS.org 2016 [contents] - 2015
- [j40]Pablo Cordero, Manuel Enciso
Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. 87: 16-25 (2015) - [j39]Humberto Bustince, Nicolás Madrid
The Notion of Weak-Contradiction: Definition and Measures. IEEE Trans. Fuzzy Syst. 23(4): 1057-1069 (2015) - [c82]L'ubomír Antoni, Inmaculada P. Cabrera, Stanislav Krajci, Ondrej Kridlo, Manuel Ojeda-Aciego:
Using the Chu Construction for Generalizing Formal Concept Analysis. CLA 2015: 147-158 - [c81]Nicolás Madrid, Manuel Ojeda-Aciego, Irina Perfilieva:
ƒ-inclusion indexes between fuzzy sets. IFSA-EUSFLAT 2015 - [c80]Francisca García-Pardo
On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. ICFCA 2015: 114-127 - [c79]Francisca García-Pardo
On Fuzzy Preordered Sets and Monotone Galois Connections. SSCI 2015: 990-994 - [e6]Manuel Ojeda-Aciego, Jaume Baixeries, Christian Sacarea:
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. CEUR Workshop Proceedings 1434, CEUR-WS.org 2015 [contents] - [e5]Jaume Baixeries, Christian Sacarea
Formal Concept Analysis - 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings. Lecture Notes in Computer Science 9113, Springer 2015, ISBN 978-3-319-19544-5 [contents] - 2014
- [j38]Jan Konecny, Jesús Medina
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Ann. Math. Artif. Intell. 72(1-2): 73-89 (2014) - [j37]Ondrej Kridlo
Revising the link between L-Chu correspondences and completely lattice L-ordered sets. Ann. Math. Artif. Intell. 72(1-2): 91-113 (2014) - [j36]Inma P. Cabrera
On residuation in multilattices: Filters, congruences, and homomorphisms. Fuzzy Sets Syst. 234: 1-21 (2014) - [j35]Emilio Muñoz-Velasco
A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets Syst. 242: 114-131 (2014) - [j34]Juan Carlos Díaz-Moreno
On basic conditions to generate multi-adjoint concept lattices via Galois connections. Int. J. Gen. Syst. 43(2): 149-161 (2014) - [j33]Francisca García-Pardo
On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Inf. Sci. 286: 173-187 (2014) - [c78]Inma P. Cabrera, Manuel Ojeda-Aciego, Jozef Pócs:
Ordering Objects via Attribute Preferences. CLA 2014: 157-168 - [c77]Juan Carlos Díaz
New links between mathematical morphology and fuzzy property-oriented concept lattices. FUZZ-IEEE 2014: 599-603 - [c76]Francisca García-Pardo
On the Existence of Isotone Galois Connections between Preorders. ICFCA 2014: 67-79 - [c75]Francisca García-Pardo
Generating Isotone Galois Connections on an Unstructured Codomain. IPMU (3) 2014: 91-99 - [c74]Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego:
Revisiting Reductants in the Multi-adjoint Logic Programming Framework. JELIA 2014: 694-702 - [c73]Patrik Eklund, María Ángeles Galán García
Monadic Formal Concept Analysis. RSCTC 2014: 201-210 - [c72]Francisca García-Pardo
On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. RSCTC 2014: 211-221 - 2013
- [j32]Jesús Medina
Dual multi-adjoint concept lattices. Inf. Sci. 225: 47-54 (2013) - [c71]Ondrej Kridlo, Manuel Ojeda-Aciego:
CRL-Chu Correspondences. CLA 2013: 105-116 - [c70]Jan Konecny, Manuel Ojeda-Aciego:
Isotone L-bonds. CLA 2013: 153-162 - [c69]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Left-Minimal Direct Basis of implications. CLA 2013: 293-298 - [c68]Juan Carlos Díaz, Jesús Medina-Moreno, Manuel Ojeda-Aciego:
On minimal requirements to obtain fuzzy concept-forming operators. EUSFLAT Conf. 2013 - [c67]Nicolás Madrid
On the measure of incoherent information in extended multi-adjoint logic programs. FOCI 2013: 30-37 - [c66]Humberto Bustince, Nicolás Madrid
A measure of contradiction based on the notion of N-weak-contradiction. FUZZ-IEEE 2013: 1-6 - [c65]Jesús Medina-Moreno
Concept-Forming Operators on Multilattices. ICFCA 2013: 203-215 - [c64]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Bases via Minimal Generators. FCA4AI@IJCAI 2013: 33-36 - [c63]Francisca García-Pardo
On Galois Connections and Soft Computing. IWANN (2) 2013: 224-235 - [c62]Pascual Julián Iranzo
An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. IWANN (1) 2013: 647-655 - [e4]Manuel Ojeda-Aciego, Jan Outrata:
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013. CEUR Workshop Proceedings 1062, CEUR-WS.org 2013 [contents] - 2012
- [j31]Inma P. Cabrera
Finitary coalgebraic multisemilattices and multilattices. Appl. Math. Comput. 219(1): 31-44 (2012) - [j30]Jesús Medina
On multi-adjoint concept lattices based on heterogeneous conjunctors. Fuzzy Sets Syst. 208: 95-110 (2012) - [j29]Ondrej Kridlo
The Category of L-Chu Correspondences and the Structure of L-Bonds. Fundam. Informaticae 115(4): 297-325 (2012) - [j28]Nicolás Madrid
On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. 89(3): 310-324 (2012) - [c61]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Minimal Generators from Implications: a Logic-guided Approach. CLA 2012: 187-198 - [c60]Ondrej Kridlo, Manuel Ojeda-Aciego:
Linking L-Chu Correspondences and Completely Lattice L-ordered Sets. CLA 2012: 233-244 - [c59]Jan Konecny, Jesús Medina, Manuel Ojeda-Aciego:
Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept Lattices with Heterogeneous Conjunctors. CLA 2012: 245-256 - 2011
- [j27]Ondrej Kridlo
On L-fuzzy Chu correspondences. Int. J. Comput. Math. 88(9): 1808-1818 (2011) - [j26]Alfredo Burrieza
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19(1): 11-26 (2011) - [j25]Nicolás Madrid
Measuring Inconsistency in Fuzzy Answer Set Semantics. IEEE Trans. Fuzzy Syst. 19(4): 605-622 (2011) - [c58]Nicolás Madrid
On the use of fuzzy stable models for inconsistent classical logic programs. FOCI 2011: 115-121 - [c57]Pascual Julián
A Static Preprocess for Improving Fuzzy Thresholded Tabulation. IWANN (2) 2011: 429-436 - [c56]Inma P. Cabrera
Non-deterministic Algebraic Structures for Soft Computing. IWANN (2) 2011: 437-444 - [c55]Carlos Viegas Damásio
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. WILF 2011: 115-122 - [c54]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. M4M/LAMAS 2011: 1-2 - [e3]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
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. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents] - 2010
- [j24]Jesús Medina
Multi-adjoint t-concept lattices. Inf. Sci. 180(5): 712-725 (2010) - [j23]Inma P. Cabrera
A coalgebraic approach to non-determinism: Applications to multilattices. Inf. Sci. 180(22): 4323-4335 (2010) - [c53]Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego:
L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts. CLA 2010: 70-79 - [c52]Jesús Medina, Manuel Ojeda-Aciego:
Towards Attribute Reduction in Multi-adjoint Concept Lattices. CLA 2010: 92-103 - [c51]Nicolás Madrid
Measuring instability in normal residuated logic programs: Adding information. FUZZ-IEEE 2010: 1-7 - [c50]Nicolás Madrid
Measuring Instability in Normal Residuated Logic Programs: Discarding Information. IPMU (1) 2010: 128-137
2000 – 2009
- 2009
- [j22]Inma P. Cabrera
Congruence relations on some hyperstructures. Ann. Math. Artif. Intell. 56(3-4): 361-370 (2009) - [j21]Jesús Medina
Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst. 160(2): 130-144 (2009) - [j20]Inma P. Cabrera
Fuzzy congruence relations on nd-groupoids. Int. J. Comput. Math. 86(10&11): 1684-1695 (2009) - [j19]Alfredo Burrieza
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009) - [j18]Umberto Straccia
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. SIAM J. Comput. 38(5): 1881-1911 (2009) - [c49]Alfredo Burrieza
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80 - [c48]Jesús Medina, Manuel Ojeda-Aciego:
On the Representation Theorem of Multi-Adjoint Concept Lattices. IFSA/EUSFLAT Conf. 2009: 1091-1095 - [c47]Nicolás Madrid
On the measure of incoherence in extended residuated logic programs. FUZZ-IEEE 2009: 598-603 - [c46]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
On Congruences and Homomorphisms on Some Non-deterministic Algebras. IJCCI 2009: 59-67 - [c45]Inma P. Cabrera
Fuzzy Logic, Soft Computing, and Applications. IWANN (1) 2009: 236-244 - [c44]Nicolás Madrid
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. WILF 2009: 60-67 - 2008
- [j17]Jesús Medina
Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Appl. Math. Lett. 21(12): 1296-1300 (2008) - [j16]Manuel Ojeda-Aciego
Editorial. Fuzzy Sets Syst. 159(10): 1129-1130 (2008) - [c43]Nicolás Madrid
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Web Intelligence/IAT Workshops 2008: 260-264 - [c42]Alfredo Burrieza
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20 - [c41]Pascual Julián Iranzo
Thresholded Tabulation in a Fuzzy Logic Setting. PROLE 2008: 115-130 - 2007
- [j15]Jesús Medina
Fuzzy logic programming via multilattices. Fuzzy Sets Syst. 158(6): 674-688 (2007) - [j14]Patrik Eklund, Maria A. Galán, Jesús Medina
Powersets of terms and composite monads. Fuzzy Sets Syst. 158(23): 2552-2574 (2007) - [j13]Carlos Viegas Damásio
Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. 5(3): 435-458 (2007) - [c40]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219 - [c39]Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño:
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices. EUSFLAT Conf. (2) 2007: 209-212 - [c38]Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
On Multi-adjoint Concept Lattices: Definition and Representation Theorem. ICFCA 2007: 197-209 - [c37]Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
On Reachability of Minimal Models of Multilattice-Based Logic Programs. MICAI 2007: 271-282 - [c36]Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming. WILF 2007: 37-44 - 2006
- [c35]Carlos Viegas Damásio
A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. FUZZ-IEEE 2006: 2004-2011 - [p1]Alfredo Burrieza
Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124 - 2005
- [j12]Alfredo Burrieza, Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Informaticae 68(1-2): 21-46 (2005) - [c34]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378 - [c33]Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde:
A note on partially ordered generalized terms. EUSFLAT Conf. 2005: 793-796 - [c32]Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego:
Interval-Valued Neural Multi-adjoint Logic Programs. IWINAC (1) 2005: 518-527 - [c31]Jesús Medina
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. WILF 2005: 61-70 - 2004
- [j11]Patrik Eklund, Maria A. Galán, Jesús Medina
Similarities between powersets of terms. Fuzzy Sets Syst. 144(1): 213-225 (2004) - [j10]Jesús Medina
Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146(1): 43-62 (2004) - [j9]Jesús Medina
A neural implementation of multi-adjoint logic programming. J. Appl. Log. 2(3): 301-324 (2004) - [c30]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for Residuated Logic Programming. ECAI 2004: 808-812 - [c29]Jesús Medina, Enrique Mérida Casermeiro
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. IBERAMIA 2004: 717-726 - [c28]Carlos Viegas Damásio
Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265 - [c27]Manuel Ojeda-Aciego, Agustín Valverde:
tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741 - 2003
- [j8]Manuel Ojeda-Aciego, Peter Vojtás, Slawomir Zadrozny:
Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers]. Kybernetika 39(5): 509-510 (2003) - [c26]Alfredo Burrieza, Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75 - [c25]Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás:
Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617 - [c24]Jesús Medina, Manuel Ojeda-Aciego:
Homogenizing multi-adjoint logic programs. EUSFLAT Conf. 2003: 640-644 - [c23]Jesús Medina, Enrique Mérida Casermeiro
A Neural Approach to Extended Logic Programs. IWANN (1) 2003: 654-661 - 2002
- [j7]Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira:
Preface. Stud Logica 72(1): 3-5 (2002) - [j6]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica 72(1): 85-112 (2002) - [c22]Jesús Medina, Enrique Mérida Casermeiro
A Neural Approach to Abductive Multi-adjoint Reasoning. AIMSA 2002: 213-222 - [c21]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232 - [c20]Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
A Similarity-Based Unification Model for Flexible Querying. FQAS 2002: 263-273 - [c19]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171 - [c18]Jesús Medina, Enrique Mérida Casermeiro
Multi-adjoint Logic Programming: A Neural Net Approach. ICLP 2002: 468 - [c17]Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás:
Non-commutativity and Expressive Deductive Logic Databases. JELIA 2002: 149-160 - [c16]Patrik Eklund, Maria A. Galán, Jesús Medina
A categorical approach to unification of generalised terms. UNCL@ICALP 2002: 41-51 - [c15]Jesús Medina
A Multi-Adjoint Approach to Similarity-Based Unification. UNCL@ICALP 2002: 70-85 - [c14]Patrik Eklund, Manuel Ojeda-Aciego:
Preface. UNCL@ICALP 2002: 104-105 - [e2]Patrik Eklund, Manuel Ojeda-Aciego:
Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(5), Elsevier 2002 [contents] - 2001
- [j5]Gabriel Aguilera
Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001) - [c13]Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
A Procedural Semantics for Multi-adjoint Logic Programming. EPIA 2001: 290-297 - [c12]Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
Similarity-based unification: a multi-adjoint approach. EUSFLAT Conf. 2001: 273-276 - [c11]Jesús Medina
A Completeness Theorem for Multi-Adjoint Logic Programming. FUZZ-IEEE 2001: 1031-1034 - [c10]Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
A Multi-adjoint Logic Approach to Abductive Reasoning. ICLP 2001: 269-283 - [c9]Patrik Eklund, Maria A. Galán, Jesús Medina
Composing Submonads. ISMVL 2001: 367-372 - [c8]Jesús Medina
Multi-adjoint Logic Programming with Continuous Semantics. LPNMR 2001: 351-364 - 2000
- [c7]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192 - [c6]Patrik Eklund, Maria A. Galán, Jesús Medina
A graphical approach to monad compositions. MFCSIT 2000: 145-160 - [e1]Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, ISBN 3-540-41131-3 [contents]
1990 – 1999
- 1999
- [j4]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. 27(1-4): 3-23 (1999) - [c5]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Multiple-Valued Tableaux with delta-reductions. IC-AI 1999: 177-183 - 1998
- [j3]Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998) - [c4]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323 - 1996
- [c3]Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego:
Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566 - 1995
- [j2]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Informatica 32(1): 61-78 (1995) - [j1]Gabriel Aguilera
Increasing the efficiency of automated theorem proving. J. Appl. Non Class. Logics 5(1): 9-29 (1995) - 1994
- [c2]Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego:
TAS-D++ vs tablas semanticas. GULP-PRODE (2) 1994: 438-439 - [c1]Gabriel Aguilera
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. JELIA 1994: 198-216
Coauthor Index
Inma P. Cabrera
aka: Inmaculada P. Cabrera
aka: Inmaculada P. Cabrera
Inmaculada Perez de Guzmán
aka: Inman P. de Guzmán
aka: Inman P. de Guzmán
Ondrej Kridlo
aka: Ondrej Krídlo
aka: Ondrej Krídlo
Jesús Medina 0001
aka: Jesús Medina-Moreno
aka: Jesús Medina-Moreno
[e13] [j50] [e10] [e9] [e8] [j48] [j43] [j38] [j34] [c77] [c74] [j32] [c68] [c65] [c62] [j30] [c59] [c57] [j24] [c52] [j21] [c48] [j17] [c41] [j15] [j14] [j13] [c39] [c38] [c37] [c36] [c35] [c33] [c32] [c31] [j11] [j10] [j9] [c30] [c29] [c28] [c25] [c24] [c23] [c22] [c20] [c18] [c17] [c16] [c15] [c13] [c12] [c11] [c10] [c9] [c8] [c6]
Francisco J. Valverde-Albacete
aka: Francisco José Valverde Albacete
aka: Francisco José Valverde Albacete
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: