Journals

  1. Domingo López Rodríguez, Manuel Ojeda Hernández, Tim Pattison (2025) Systems of implications obtained using the Carve decomposition of a formal context. Knowledge-Based Systems , pages 113475..
  2. Francisco Rodríguez-Gómez, José del Campo-Ávila, Domingo López Rodríguez, Luis Pérez-Urrestarazu (2025) URSUS_UHI: URban SUStainability software for detection of unfavourable areas due to the Urban Heat Island effect. SoftwareX vol. 29 , pages 101997..
  3. Domingo López Rodríguez, Manuel Ojeda Hernández, Carlos Bejines (2025) New Simplification Rules for Databases with Positive and Negative Attributes. Mathematics vol. 13 (2), article number 309..
  4. Francisco Rodríguez-Gómez, José del Campo-Ávila, Luis Pérez-Urrestarazu, Domingo López Rodríguez (2025) URSUS_LST: URban SUStainability intelligent system for predicting the impact of urban green infrastructure on land surface temperatures. Environmental Modelling & Software vol. 186 , pages 106364..
  5. Hugo J. Bello, Manuel Ojeda Hernández, Domingo López Rodríguez, Carlos Bejines (2025) Fuzzy time series analysis: Expanding the scope with fuzzy numbers. International Journal of Approximate Reasoning vol. 180 , pages 109387..
  6. Manuel Ojeda Hernández, Domingo López Rodríguez, Ángel Mora (2024) A Formal Concept Analysis approach to hierarchical description of malware threats. Forensic Science International: Digital Investigation vol. 50 , pages 301797..
  7. Carlos Bejines, Manuel Ojeda Hernández, Domingo López Rodríguez (2024) Analysis of Fuzzy Vector Spaces as an Algebraic Framework for Flag Codes. Mathematics vol. 12 (3), article number 498..
  8. Francisco Javier Talavera, Carlos Bejines, Sergio Ardanza-Trevijano, Jorge Elorza (2024) Aggregation of fuzzy graphs. Int. J. Approx. Reason. vol. 172 , pages 109243..
  9. Nicolás Madrid, Manuel Ojeda-Aciego (2024) Approaching the square of opposition in terms of the \emph{f}-indexes of inclusion and contradiction. Fuzzy Sets Syst. vol. 476 , pages 108769..
  10. Inma P. Cabrera, Sébastien Ferré, Sergei Obiedkov (2024) Selected papers from the First International Joint Conference on Conceptual Knowledge Structures. Int. J. Approx. Reason. vol. 175 , pages 109303..
  11. Irina Perfilieva, Nicolás Madrid, Manuel Ojeda-Aciego, Piotr Artiemjew, Agnieszka Niemczynowicz (2024) A Critical Analysis of the Theoretical Framework of the Extreme Learning Machine. .
  12. Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez Gámez (2024) Attribute implications with unknown information based on weak Heyting algebras. Fuzzy Sets Syst. vol. 490 , pages 109026..
  13. Rosa María Maza-Quiroga, Karl Thurnhofer-Hemsi, Domingo López Rodríguez, Ezequiel López-Rubio (2023) Regression of the Rician Noise Level in 3D Magnetic Resonance Images from the Distribution of the First Significant Digit. Axioms, 12(12), 1117.
  14. Ondrej Krídlo, Domingo López Rodríguez, Lubomir Antoni, Peter Eliaš, Stanislav Krajči, Manuel Ojeda-Aciego (2023) Connecting concept lattices with bonds induced by external information. Information Sciences, vol. 648, november 2023, article 119498.
  15. Francisco Pérez Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora (2023) Simplification logic for the management of unknown information. Information Sciences, vol. 638, July 2023, pp 505--519.
  16. Manuel Ojeda Hernández, Domingo López Rodríguez, Pablo Cordero (2023) Fuzzy Algebras of Concepts. Axioms, 12(4), 324.
  17. Manuel Ojeda Hernández, Domingo López Rodríguez, Ángel Mora (2023) Lexicon-based sentiment analysis in texts using Formal Concept Analysis. International Journal of Approximate Reasoning, vol. 155, pp 104-112.
  18. Carlos Bejines, Manuel Ojeda Hernández (2023) Counting semicopulas on finite structures. Fuzzy Sets Syst. vol. 462 , pages 108405..
  19. Nicolás Madrid, Manuel Ojeda-Aciego (2023) The \emph{f}-index of inclusion as optimal adjoint pair for fuzzy modus ponens. Fuzzy Sets Syst. vol. 466 , pages 108474..
  20. Willem Conradie, Dario Della Monica, Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan (2023) Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets and Systems vol. 456 , pages 107-124..
  21. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2023) Fuzzy closure structures as formal concepts II. Fuzzy Sets Syst. 473: 108734.
  22. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2023) Fuzzy closure structures as formal concepts. Fuzzy Sets Syst. 463: 108458.
  23. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets (2023) Fuzzy relational Galois connections between fuzzy transitive digraphs. Fuzzy Sets Syst. 463: 108456.
  24. Francisco Rodríguez-Gómez, Rafael Fernández-Cañero, Gabriel Pérez, José del Campo-Ávila, Domingo López Rodríguez, Luis Pérez-Urrestarazu (2022) Detection of unfavourable urban areas with higher temperatures and lack of green spaces using satellite imagery in sixteen Spanish cities. Urban Forestry & Urban Greening, vol. 78, 127783.
  25. Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora (2022) fcaR, Formal Concept Analysis with R. The R Journal.
  26. Manuel Ojeda Hernández, Francisco Pérez Gámez, Domingo López Rodríguez, Nicolás Madrid, Ángel Mora (2022) Minimal Generators from Positive and Negative Attributes: Analysing the Knowledge Space of a Mathematics Course. International Journal of Computational Intelligence Systems, 15:58.
  27. Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil (2022) Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE Transactions on Fuzzy Systems vol 30 (12), 5534 - 5543.
  28. Francisco Pérez Gámez, Domingo López Rodríguez, Pablo Cordero, Ángel Mora, Manuel Ojeda-Aciego (2022) Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach. Mathematics, 10(4) 607.
  29. Carlos Bejines (2022) T-norms and t-conorms on a family of lattices. Fuzzy Sets Syst. vol. 439 , pages 55--74..
  30. Carlos Bejines, Mirko Navara (2022) The Fibonacci sequence in the description of maximal discrete Archimedean t-norms. Fuzzy Sets Syst. vol. 451 , pages 94--112..
  31. Carlos Bejines, Sergio Ardanza-Trevijano, María Jesús Chasco, Jorge Elorza (2022) Aggregation of indistinguishability operators. Fuzzy Sets Syst. vol. 446 , pages 53--67..
  32. Ondrej Krídlo, Manuel Ojeda-Aciego (2022) Classifying Adjoint Pairs and Adjoint Triples in an Atanassov {\textdollar}L{\textdollar}-Fuzzy Framework. {IEEE} Trans. Fuzzy Syst. vol. 30 (3), pages 863--868..
  33. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2022) Fuzzy closure relations. Fuzzy Sets and Systems vol. 450 , pages 118 -- 132..
  34. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero (2022) Quasi-closed elements in fuzzy posets. J. Comput. Appl. Math. 404: 113390.
  35. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2022) Fuzzy closure systems: Motivation, definition and properties. International Journal of Approximate Reasoning vol. 148 , pages 151 – 161..
  36. Manuel Ojeda-Aciego, José Manuel Rodríguez-Jiménez (2021) Formal concept analysis with negative attributes for forgery detection. .
  37. Carlos Bejines, Michaela Brutenicová, María Jesús Chasco, Jorge Elorza, Vladimír Janis (2021) The number of t-norms on some special lattices. Fuzzy Sets Syst. vol. 408 , pages 26--43..
  38. Carlos Bejines, María Jesús Chasco, Jorge Elorza (2021) Aggregation of fuzzy subgroups. Fuzzy Sets Syst. vol. 418 , pages 170--184..
  39. Nicolás Madrid, Manuel Ojeda-Aciego (2021) Multi-adjoint lattices from adjoint triples with involutive negation. Fuzzy Sets Syst. vol. 405 , pages 88--105..
  40. Carlos Bejines, Sergio Ardanza-Trevijano, Jorge Elorza (2021) On Self-Aggregations of Min-Subgroups. Axioms vol. 10 (3), pages 201..
  41. Nicolás Madrid, Manuel Ojeda-Aciego (2021) Measures of inclusion and entropy based on the \emph{{\(\varphi\)}}-index of inclusion. Fuzzy Sets Syst. vol. 423 , pages 29--54..
  42. Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora (2020) A conversational recommender system for diagnosis using fuzzy rules. Expert Systems with Applications, volume 154, 2020.
  43. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi (2020) A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. International Journal of Computational Intelligence Systems, 13 (1), pp. 1243 - 1252.
  44. Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil (2020) Parameterized simplification logic I: reasoning with implications and classes of closure operators. International Journal of General Systems vol 49 (7), pp. 724 -- 746.
  45. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2020) A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Log. J. {IGPL} vol. 28 (1), pages 121--133..
  46. Nicolás Madrid, Manuel Ojeda-Aciego (2020) Functional degrees of inclusion and similarity between \emph{L}-fuzzy sets. Fuzzy Sets Syst. vol. 390 , pages 1--22..
  47. Nicolás Madrid, Manuel Ojeda-Aciego (2020) On Contradiction and Inclusion Using Functional Degrees. Int. J. Comput. Intell. Syst. vol. 13 (1), pages 464--471..
  48. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets (2020) Relational Galois connections between transitive digraphs: Characterization and construction. Information Sciences vol. 519 , pages 439 – 450..
  49. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets (2020) Relational Galois connections between transitive fuzzy digraphs. Mathematical Methods in the Applied Sciences vol. 43 (9), pages 5673 – 5680..
  50. Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora (2019) Minimal generators, an affordable approach by means of massive computation. J. Supercomput. vol. 75 (3), pages 1350--1367..
  51. Nicolás Madrid, Manuel Ojeda-Aciego, Jesús Medina, Irina Perfilieva (2019) \emph{L}-fuzzy relational mathematical morphology based on adjoint triples. Inf. Sci. vol. 474 , pages 75--89..
  52. Carlos Bejines, María Jesús Chasco, Jorge Elorza, Jordi Recasens (2019) Preserving fuzzy subgroups and indistinguishability operators. Fuzzy Sets Syst. vol. 373 , pages 164--179..
  53. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2019) A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Logic Journal of the IGPL vol. 28 (1), pages 121-133..
  54. Przemyslaw Andrzej Walega, Emilio Muñoz Velasco (2019) A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. J. Multiple Valued Log. Soft Comput. vol. 32 (3-4), pages 221--239..
  55. Emilio Muñoz Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan (2019) On coarser interval temporal logics. Artificial Intelligence vol. 266 , pages 1-26..
  56. Francisco Javier López-González, José Paredes-Pacheco, Karl Thurnhofer-Hemsi, Carlos Rossi, Manuel Enciso, Daniel Toro-Flores, Belén Murcia-Casas, Antonio L. Gutiérrez-Cardo, Núria Roé-Vellvé (2019) QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for {PET} Kinetic Analysis. Neuroinformatics vol. 17 (1), pages 103--114..
  57. J. Pérez, A. Rodríguez, J.F. Chico, Domingo López Rodríguez, M. Ujaldón (2018) Energy-aware acceleration on GPUs: Findings on a bioinformatics benchmark. Sustainable Computing: Informatics and Systems vol. 20, pp. 88 -- 101.
  58. Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora (2018) Direct-optimal basis computation by means of the fusion of simplification rules. Discrete Applied Mathematics 249, pp. 106 - 119.
  59. Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora (2018) Minimal generators, an affordable approach by means of massive computation. the Journal of Supercomputing vol. 75, pp. 1350–1367.
  60. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets (2018) Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure. {IEEE} Trans. Fuzzy Syst. vol. 26 (3), pages 1274--1287..
  61. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2018) On Sub-Propositional Fragments of Modal Logic. .
  62. Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora (2017) Formation of the D-basis from implicational systems using Simplification logic. Int. J. Gen. Syst. vol. 46 (5), pages 547--568..
  63. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets (2017) On the construction of adjunctions between a fuzzy preposet and an unstructured set. Fuzzy Sets Syst. vol. 320 , pages 81--92..
  64. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2017) A multimodal logic for closeness. J. Appl. Non Class. Logics vol. 27 (3-4), pages 225--237..
  65. Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora (2017) An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Int. J. Intell. Syst. vol. 32 (8), pages 760--777..
  66. Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora (2017) Reducing the search space by closure and simplification paradigms. J. Supercomput. vol. 73 (1), pages 75--87..
  67. Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora (2017) Canonical dichotomous direct bases. Inf. Sci. vol. 376 , pages 39--53..
  68. Davide Bresolin, Agi Kurucz, Emilio Muñoz Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev (2017) Horn Fragments of the Halpern-Shoham Interval Temporal Logic. {ACM} Trans. Comput. Log. vol. 18 (3), pages 22:1--22:39..
  69. L. Jezková, Pablo Cordero, Manuel Enciso (2017) Fuzzy functional dependencies: {A} comparative survey. Fuzzy Sets Syst. vol. 317 , pages 88--120..
  70. Humberto Bustince, Susana Montes, Manuel Ojeda-Aciego (2017) Fuzzy Mathematical Models for Computer Science and Decision Making. Int. J. Uncertain. Fuzziness Knowl. Based Syst. vol. 25 (Supplement-1), pages 1--4..
  71. Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego (2017) On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. vol. 317 , pages 27--43..
  72. L'ubomír Antoni, Inma P. Cabrera, Stanislav Krajci, Ondrej Kridlo, Manuel Ojeda-Aciego (2017) The Chu construction and generalized formal concept analysis. Int. J. Gen. Syst. vol. 46 (5), pages 458--474..
  73. Davide Bresolin, Agi Kurucz, Emilio Muñoz Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev (2016) Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). .
  74. Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora (2016) Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. vol. 17 , pages 14--24..
  75. Jesús Medina-Moreno, Manuel Ojeda-Aciego, Jozef Pócs, Eloísa Ramírez-Poussa (2016) On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Fuzzy Sets Syst. vol. 303 , pages 1--20..
  76. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2016) On Sub-Propositional Fragments of Modal Logic. .
  77. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph (2016) Concept lattices with negative information: {A} characterization theorem. Inf. Sci. vol. 369 , pages 51--62..
  78. Jan Konecny, Manuel Ojeda-Aciego (2016) On homogeneous \emph{L}-bonds and heterogeneous \emph{L}-bonds. Int. J. Gen. Syst. vol. 45 (2), pages 160--186..
  79. Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil (2016) Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reason. vol. 70 , pages 51--67..
  80. Manuel Ojeda-Aciego, Jan Outrata (2016) Concept lattices and their applications. Int. J. Gen. Syst. vol. 45 (2), pages 55--56..
  81. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi (2015) Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. vol. 87 , pages 16--25..
  82. Joanna Golinska-Pilarek, Emilio Muñoz Velasco (2015) A hybrid qualitative approach for relative movements. Log. J. {IGPL} vol. 23 (3), pages 410--420..
  83. Humberto Bustince, Nicolás Madrid, Manuel Ojeda-Aciego (2015) The Notion of Weak-Contradiction: Definition and Measures. {IEEE} Trans. Fuzzy Syst. vol. 23 (4), pages 1057--1069..
  84. Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz Velasco (2014) Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Log. vol. 165 (2), pages 409--427..
  85. Emilio Muñoz Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego (2014) A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets Syst. vol. 242 , pages 114--131..
  86. Ondrej Kridlo, Manuel Ojeda-Aciego (2014) Revising the link between L-Chu correspondences and completely lattice L-ordered sets. Ann. Math. Artif. Intell. vol. 72 (1-2), pages 91--113..
  87. Juan Carlos Díaz-Moreno, Jesús Medina, Manuel Ojeda-Aciego (2014) On basic conditions to generate multi-adjoint concept lattices via Galois connections. Int. J. Gen. Syst. vol. 43 (2), pages 149--161..
  88. Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán (2014) A tableaux-like method to infer all minimal keys. Log. J. {IGPL} vol. 22 (6), pages 1019--1044..
  89. Jan Konecny, Jesús Medina, Manuel Ojeda-Aciego (2014) Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Ann. Math. Artif. Intell. vol. 72 (1-2), pages 73--89..
  90. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2014) On residuation in multilattices: Filters, congruences, and homomorphisms. Fuzzy Sets Syst. vol. 234 , pages 1--21..
  91. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez (2014) On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Inf. Sci. vol. 286 , pages 173--187..
  92. Jesús Medina, Manuel Ojeda-Aciego (2013) Dual multi-adjoint concept lattices. Inf. Sci. vol. 225 , pages 47--54..
  93. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2012) Finitary coalgebraic multisemilattices and multilattices. Appl. Math. Comput. vol. 219 (1), pages 31--44..
  94. Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera (2012) Closure via functional dependence simplification. Int. J. Comput. Math. vol. 89 (4), pages 510--526..
  95. Jesús Medina, Manuel Ojeda-Aciego (2012) On multi-adjoint concept lattices based on heterogeneous conjunctors. Fuzzy Sets Syst. vol. 208 , pages 95--110..
  96. Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego (2012) The Category of L-Chu Correspondences and the Structure of L-Bonds. Fundam. Informaticae vol. 115 (4), pages 297--325..
  97. Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Angel Mora-Bonilla (2012) Relational dual tableau decision procedure for modal logic {K}. Log. J. {IGPL} vol. 20 (4), pages 747--756..
  98. Nicolás Madrid, Manuel Ojeda-Aciego (2012) On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. vol. 89 (3), pages 310--324..
  99. Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora (2011) A new deduction system for deciding validity in modal logic {K}. Log. J. {IGPL} vol. 19 (2), pages 425--434..
  100. Nicolás Madrid, Manuel Ojeda-Aciego (2011) Measuring Inconsistency in Fuzzy Answer Set Semantics. {IEEE} Trans. Fuzzy Syst. vol. 19 (4), pages 605--622..
  101. Ondrej Kridlo, Manuel Ojeda-Aciego (2011) On \emph{L}-fuzzy Chu correspondences. Int. J. Comput. Math. vol. 88 (9), pages 1808--1818..
  102. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2011) A {PDL} Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. vol. 19 (1), pages 11--26..
  103. Ángel Mora, Emilio Muñoz Velasco, Joanna Golinska-Pilarek (2011) Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. vol. 88 (9), pages 1869--1884..
  104. Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero (2011) Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. vol. 88 (9), pages 1860--1868..
  105. Gloria Galán Marín, Domingo López Rodríguez, Enrique Mérida Casermeiro (2010) A New Multivalued Neural Network for Isomorphism Identification of Kinematic Chains. Journal of Computing and Information Science in Engineering 10(1) .
  106. Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz Velasco (2010) Analyzing completeness of axiomatic functional systems for temporal {\texttimes} modal logics. Math. Log. Q. vol. 56 (1), pages 89--102..
  107. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2010) A coalgebraic approach to non-determinism: Applications to multilattices. Inf. Sci. vol. 180 (22), pages 4323--4335..
  108. Jesús Medina, Manuel Ojeda-Aciego (2010) Multi-adjoint t-concept lattices. Inf. Sci. vol. 180 (5), pages 712--725..
  109. Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, Domingo López Rodríguez (2009) Probabilistic PCA self-organizing maps. IEEE Transactions on Neural Networks vol 20 (9), 1474-1489.
  110. Joanna Golinska-Pilarek, Emilio Muñoz Velasco (2009) Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Log. J. {IGPL} vol. 17 (4), pages 375--394..
  111. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2009) Congruence relations on some hyperstructures. Ann. Math. Artif. Intell. vol. 56 (3-4), pages 361--370..
  112. Joanna Golinska-Pilarek, Emilio Muñoz Velasco (2009) Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math. vol. 86 (10{\&}11), pages 1707--1718..
  113. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2009) Fuzzy congruence relations on nd-groupoids. Int. J. Comput. Math. vol. 86 (10{\&}11), pages 1684--1695..
  114. Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco (2009) Functional systems in the context of temporal{\texttimes}modal logics with indexed flows. Int. J. Comput. Math. vol. 86 (10{\&}11), pages 1696--1706..
  115. Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio (2009) On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. {SIAM} J. Comput. vol. 38 (5), pages 1881--1911..
  116. Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska (2009) An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. vol. 86 (10{\&}11), pages 1852--1866..
  117. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2009) Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst. vol. 160 (2), pages 130--144..
  118. Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek (2008) Editorial. Fuzzy Sets Syst. vol. 159 (10), pages 1129--1130..
  119. Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco (2008) Generalization of some properties of relations in the context of functional temporal{\texttimes}modal logic. Int. J. Comput. Math. vol. 85 (3{\&}4), pages 371--383..
  120. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2008) Relating generalized concept lattices and concept lattices for non-commutative conjunctors. Appl. Math. Lett. vol. 21 (12), pages 1296--1300..
  121. Pablo Cordero, Ángel Mora, Inma P. de Guzmán, Manuel Enciso (2008) Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. vol. 156 (6), pages 911--923..
  122. Gloria Gálan-Marín, Enrique Mérida-Casermeiro, Domingo López Rodríguez (2007) Improving neural networks for mechanism kinematic chain isomorphism identification. Neural Processing Letters vol 26 (2), 133-143.
  123. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2007) Fuzzy logic programming via multilattices. Fuzzy Sets Syst. vol. 158 (6), pages 674--688..
  124. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego (2007) Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. vol. 5 (3), pages 435--458..
  125. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2007) Powersets of terms and composite monads. Fuzzy Sets Syst. vol. 158 (23), pages 2552--2574..
  126. Domingo López Rodríguez, E. Mérida-Casermeiro, J.M. Ortiz-de-Lazcano-Lobato (2007) Stochastic multivalued network for optimization. Application to the graph MaxCut problem. WSEAS Transactions on Mathematics, (6), 3, pp. 500-505.
  127. Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán (2006) A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artif. vol. 10 (31), pages 31--40..
  128. Alfredo Burrieza, Manuel Ojeda-Aciego (2005) A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Informaticae vol. 68 (1-2), pages 21--46..
  129. Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero (2005) Generalizations of lattices via non-deterministic operators. Discret. Math. vol. 295 (1-3), pages 107--141..
  130. Domingo López Rodríguez, Carlos Criado (2004) A Pedagogical Simulation of Maxwell's Demon. Journal of Chemical Education, 81(11), pp. 1679.
  131. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2004) Similarities between powersets of terms. Fuzzy Sets Syst. vol. 144 (1), pages 213--225..
  132. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2004) Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. vol. 146 (1), pages 43--62..
  133. Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán (2004) Formalization of {UML} state machines using temporal logic. Softw. Syst. Model. vol. 3 (1), pages 31--54..
  134. Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi (2004) Una forma normal temporal independiente del m{\'{e}}todo de deducci{\'{o}}n. Inteligencia Artif. vol. 8 (23), pages 27--45..
  135. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2004) A neural implementation of multi-adjoint logic programming. J. Appl. Log. vol. 2 (3), pages 301--324..
  136. Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán (2004) A New Algebraic Tool for Automatic Theorem Provers. Ann. Math. Artif. Intell. vol. 42 (4), pages 369--398..
  137. Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inma P. de Guzmán (2003) Restricted ideals and the groupability property. Tools for temporal reasoning. Kybernetika vol. 39 (5), pages 521--546..
  138. Manuel Ojeda-Aciego, Peter Vojtás, Slawomir Zadrozny (2003) Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers]. Kybernetika vol. 39 (5), pages 509--510..
  139. Pablo Cordero, Manuel Enciso, Inma P. de Guzmán (2002) From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports Math. Log. vol. 36 , pages 3--53..
  140. Gloria Gutiérrez, Inma P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde (2002) Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica vol. 72 (1), pages 85--112..
  141. Manuel Ojeda-Aciego, Gerhard Brewka, Inma P. de Guzmán, Luís Moniz Pereira (2002) Preface. Stud Logica vol. 72 (1), pages 3--5..
  142. Pablo Cordero, Manuel Enciso, Inma P. de Guzmán (2002) Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica vol. 38 (9), pages 599--619..
  143. Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (2001) Reductions for non-clausal theorem proving. Theor. Comput. Sci. vol. 266 (1-2), pages 81--112..
  144. Inma P. de Guzmán, Manuel Enciso, Pablo Cordero (2000) A temporal negative normal form which preserves implicants and implicates. J. Appl. Non Class. Logics vol. 10 (3-4), pages 243--272..
  145. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (1999) Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. vol. 27 (1-4), pages 3--23..
  146. Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (1998) Reducing signed propositional formulas. Soft Comput. vol. 2 (4), pages 157--166..
  147. Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego (1995) Increasing the efficiency of automated theorem proving. J. Appl. Non Class. Logics vol. 5 (1), pages 9--29..
  148. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (1995) A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Informatica vol. 32 (1), pages 61--78..
No matching items

Conference papers

  1. Carlos Bejines, Domingo López Rodríguez, Manuel Ojeda Hernández (2023) Aggregation Functions and Extent Structure Preservation in Formal Concept Analysis. International Conference on Conceptual Structures, LNCS 14133, pp. 28--35,.
  2. Willem Conradie, Riccardo Monego, Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan (2023) A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. 30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece , LIPIcs vol. 278, pages 9:1--9:14..
  3. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2023) On Pseudointents in Fuzzy Formal Concept Analysis. 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 vol. 14133, pages 36--40..
  4. Tommaso Flaminio, Lluís Godo, Nicolás Madrid, Manuel Ojeda-Aciego (2023) A Logic to Reason About f-Indices of Inclusion over {\L}\({}_{\mbox{n}}\). Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, {EUSFLAT} 2023, and 12th International Summer School on Aggregation Operators, {AGOP} 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings , Lecture Notes in Computer Science vol. 14069, pages 530--539..
  5. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2023) On the Commutative Diagrams Among Galois Connections Involved in Closure Structures. Formal Concept Analysis - 17th International Conference, {ICFCA} 2023, Kassel, Germany, July 17-21, 2023, Proceedings , Lecture Notes in Computer Science vol. 13934, pages 49--63..
  6. Angel Mora Bonilla, Domingo López Rodríguez, Manuel Enciso, Pablo Cordero (2022) Knowledge Discovery in Malware Datasets using Formal Concept Analysis. 14th European Symposium on Computational Intelligence and Mathematics.
  7. Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Angel Mora (2022) Computing the Mixed Concept Lattice. International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems.
  8. Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora, Pablo Cordero (2022) Mining Fuzzy Concept Lattices. the 22nd International Conference on Computational and Mathematical Methods in Science and Engineering 2022.
  9. Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora (2022) fcaR, Spreading FCA to the Data Science World. Workshop on Existing Tools and Applications for Formal Context Analysis 2022.
  10. Domingo López-Rodríguez, Ángel Mora, Manuel Ojeda-Hernández (2022) Revisiting Algorithms for Fuzzy Concept Lattices. the 16th International Conference on Concept Lattices and Applications 2022.
  11. Clara Jiménez Valverde, Rosa María Maza Quiroga, Domingo López-Rodríguez, Karl Thurnhofer-Hemsi, Ezequiel López Rubio, Rafael Marcos Luque Baena (2022) Analysis of Functional Connectome Pipelines for the Diagnosis of Autism Spectrum Disorders. 9th International Work-Conference on the Interplay Between Natural and Artificial Computation.
  12. Francisco Pérez Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego (2022) Partial formal contexts with degrees. Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications {(CLA} 2022) Tallinn, Estonia, June 20-22, 2022., Tallinn, Estonia, June 20-22, 2022 , {CEUR} Workshop Proceedings vol. 3308, pages 35--44..
  13. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2022) Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection. Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications {(CLA} 2022) Tallinn, Estonia, June 20-22, 2022., Tallinn, Estonia, June 20-22, 2022 , {CEUR} Workshop Proceedings vol. 3308, pages 9--18..
  14. Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso (2022) On Modal Logic Association Rule Mining. Proceedings of the 23rd Italian Conference on Theoretical Computer Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022 , {CEUR} Workshop Proceedings vol. 3284, pages 53--65..
  15. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2022) Relational Extension of Closure Structures. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, {IPMU} 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part {I} , Communications in Computer and Information Science vol. 1601, pages 77--86..
  16. Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2022) On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm. Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications {(CLA} 2022) Tallinn, Estonia, June 20-22, 2022., Tallinn, Estonia, June 20-22, 2022 , {CEUR} Workshop Proceedings vol. 3308, pages 93--104..
  17. Francisco José Valverde Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2022) Encoding Non-global Time Representations into the Lattice of Divisibility. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, {IPMU} 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part {I} , Communications in Computer and Information Science vol. 1601, pages 118--129..
  18. Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2022) Can {FCA} Provide a Framework for Artificial General Intelligence?. Proceedings of the 10th International Workshop "What can {FCA} do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence {(IJCAI-ECAI} 2022), Vienna, Austria, July 23, 2022 , {CEUR} Workshop Proceedings vol. 3233, pages 35--40..
  19. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets (2022) On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, {IPMU} 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part {I} , Communications in Computer and Information Science vol. 1601, pages 100--106..
  20. Rosa Maza-Quiroga, Karl Thurnhofer-Hemsi, Domingo López-Rodríguez, Ezequiel López-Rubio (2021) Rician noise estimation for 3D Magnetic Resonance Images based on Benford's Law. 24th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) 2021.
  21. P. Cordero, M. Enciso, Domingo López-Rodríguez, A. Mora (2021) Topic Modelling in Social Networks with Formal Concept Analysis. International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE) 2021.
  22. Manuel Ojeda-Hernández, Francisco Pérez-Gámez, Ángel Mora Bonilla, Domingo López-Rodríguez (2021) Using Logic to Determine Key Items in Math Education. IADIS International Conference e-Learning 2021 (part of MCCSIS 2021).
  23. Domingo López-Rodríguez, P. Cordero, M. Enciso, A. Mora (2021) Clustering and identification of core implications. International Conference on Formal Concept Analysis (ICFCA) 2021.
  24. Domingo López-Rodríguez, P. Cordero, M. Enciso, A. Mora (2021) How to provide light to COVID data by means of FCA. RealDataFCA Workshop, jointly with International Conference on Formal Concept Analysis (ICFCA) 2021.
  25. Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco (2021) On (fuzzy) closure systems in complete fuzzy lattices. 30th {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2021, Luxembourg, July 11-14, 2021 , pages 1--6..
  26. Francisco Pérez Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora (2021) A New Kind of Implication to Reason with Unknown Information. Formal Concept Analysis - 16th International Conference, {ICFCA} 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings , Lecture Notes in Computer Science vol. 12733, pages 74--90..
  27. Francisco Pérez-Gámez, Manuel Ojeda-Hernández, Ángel Mora Bonilla, Domingo López-Rodríguez, Nicolas Madrid (2020) Using Formal Concept Analysis to Explore Hidden Knowledge in the Assessment of a Math Course. IADIS International Conference e-Learning 2020 (part of MCCSIS 2020).
  28. Willem Conradie, Dario Della Monica, Emilio Muñoz Velasco, Guido Sciavicco (2020) An Approach to Fuzzy Modal Logic of Time Intervals. {ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020) , Frontiers in Artificial Intelligence and Applications vol. 325, pages 696--703..
  29. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2020) Galois Connections Between Unbalanced Structures in a Fuzzy Framework. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU} 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {III} , Communications in Computer and Information Science vol. 1239, pages 736--747..
  30. Willem Conradie, Dario Della Monica, Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan (2020) Time Series Checking with Fuzzy Interval Temporal Logics. Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020 , {CEUR} Workshop Proceedings vol. 2756, pages 250--262..
  31. Nicolás Madrid, Manuel Ojeda-Aciego (2020) New Measures of Inclusion Between Fuzzy Sets in Terms of the {\(\varphi\)}-Index of Inclusion. {ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020) , Frontiers in Artificial Intelligence and Applications vol. 325, pages 2616--2623..
  32. Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2020) Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis. Proceedings of the Fifthteenth International Conference on Concept Lattices and Their Applications, Tallinn, Estonia, June 29-July 1, 2020 , {CEUR} Workshop Proceedings vol. 2668, pages 171--183..
  33. P. Cordero, M. Enciso, Domingo López-Rodríguez, A. Mora (2019) Recommendations in CDSS using Fuzzy Formal Concept Analysis. International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE) 2019.
  34. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2019) Towards fuzzy relational Galois connections between fuzzy T-digraphs. .
  35. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2019) A Relational Extension of Galois Connections. Formal Concept Analysis - 15th International Conference, {ICFCA} 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings , Lecture Notes in Computer Science vol. 11511, pages 290--303..
  36. Estrella Lucena-Sánchez, Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari (2019) Towards Interval Temporal Logic Rule-Based Classification. Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 , {CEUR} Workshop Proceedings vol. 2509, pages 65--70..
  37. Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González (2019) An Approach to Visualize Implications. Supplementary Proceedings of {ICFCA} 2019 Conference and Workshops, Frankfurt, Germany, June 25-28, 2019 , {CEUR} Workshop Proceedings vol. 2378, pages 113--124..
  38. Pablo Cordero, Inmaculada Fortes, Inma P. de Guzmán, Sixto Sánchez (2019) Simplifying Inductive Schemes in Temporal Logic. 26th International Symposium on Temporal Representation and Reasoning, {TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain , LIPIcs vol. 147, pages 19:1--19:13..
  39. Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego (2019) Formal Equivalence Analysis. .
  40. Ondrej Kridlo, Manuel Ojeda-Aciego (2018) Formal Concept Analysis and Structures Underlying Quantum Logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, {IPMU} 2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {I} , Communications in Computer and Information Science vol. 853, pages 574--584..
  41. Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2018) Formal Independence Analysis. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, {IPMU} 2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {I} , Communications in Computer and Information Science vol. 853, pages 596--608..
  42. Pablo Cordero, Manuel Enciso, Ángel Mora (2018) Directness in Fuzzy Formal Concept Analysis. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, {IPMU} 2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {I} , Communications in Computer and Information Science vol. 853, pages 585--595..
  43. Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz Velasco, Guido Sciavicco (2018) Extracting Interval Temporal Logic Rules: {A} First Approach. 25th International Symposium on Temporal Representation and Reasoning, {TIME} 2018, Warsaw, Poland, October 15-17, 2018 , LIPIcs vol. 120, pages 7:1--7:15..
  44. Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes (2018) Equivalence Relations on Fuzzy Subgroups. Advances in Artificial Intelligence - 18th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2018, Granada, Spain, October 23-26, 2018, Proceedings , Lecture Notes in Computer Science vol. 11160, pages 143--153..
  45. Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil (2018) Towards Simplification Logic for Graded Attribute Implications with General Semantics. Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, {CLA} 2018, Olomouc, Czech Republic, June 12-14, 2018 , {CEUR} Workshop Proceedings vol. 2123, pages 129--140..
  46. Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2018) A Data Analysis Application of Formal Independence Analysis. Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, {CLA} 2018, Olomouc, Czech Republic, June 12-14, 2018 , {CEUR} Workshop Proceedings vol. 2123, pages 117--128..
  47. Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan (2017) Implementation of a Tableau-based Satisfiability Checker for {HS3}. Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017 , {CEUR} Workshop Proceedings vol. 1949, pages 326--340..
  48. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2017) Relational fuzzy Galois connections. Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, {IFSA-SCIS} 2017, Otsu, Japan, June 27-30, 2017 , pages 1--6..
  49. Ondrej Kridlo, Manuel Ojeda-Aciego (2017) Towards intuitionistic L-fuzzy formal t-concepts. Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, {IFSA-SCIS} 2017, Otsu, Japan, June 27-30, 2017 , pages 1--6..
  50. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2017) Towards relational fuzzy adjunctions. 2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2017, Naples, Italy, July 9-12, 2017 , pages 1--5..
  51. Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes (2017) On the Preservation of an Equivalence Relation Between Fuzzy Subgroups. Advances in Fuzzy Logic and Technology 2017 - Proceedings of: {EUSFLAT-2017} - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017 - The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 1 , Advances in Intelligent Systems and Computing vol. 641, pages 159--167..
  52. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2017) Galois connections in computational intelligence: {A} short survey. 2017 {IEEE} Symposium Series on Computational Intelligence, {SSCI} 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017 , pages 1--7..
  53. Nicolás Madrid, Manuel Ojeda-Aciego (2017) Modelling fuzzy partitions with fuzzy answer sets. 2017 {IEEE} Symposium Series on Computational Intelligence, {SSCI} 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017 , pages 1--8..
  54. Ondrej Kridlo, Manuel Ojeda-Aciego (2017) Extending formal concept analysis using intuitionistic l-fuzzy sets. 2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2017, Naples, Italy, July 9-12, 2017 , pages 1--6..
  55. Nicolás Madrid, Manuel Ojeda-Aciego (2017) A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion. Scalable Uncertainty Management - 11th International Conference, {SUM} 2017, Granada, Spain, October 4-6, 2017, Proceedings , Lecture Notes in Computer Science vol. 10564, pages 307--318..
  56. Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes (2017) Some Results About Fuzzy Consequence Operators and Fuzzy Preorders Using Conjunctors. Aggregation Functions in Theory and in Practice, 9th International Summer School on Aggregation Functions, Sk{\"{o}}vde, Sweden, 19-22 June 2017 , Advances in Intelligent Systems and Computing vol. 581, pages 253--262..
  57. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2017) Fast(er) Reasoning in Interval Temporal Logic. 26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden , LIPIcs vol. 82, pages 17:1--17:17..
  58. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2016) On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016 , {EPTCS} vol. 226, pages 91--104..
  59. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2016) On the Complexity of Fragments of Horn Modal Logics. 23rd International Symposium on Temporal Representation and Reasoning, {TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016 , pages 186--195..
  60. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2016) A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. Hybrid Artificial Intelligent Systems - 11th International Conference, {HAIS} 2016, Seville, Spain, April 18-20, 2016, Proceedings , Lecture Notes in Computer Science vol. 9648, pages 721--729..
  61. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2016) On fuzzy relations, adjunctions, and functional fuzzy relations. 2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI} 2016, Athens, Greece, December 6-9, 2016 , pages 1--7..
  62. Ondrej Kridlo, Manuel Ojeda-Aciego (2016) Towards a Sequent Calculus for Formal Contexts. Proceedings of the 5th International Workshop "What can {FCA} do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016 , {CEUR} Workshop Proceedings vol. 1703, pages 17--24..
  63. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets (2016) On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures. Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, Moscow, Russia, July 18-22, 2016 , {CEUR} Workshop Proceedings vol. 1624, pages 97--108..
  64. Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora (2016) {CAISL:} Simplification Logic for Conditional Attribute Implications. Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, Moscow, Russia, July 18-22, 2016 , {CEUR} Workshop Proceedings vol. 1624, pages 337--348..
  65. Angelo Montanari, Emilio Muñoz Velasco, Guido Sciavicco (2015) Undecidability of Chop. 22nd International Symposium on Temporal Representation and Reasoning, {TIME} 2015, Kassel, Germany, September 23-25, 2015 , pages 79--89..
  66. Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora (2015) From an Implicational System to its Corresponding D-basis. Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, Clermont-Ferrand, France, October 13-16, 2015 , {CEUR} Workshop Proceedings vol. 1466, pages 217--228..
  67. Nicolás Madrid, Manuel Ojeda-Aciego, Irina Perfilieva (2015) {\(f\)}-inclusion indexes between fuzzy sets. .
  68. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2015) On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. Formal Concept Analysis - 13th International Conference, {ICFCA} 2015, Nerja, Spain, June 23-26, 2015, Proceedings , Lecture Notes in Computer Science vol. 9113, pages 114--127..
  69. Przemyslaw Andrzej Walega, Emilio Muñoz Velasco (2015) A Movement Control System Based on Qualitative Reasoning. 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, {SOCO} 2015, Burgos, Spain, June 2015 , Advances in Intelligent Systems and Computing vol. 368, pages 179--189..
  70. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2015) On Fuzzy Preordered Sets and Monotone Galois Connections. {IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015, Cape Town, South Africa, December 7-10, 2015 , pages 990--994..
  71. José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora (2015) A Normal Form for Fuzzy Functional Dependencies. {IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015, Cape Town, South Africa, December 7-10, 2015 , pages 984--989..
  72. Emilio Muñoz Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco (2015) On Coarser Interval Temporal Logics and their Satisfiability Problem. Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2015, Albacete, Spain, November 9-12, 2015, Proceedings , Lecture Notes in Computer Science vol. 9422, pages 105--115..
  73. L'ubomír Antoni, Inmaculada P. Cabrera, Stanislav Krajci, Ondrej Kridlo, Manuel Ojeda-Aciego (2015) Using the Chu Construction for Generalizing Formal Concept Analysis. Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, Clermont-Ferrand, France, October 13-16, 2015 , {CEUR} Workshop Proceedings vol. 1466, pages 147--158..
  74. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2014) Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings , Lecture Notes in Computer Science vol. 8761, pages 122--136..
  75. Patrik Eklund, María Ángeles Galán García, Jari Kortelainen, Manuel Ojeda-Aciego (2014) Monadic Formal Concept Analysis. Rough Sets and Current Trends in Computing - 9th International Conference, {RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings , Lecture Notes in Computer Science vol. 8536, pages 201--210..
  76. Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco (2014) A First Study of the Horn Fragment of the Modal Logic of Time Intervals. Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014 , {CEUR} Workshop Proceedings vol. 1195, pages 314--318..
  77. Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego (2014) Revisiting Reductants in the Multi-adjoint Logic Programming Framework. Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings , Lecture Notes in Computer Science vol. 8761, pages 694--702..
  78. Juan Carlos Díaz, Nicolás Madrid, Jesús Medina, Manuel Ojeda-Aciego (2014) New links between mathematical morphology and fuzzy property-oriented concept lattices. {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2014, Beijing, China, July 6-11, 2014 , pages 599--603..
  79. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora (2014) Negative Attributes and Implications in Formal Concept Analysis. Proceedings of the Second International Conference on Information Technology and Quantitative Management, {ITQM} 2014, National Research University Higher School of Economics (HSE), Moscow, Russia, June 3-5, 2014 , Procedia Computer Science vol. 31, pages 758--765..
  80. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2014) On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. Rough Sets and Current Trends in Computing - 9th International Conference, {RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings , Lecture Notes in Computer Science vol. 8536, pages 211--221..
  81. Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora (2014) The Direct-optimal Basis via Reductions. Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Ko{\v{s}}ice, Slovakia, October 7-10, 2014 , {CEUR} Workshop Proceedings vol. 1252, pages 145--156..
  82. Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora (2014) Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. {ICSOFT-EA} 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria, 29-31 August, 2014 , pages 512--517..
  83. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora (2014) A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Ko{\v{s}}ice, Slovakia, October 7-10, 2014 , {CEUR} Workshop Proceedings vol. 1252, pages 267--278..
  84. Inma P. Cabrera, Manuel Ojeda-Aciego, Jozef Pócs (2014) Ordering Objects via Attribute Preferences. Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Ko{\v{s}}ice, Slovakia, October 7-10, 2014 , {CEUR} Workshop Proceedings vol. 1252, pages 157--168..
  85. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez (2014) On the Existence of Isotone Galois Connections between Preorders. Formal Concept Analysis - 12th International Conference, {ICFCA} 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings , Lecture Notes in Computer Science vol. 8478, pages 67--79..
  86. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez (2014) Generating Isotone Galois Connections on an Unstructured Codomain. Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, {IPMU} 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part {III} , Communications in Computer and Information Science vol. 444, pages 91--99..
  87. Domingo López-Rodríguez, Antonio García-Linares (2013) Predictive and Populational Model for Alzheimer's Disease Using Structural Neuroimaging. XIII Mediterranean Conference on Medical and Biological Engineering and Computing 2013.
  88. Juan Carlos Díaz, Jesús Medina-Moreno, Manuel Ojeda-Aciego (2013) On minimal requirements to obtain fuzzy concept-forming operators. .
  89. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego (2013) Bases via Minimal Generators. Proceedings of the International Workshop "What can {FCA} do for Artificial Intelligence?" {(FCA4AI} at {IJCAI} 2013), Beijing, China, August 5, 2013 , {CEUR} Workshop Proceedings vol. 1058, pages 33--36..
  90. Jesús Medina-Moreno, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2013) Concept-Forming Operators on Multilattices. Formal Concept Analysis, 11th International Conference, {ICFCA} 2013, Dresden, Germany, May 21-24, 2013. Proceedings , Lecture Notes in Computer Science vol. 7880, pages 203--215..
  91. Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora (2013) Quality Improvement in Data Models with \emph{SL}\({}_{\mbox{FD}}\)-based {OCL} Constraints. {ICSOFT} 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013 , pages 563--569..
  92. Ondrej Kridlo, Manuel Ojeda-Aciego (2013) CRL-Chu Correspondences. Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013 , {CEUR} Workshop Proceedings vol. 1062, pages 105--116..
  93. Jan Konecny, Manuel Ojeda-Aciego (2013) Isotone L-bonds. Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013 , {CEUR} Workshop Proceedings vol. 1062, pages 153--162..
  94. Nicolás Madrid, Manuel Ojeda-Aciego (2013) On the measure of incoherent information in extended multi-adjoint logic programs. {IEEE} Symposium on Foundations of Computational Intelligence, {FOCI} 2013, Singapore, Singapore, April 16-19, 2013 , pages 30--37..
  95. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2013) On Galois Connections and Soft Computing. Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, {IWANN} 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part {II} , Lecture Notes in Computer Science vol. 7903, pages 224--235..
  96. Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora (2013) Deterministic Tableau-Decision Procedure via Reductions for Modal Logic {K}. International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 - Salamanca, Spain, September 11th-13th, 2013 Proceedings , Advances in Intelligent Systems and Computing vol. 239, pages 429--438..
  97. Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez (2013) Computing non-redundant sets of functional dependencies via simplification. {IEEE} Symposium on Foundations of Computational Intelligence, {FOCI} 2013, Singapore, Singapore, April 16-19, 2013 , pages 9--14..
  98. José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara (2013) Context-aware Recommendation using Fuzzy Formal Concept Analysis. {ICSOFT} 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013 , pages 617--623..
  99. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego (2013) Computing Left-Minimal Direct Basis of implications. Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013 , {CEUR} Workshop Proceedings vol. 1062, pages 293--298..
  100. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora (2013) Automated Inference with Fuzzy Functional Dependencies over Graded Data. Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, {IWANN} 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part {II} , Lecture Notes in Computer Science vol. 7903, pages 254--265..
  101. José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara (2013) Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. Software Technologies - 8th International Joint Conference, {ICSOFT} 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers , Communications in Computer and Information Science vol. 457, pages 290--305..
  102. Pascual Julián Iranzo, Jesús Medina-Moreno, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego (2013) An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, {IWANN} 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part {I} , Lecture Notes in Computer Science vol. 7902, pages 647--655..
  103. Humberto Bustince, Nicolás Madrid, Manuel Ojeda-Aciego (2013) A measure of contradiction based on the notion of N-weak-contradiction. {FUZZ-IEEE} 2013, {IEEE} International Conference on Fuzzy Systems, Hyderabad, India, 7-10 July, 2013, Proceedings , pages 1--6..
  104. Pablo Cordero, Manuel Enciso, Ángel Mora (2013) Automated Reasoning to Infer all Minimal Keys. {IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 , pages 817--823..
  105. Manuel Enciso, Enrique Soler (2013) Teaching database design: {A} reverse engineering approach. {IEEE} Global Engineering Education Conference, {EDUCON} 2013, Berlin, Germany, March 13-15, 2013 , pages 474--480..
  106. Manuel Enciso, Carlos Rossi, Antonio Guevara (2012) A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. {ICSOFT} 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012 , pages 291--296..
  107. Ondrej Kridlo, Manuel Ojeda-Aciego (2012) Linking L-Chu Correspondences and Completely Lattice L-ordered Sets. Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October 11-14, 2012 , {CEUR} Workshop Proceedings vol. 972, pages 233--244..
  108. Joanna Golinska-Pilarek, Emilio Muñoz Velasco (2012) Reasoning with Qualitative Velocity: Towards a Hybrid Approach. Hybrid Artificial Intelligent Systems - 7th International Conference, {HAIS} 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part {I} , Lecture Notes in Computer Science vol. 7208, pages 635--646..
  109. Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil (2012) An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. Modeling Decisions for Artificial Intelligence - 9th International Conference, {MDAI} 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings , Lecture Notes in Computer Science vol. 7647, pages 408--419..
  110. Jan Konecny, Jesús Medina, Manuel Ojeda-Aciego (2012) Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept Lattices with Heterogeneous Conjunctors. Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October 11-14, 2012 , {CEUR} Workshop Proceedings vol. 972, pages 245--256..
  111. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego (2012) Computing Minimal Generators from Implications: a Logic-guided Approach. Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October 11-14, 2012 , {CEUR} Workshop Proceedings vol. 972, pages 187--198..
  112. Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez (2011) Specification and inference of fuzzy attributes. Proceedings of the {IEEE} Symposium on Foundations of Computational Intelligence, {FOCI} 2011, part of the {IEEE} Symposium Series on Computational Intelligence 2011, Paris, France, 11-15 April 2011 , pages 107--114..
  113. Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego (2011) Preface. 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 vol. 278, pages 1--2..
  114. Manuel Enciso García-Oliveros, Angel Mora-Bonilla, Pablo Cordero, Rosario Baena (2011) A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. {ICSOFT} 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 1, Seville, Spain, 18-21 July, 2011 , pages 313--316..
  115. Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez (2011) An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga, Spain, June 8-10, 2011, Proceedings, Part {II} , Lecture Notes in Computer Science vol. 6692, pages 412--420..
  116. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2011) Non-deterministic Algebraic Structures for Soft Computing. Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga, Spain, June 8-10, 2011, Proceedings, Part {II} , Lecture Notes in Computer Science vol. 6692, pages 437--444..
  117. Nicolás Madrid, Manuel Ojeda-Aciego (2011) On the use of fuzzy stable models for inconsistent classical logic programs. Proceedings of the {IEEE} Symposium on Foundations of Computational Intelligence, {FOCI} 2011, part of the {IEEE} Symposium Series on Computational Intelligence 2011, Paris, France, 11-15 April 2011 , pages 115--121..
  118. Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego (2011) On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. Fuzzy Logic and Applications - 9th International Workshop, {WILF} 2011, Trani, Italy, August 29-31,2011. Proceedings , Lecture Notes in Computer Science vol. 6857, pages 115--122..
  119. Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego (2011) A Static Preprocess for Improving Fuzzy Thresholded Tabulation. Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga, Spain, June 8-10, 2011, Proceedings, Part {II} , Lecture Notes in Computer Science vol. 6692, pages 429--436..
  120. Ángel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez (2010) Improving Moodle with WIRIS and M-QIT. Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4.
  121. Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero (2010) A Tool for User-guided Database Application Development - Automatic Design of {XML} Models using {CBD}. {ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010 , pages 195--200..
  122. Jesús Medina, Manuel Ojeda-Aciego (2010) Towards Attribute Reduction in Multi-adjoint Concept Lattices. Proceedings of the 7th International Conference on Concept Lattices and Their Applications, Sevilla, Spain, October 19-21, 2010 , {CEUR} Workshop Proceedings vol. 672, pages 92--103..
  123. Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego (2010) L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts. Proceedings of the 7th International Conference on Concept Lattices and Their Applications, Sevilla, Spain, October 19-21, 2010 , {CEUR} Workshop Proceedings vol. 672, pages 70--79..
  124. Nicolás Madrid, Manuel Ojeda-Aciego (2010) Measuring Instability in Normal Residuated Logic Programs: Discarding Information. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods - 13th International Conference, {IPMU} 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings, Part {I} , Communications in Computer and Information Science vol. 80, pages 128--137..
  125. Nicolás Madrid, Manuel Ojeda-Aciego (2010) Measuring instability in normal residuated logic programs: Adding information. {FUZZ-IEEE} 2010, {IEEE} International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings , pages 1--7..
  126. Esteban J. Palomo, Juan Miguel Ortiz-de-Lazcano-Lobato, Domingo López-Rodríguez, Rafael Marcos Luque Baena (2009) Hierarchical Graphs for Data Clustering. International Work-conference on Artificial Neural Networks (IWANN) pp 432-439.
  127. Domingo López-Rodríguez, Enrique Mérida Casermeiro (2009) Shortest Common Superstring Problem with Discrete Neural Networks. International Conference on Adaptive and Natural Computing Algorithms 2009, pp 62 – 71.
  128. Juan Miguel Ortiz-de-Lazcano-Lobato, Rafael Marcos Luque Baena, Domingo López-Rodríguez, Esteban J. Palomo (2009) Growing Competitive Network for Tracking Objects in Video Sequences. International Conference on Adaptive and Natural Computing Algorithms 2009, pp 109 – 118.
  129. Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán (2009) A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, {IWANN} 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part {I} , Lecture Notes in Computer Science vol. 5517, pages 261--269..
  130. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2009) Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via {PDL}. Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2009, Seville, Spain, November 9-13, 2009. Selected Papers , Lecture Notes in Computer Science vol. 5988, pages 71--80..
  131. Jesús Medina, Manuel Ojeda-Aciego (2009) On the Representation Theorem of Multi-Adjoint Concept Lattices. Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009 , pages 1091--1095..
  132. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego (2009) Fuzzy Logic, Soft Computing, and Applications. Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, {IWANN} 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part {I} , Lecture Notes in Computer Science vol. 5517, pages 236--244..
  133. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego (2009) On Congruences and Homomorphisms on Some Non-deterministic Algebras. {IJCCI} 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009 , pages 59--67..
  134. Nicolás Madrid, Manuel Ojeda-Aciego (2009) On the measure of incoherence in extended residuated logic programs. {FUZZ-IEEE} 2009, {IEEE} International Conference on Fuzzy Systems, Jeju Island, Korea, 20-24 August 2009, Proceedings , pages 598--603..
  135. Nicolás Madrid, Manuel Ojeda-Aciego (2009) On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. Fuzzy Logic and Applications, 8th International Workshop, {WILF} 2009, Palermo, Italy, June 9-12, 2009, Proceedings , Lecture Notes in Computer Science vol. 5571, pages 60--67..
  136. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2008) Drawing Graphs in Parallel Lines with Artificial Neural Networks. Eighth International Conference on Hybrid Intelligent Systems (HIS) 2008: 667-671.
  137. Rafael Marcos Luque, Domingo López-Rodríguez, Enrique Mérida Casermeiro, Esteban J. Palomo (2008) Video Object Segmentation with Multivalued Neural Networks. Eighth International Conference on Hybrid Intelligent Systems (HIS) 2008: 613-618.
  138. Gloria Galán Marín, Domingo López-Rodríguez, Enrique Mérida Casermeiro (2008) A generalization of the Hopfield model for the graph isomorphism problem. Computing and Computational Techniques in Sciences 2008.
  139. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2008) Adjust of Contradictory Information by a Fuzzy Method. Proceedings of the 2008 International Conference on Computational and Mathematical Methods in Science and Engineering.
  140. Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego (2008) Thresholded Tabulation in a Fuzzy Logic Setting. Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008 , Electronic Notes in Theoretical Computer Science vol. 248, pages 115--130..
  141. Nicolás Madrid, Manuel Ojeda-Aciego (2008) Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia , pages 260--264..
  142. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2008) A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. Advances in Artificial Intelligence - {IBERAMIA} 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings , Lecture Notes in Computer Science vol. 5290, pages 11--20..
  143. Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz Velasco (2008) An {ATP} of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. {PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings , Lecture Notes in Computer Science vol. 5351, pages 128--139..
  144. Juan M. Ortiz-de-Lazcano-Lobato, Rafael M. Luque, Domingo López-Rodríguez, Esteban J. Palomo (2008) A Novel Competitive Network Approach to Object Tracking. Proceedings of the 2008 UK Workshop on Computational Intelligence.
  145. S. Merino Córdoba, J. Martínez Del Castillo, G. Gutiérrez Barranco, A. Mora-Bonilla, Domingo López-Rodríguez, E. Mérida-Casermeiro (2008) Fnova: Fermat and joomla fusion. Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications and Visual Communications, pp. 15-20.
  146. Rafael Marcos Luque, Domingo López-Rodríguez, Enrique Domínguez, Esteban J. Palomo (2008) A Dipolar Competitive Neural Network for Video Segmentation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (5290 LNAI), pp. 103-112.
  147. E. López-Rubio, J.M. Ortiz-De-Lazcano-Lobato, Domingo López-Rodríguez, M. Del Carmen Vargas-Gonzalez (2008) Robust nonparametric probability density estimation by soft clustering. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (5163 LNCS), PART 1, pp. 155-164.
  148. Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez, Luis Fernando López Anguita (2008) Integration Of Moodle Quizzes. {IADIS} International Conference e-Learning 2008, Amsterdam, The Netherlands, July 22-25, 2008. Proceedings, pp. 45–52.
  149. R.M. Luque Baena, E. Dominguez, Domingo López-Rodríguez, E.J. Palomo (2008) A Neighborhood-Based Competitive Network for Video Segmentation and Object Detection. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (5163), PART 1, pp. 877–886.
  150. Domingo López-Rodríguez, Enrique Mérida-Casermeiro, Juan M. Ortiz-de-Lazcano-Lobato (2007) A Multivalued Neural Network for the Degree-Constrained Minimum Spanning Tree Problem. Congreso de la Asociación Española para la Inteligencia Artificial 2007.
  151. Ángel Mora Bonilla, Domingo López-Rodríguez, Enrique Mérida-Casermeiro (2007) HECACEJ: B-Learning Tool for Static Content Creation in Joomla!. Workshop on Blended Learning 2007.
  152. Domingo López-Rodríguez, Enrique Mérida-Casermeiro, Juan Miguel Ortiz de Lazcano Lobato (2007) Red Multivaluada Estocástica para Optimización. Aplicación al Problema del MaxCut. Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados 2007.
  153. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2007) A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers , Lecture Notes in Computer Science vol. 4788, pages 210--219..
  154. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2007) A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming. Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, {WILF} 2007, Camogli, Italy, July 7-10, 2007, Proceedings , Lecture Notes in Computer Science vol. 4578, pages 37--44..
  155. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2007) Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices. New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th {EUSFLAT} Conference, Ostrava, Czech Republic, September 11-14, 2007, Volume 2: Regular Sessions , pages 209--212..
  156. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2007) On Multi-adjoint Concept Lattices: Definition and Representation Theorem. Formal Concept Analysis, 5th International Conference, {ICFCA} 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings , Lecture Notes in Computer Science vol. 4390, pages 197--209..
  157. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2007) On Reachability of Minimal Models of Multilattice-Based Logic Programs. {MICAI} 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings , Lecture Notes in Computer Science vol. 4827, pages 271--282..
  158. Domingo López-Rodríguez, E. Mérida-Casermeiro, J.M. Ortíz-De-Lazcano-Lobato, G. Galán-Marín (2007) Two pages graph layout via recurrent multivalued neural networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4507 LNCS), pp. 194-202.
  159. Enrique Mérida Casermeiro, Domingo López-Rodríguez, Juan Miguel Ortiz-de-Lazcano-Lobato (2007) Image Compression with Competitive Networks and Pre-fixed Prototypes. IFIP International Federation for Information Processing, (247), pp. 339–346.
  160. Enrique Mérida Casermeiro, Domingo López-Rodríguez, Gloria Galán Marín, Juan Miguel Ortiz-de-Lazcano-Lobato (2007) Improved Production of Competitive Learning Rules with an Additional Term for Vector Quantization. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4431), PART 1, pp. 461–469.
  161. Domingo López-Rodríguez, E. Mérida-Casermeiro, J.M. Ortíz-de-Lazcano-Lobato, G. Galán-Marín (2007) K-pages graph drawing with multivalued neural networks. Artificial Neural Networks - {ICANN} 2007, 17th International Conference, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4669 LNCS), PART 2, pp. 816-825.
  162. E. López-Rubio, J.M. Ortiz-De-Lazcano-Lobato, Domingo López-Rodríguez, M. Del Carmen Vargas-González (2007) Automatic Model Selection for Probabilistic {PCA}. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4507 LNCS), pp. 127-134.
  163. G. Galán-Marín, E. Mérida-Casermeiro, Domingo López-Rodríguez, J.M. Ortiz-De-Lazcano-Lobato (2007) A Study into the Improvement of Binary Hopfield Networks for Map Coloring. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4432 LNCS), PART 2, pp. 98-106.
  164. Domingo López-Rodríguez, E. Mérida-Casermeiro, G. Galán-Marín, J.M. Ortiz-de-Lazcano-Lobato (2007) Stochastic functional annealing as optimization technique: Application to the traveling salesman problem with recurrent networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4667 LNAI), pp. 397-411.
  165. E. López-Rubio, J.M. Ortiz-De-Lazcano-Lobato, Domingo López-Rodríguez, M. Del Carmen Vargas-González (2007) Self-organization of probabilistic PCA models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4507 LNCS), pp. 211-218.
  166. Enrique Mérida Casermeiro, Domingo López-Rodríguez, Gloria Galán Marín, Juan Miguel Ortiz-de-Lazcano-Lobato (2007) Theoretical Study on the Capacity of Associative Memory with Multiple Reference Points. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4527), PART 1, pp. 292–302.
  167. Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, Domingo López-Rodríguez, María del Carmen Vargas-González (2007) Soft Clustering for Nonparametric Probability Density Function Estimation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4668 LNCS), PART 1, pp. 707-716.
  168. Domingo López-Rodríguez, E. Mérida-Casermeiro, J.M. Ortiz-De-Lazcano-Lobato (2006) Stochastic multivalued network for optimization. Application to the graph MaxCut problem. International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics - Proceedings, (1), pp. 111-116.
  169. E. López-Rubio, J.M. Ortiz-De-Lazcano-Lobato, Domingo López-Rodríguez, E. Mérida-Casermeiro, M. Del Carmen Vargas-González (2006) Local selection of model parameters in probability density function estimation. Artificial Neural Networks - (ICANN) 2006, 16th International Conference, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4132 LNCS - II), pp. 292-301.
  170. Domingo López-Rodríguez, Enrique Mérida Casermeiro, Juan Miguel Ortiz-de-Lazcano-Lobato, Ezequiel López-Rubio (2006) Image Compression by Vector Quantization with Recurrent Discrete Networks. Artificial Neural Networks - (ICANN) 2006, 16th International Conference, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4132), pp. 595–605.
  171. Ángel Mora, Enrique Mérida-Casermeiro, Domingo López-Rodríguez (2006) Development of a virtual learning community for the subject Numerical Methods under Moodle. Current Developments in Technology-Assisted Education 2006.
  172. Enrique Mérida Casermeiro, Domingo López-Rodríguez, Juan Miguel Ortiz-de-Lazcano-Lobato (2006) Enhanced maxcut clustering with multivalued neural networks and functional annealing. ESANN 2006 Proceedings - 14th European Symposium on Artificial Neural Networks, pp. 25–30.
  173. Ángel Mora, Manuel Enciso (2006) A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. {ICEIS} 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006 , pages 302--305..
  174. Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz Velasco (2006) {MAT} Logic: {A} Temporal{\texttimes}Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian {AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006, Proceedings , Lecture Notes in Computer Science vol. 4140, pages 602--611..
  175. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego (2006) A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2006, Vancouver, BC, Canada, July 16-21, 2006 , pages 2004--2011..
  176. E. López-Rubio, J.M. Ortiz-de-Lazcano-Lobato, Domingo López-Rodríguez, E. Mérida-Casermeiro, M.D.C. Vargas-González (2006) Global-local learning strategies in probabilistic principal components analysis. Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing, ASC 2006, pp. 46-51.
  177. Domingo López-Rodríguez, Enrique Mérida Casermeiro (2005) Neural Formulation of Functional Annealing and Application to Traveling Salesman Problem. XI Conferencia de la Asociación Española para la Inteligencia Artificial 2005.
  178. E. Mérida-Casermeiro, Domingo López-Rodríguez (2005) Hebbian Iterative Method for Unsupervised Clustering with Automatic Detection of the Number of Clusters with Discrete Recurrent Networks. 11th Conference of the Spanish Association for Artificial Intelligence (CAEPIA) 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (4177), pp. 241–250.
  179. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2005) Iterative Learning Reinforcement for Unsupervised Clustering with Discrete Recurrent Networks. XI Conferencia de la Asociación Española para la Inteligencia Artificial 2005 .
  180. Domingo López-Rodríguez, Enrique Mérida Casermeiro, Juan Miguel Ortiz-de-Lazcano-Lobato (2005) Hopfield Network as Associative Memory with Multiple Reference Points. International Enformatika Conference, IEC'05, August 26-28, 2005, Prague, Czech Republic, , pp. 62–67.
  181. Domingo López-Rodríguez, Enrique Mérida Casermeiro (2005) Aplicación neuronal del enfriamiento funcional discreto al problema del viajante. Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados 2005.
  182. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2005) Memoria auto-asociativa y clasificación con redes neuronales recurrentes. Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados 2005.
  183. Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2005) Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers , Lecture Notes in Computer Science vol. 4177, pages 370--378..
  184. Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2005) A note on partially ordered generalized terms. Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005 , pages 793--796..
  185. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2005) Interval-Valued Neural Multi-adjoint Logic Programs. Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, {IWINAC} 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part {I} , Lecture Notes in Computer Science vol. 3561, pages 518--527..
  186. Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calvi~no (2005) Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. Fuzzy Logic and Applications, 6th International Workshop, {WILF} 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers , Lecture Notes in Computer Science vol. 3849, pages 61--70..
  187. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2005) Graph Partitioning via Recurrent Multivalued Neural Networks. International Work-Conference on Artificial Neural Networks (IWANN) 2005, Lecture Notes in Computer Science, (3512), pp. 1149–1156.
  188. Domingo López-Rodríguez, Enrique Mérida Casermeiro (2004) Matrix Bandwith Minimization: A Neural Approach. International Congress of Computational Methods in Science and Engineering 2004.
  189. Enrique Mérida Casermeiro, Domingo López-Rodríguez (2004) Multivalued Neural Network for Graph Maxcut Problem. International Congress of Computational Methods in Science and Engineering 2004.
  190. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2004) Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings , Lecture Notes in Computer Science vol. 3315, pages 717--726..
  191. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego (2004) A Tabulation Proof Procedure for Residuated Logic Programming. Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, {PAIS} 2004, Valencia, Spain, August 22-27, 2004 , pages 808--812..
  192. Manuel Ojeda-Aciego, Agustín Valverde (2004) tascpl: {TAS} Solver for Classical Propositional Logic. Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings , Lecture Notes in Computer Science vol. 3229, pages 738--741..
  193. Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán (2004) A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. Advances in Artificial Intelligence - {SBIA} 2004, 17th Brazilian Symposium on Artificial Intelligence, S{\~{a}}o Luis, Maranh{\~{a}}o, Brazil, September 29 - October 1, 2004, Proceedings , Lecture Notes in Computer Science vol. 3171, pages 31--40..
  194. Ángel Mora, Manuel Enciso, Pablo Cordero, Inma P. de Guzmán, J. Guerrero (2004) {A/D} Case: {A} New Heart for {FD3}. {ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Porto, Portugal, April 14-17, 2004 , pages 482--490..
  195. Carlos Rossi, Manuel Enciso, Ángel Mora (2004) A First Order Temporal Logic for Behavior Representation. Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings , Lecture Notes in Computer Science vol. 3315, pages 408--418..
  196. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego (2004) Sorted Multi-adjoint Logic Programs: Termination Results and Applications. Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings , Lecture Notes in Computer Science vol. 3229, pages 252--265..
  197. Jesús Medina, Manuel Ojeda-Aciego (2003) Homogenizing multi-adjoint logic programs. Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, Zittau, Germany, September 10-12, 2003 , pages 640--644..
  198. Ángel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán (2003) An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and 5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers , Lecture Notes in Computer Science vol. 3040, pages 136--146..
  199. Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás (2003) Towards Biresiduated Multi-adjoint Logic Programming. Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and 5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers , Lecture Notes in Computer Science vol. 3040, pages 608--617..
  200. Alfredo Burrieza, Manuel Ojeda-Aciego (2003) A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and 5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers , Lecture Notes in Computer Science vol. 3040, pages 66--75..
  201. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2003) A Neural Approach to Extended Logic Programs. Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Ma{\'{o}}, Menorca, Spain, June 3-6, 2003 Proceedings, Part {I} , Lecture Notes in Computer Science vol. 2686, pages 654--661..
  202. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2002) A Neural Approach to Abductive Multi-adjoint Reasoning. Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, {AIMSA} 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings , Lecture Notes in Computer Science vol. 2443, pages 213--222..
  203. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás (2002) Non-commutativity and Expressive Deductive Logic Databases. Logics in Artificial Intelligence, European Conference, {JELIA} 2002, Cosenza, Italy, September, 23-26, Proceedings , Lecture Notes in Computer Science vol. 2424, pages 149--160..
  204. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2002) A categorical approach to unification of generalised terms. Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002 , Electronic Notes in Theoretical Computer Science vol. 66, pages 41--51..
  205. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2002) A Multi-Adjoint Approach to Similarity-Based Unification. Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002 , Electronic Notes in Theoretical Computer Science vol. 66, pages 70--85..
  206. Patrik Eklund, Manuel Ojeda-Aciego (2002) Preface. Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002 , Electronic Notes in Theoretical Computer Science vol. 66, pages 104--105..
  207. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2002) A Similarity-Based Unification Model for Flexible Querying. Flexible Query Answering Systems, 5th International Conference, {FQAS} 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings , Lecture Notes in Computer Science vol. 2522, pages 263--273..
  208. Pablo Cordero, Manuel Enciso, Ángel Mora, Inma P. de Guzmán (2002) SL\({}_{\mbox{FD}}\) Logic: Elimination of Data Redundancy in Knowledge Representation. Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings , Lecture Notes in Computer Science vol. 2527, pages 141--150..
  209. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (2002) Restricted Delta-Trees in Multiple-Valued Logics. Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, {AIMSA} 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings , Lecture Notes in Computer Science vol. 2443, pages 223--232..
  210. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (2002) Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings , Lecture Notes in Computer Science vol. 2527, pages 161--171..
  211. Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco (2002) Indexed Flows in Temporal x Modal Logic with Functional Semantics. 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002 , pages 146--153..
  212. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego (2002) Multi-adjoint Logic Programming: {A} Neural Net Approach. Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings , Lecture Notes in Computer Science vol. 2401, pages 468..
  213. Manuel Enciso, Ángel Mora (2002) {FD3:} {A} Functional Dependencies Data Dictionary. {ICEIS} 2002, Proceedings of the 4st International Conference on Enterprise Information Systems, Ciudad Real, Spain, April 2-6, 2002 , pages 807--810..
  214. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2001) Multi-adjoint Logic Programming with Continuous Semantics. Logic Programming and Nonmonotonic Reasoning, 6th International Conference, {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings , Lecture Notes in Computer Science vol. 2173, pages 351--364..
  215. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2001) A Completeness Theorem for Multi-Adjoint Logic Programming. Proceedings of the 10th {IEEE} International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001 , pages 1031--1034..
  216. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2001) Similarity-based unification: a multi-adjoint approach. Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, Leicester, United Kingdom, September 5-7, 2001 , pages 273--276..
  217. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2001) Composing Submonads. 31st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2001, Warsaw, Poland, May 22-24, 2001, Proceedings , pages 367--372..
  218. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2001) A Procedural Semantics for Multi-adjoint Logic Programming. Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, {EPIA} 2001, Porto, Portugal, December 17-20, 2001, Proceedings , Lecture Notes in Computer Science vol. 2258, pages 290--297..
  219. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás (2001) A Multi-adjoint Logic Approach to Abductive Reasoning. Logic Programming, 17th International Conference, {ICLP} 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings , Lecture Notes in Computer Science vol. 2237, pages 269--283..
  220. Gloria Gutiérrez, Inma P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde (2000) Reduction Theorems for Boolean Formulas Using Delta-Trees. Logics in Artificial Intelligence, European Workshop, {JELIA} 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings , Lecture Notes in Computer Science vol. 1919, pages 179--192..
  221. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde (2000) A graphical approach to monad compositions. First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, {MFCSIT} 2000, Cork, Ireland, July 20-21, 2000 , Electronic Notes in Theoretical Computer Science vol. 40, pages 145--160..
  222. Inma P. de Guzmán, Pablo Cordero, Manuel Enciso (1999) Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September 21-24, 1999, Proceedings, Lecture Notes in Computer Science vol. 1695, pages 193--207..
  223. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (1999) Multiple-Valued Tableaux with delta-reductions. Proceedings of the International Conference on Artificial Intelligence, {IC-AI}'99, June 28 - July 1, 1999, Las Vegas, Nevada, USA, Volume 1 , pages 177--183..
  224. Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde (1998) Implicates and Reduction Techniques for Temporal Logics. Logics in Artificial Intelligence, European Workshop, {JELIA} '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings , Lecture Notes in Computer Science vol. 1489, pages 309--323..
  225. Manuel Enciso, J. F. Moncada, Inma P. de Guzmán, Manuel Ojeda-Aciego (1996) Executing Intensional Logic with the {TAS} Tool. 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996 , pages 561--566..
  226. Manuel Enciso, Inma P. de Guzmán, Carlos Rossi (1996) Temporal Reasoning over Linear Discrete Time. Logics in Artificial Intelligence, European Workshop, {JELIA} '96, {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings , Lecture Notes in Computer Science vol. 1126, pages 303--319..
  227. Gabriel Aguilera, José Luis Galán, Inma P. de Guzmán, Manuel Ojeda-Aciego (1994) {TAS-D++} vs tablas semanticas. 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola, Spain, September 19-22, 1994, Volume 2 , pages 438--439..
  228. Manuel Enciso, Inma P. de Guzmán, Carlos Rossi (1994) A Temporal Logic for Program Specification. 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola, Spain, September 19-22, 1994, Volume 2 , pages 309--323..
  229. Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego (1994) TAS-D\({}^{\mbox{++}}\): Syntactic Trees Transformations for Automated Theorem Proving. Logics in Artificial Intelligence, European Workshop, {JELIA} '94, York, UK, September 5-8, 1994, Proceedings , Lecture Notes in Computer Science vol. 838, pages 198--216..
No matching items

Books and book sections

  1. (2024) Conceptual Knowledge Structures - First International Joint Conference, {CONCEPTS} 2024, C{\'{a}}diz, Spain, September 9-13, 2024, Proceedings. .
  2. (2024) Advances in Artificial Intelligence - 20th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2024, {A} Coru{\~{n}}a, Spain, June 19-21, 2024, Proceedings. .
  3. Dominik Dürrschnabel, Domingo López Rodríguez (2023) Formal Concept Analysis. 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings.
  4. (2023) Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, {ICCS} 2023, Berlin, Germany, September 11-13, 2023, Proceedings. .
  5. Enrique Domínguez, Domingo López Rodríguez, Ezequiel López-Rubio, Rosa Maza-Quiroga, Miguel A. Molina-Cabello, Karl Thurnhofer-Hemsi (2022) Super-Resolution of 3D Magnetic Resonance Images of the Brain. Artificial Intelligence in Healthcare and Medicine, pp. 157-176.
  6. Tim Pattison, Manuel Enciso, Ángel Mora, Pablo Cordero, Derek Weber, Michael Broughton (2022) Scalable Visual Analytics in {FCA}. Complex Data Analytics with Formal Concept Analysis , pages 167--200..
  7. (2022) Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications {(CLA} 2022) Tallinn, Estonia, June 20-22, 2022., Tallinn, Estonia, June 20-22, 2022. .
  8. Domingo López Rodríguez, Emilio Muñoz Velasco, Manuel Ojeda-Aciego (2021) Formal methods in FCA and Big Data. Complex Data Analytics with Formal Concept Analysis, pp. 201 -- 224.
  9. (2021) Advances in Artificial Intelligence - 19th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2020/2021, M{\'{a}}laga, Spain, September 22-24, 2021, Proceedings. .
  10. (2020) 27th International Symposium on Temporal Representation and Reasoning, {TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy. .
  11. Ondrej Kridlo, Manuel Ojeda-Aciego (2019) On the n-ary Generalization of Dual Bonds. Interactions Between Computational Intelligence and Mathematics Part 2 , Studies in Computational Intelligence vol. 794, pages 55--63..
  12. (2018) Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications - 17th International Conference, {IPMU} 2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {III}. .
  13. (2018) Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, {IPMU} 2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {I}. .
  14. (2016) 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. .
  15. (2015) 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{\'{a}}laga, Spain, June 23-26, 2015. .
  16. (2015) Formal Concept Analysis - 13th International Conference, {ICFCA} 2015, Nerja, Spain, June 23-26, 2015, Proceedings. .
  17. (2013) Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013. .
  18. (2011) 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. .
  19. Enrique Mérida Casermeiro, Domingo López Rodríguez, Juan Miguel Ortiz-de-Lazcano-Lobato (2009) MREM, Discrete Recurrent Network for Optimization. Encyclopedia of Artificial Intelligence 2009: 1112-1120.
  20. E. Mérida-Casermeiro, Domingo López Rodríguez, J.M. Ortiz-de-Lazcano-Lobato (2008) An approach to artificial concept learning based on human concept learning by using artificial neural networks. Advancing Artificial Intelligence Through Biological Process Applications, pp. 130-145.
  21. Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska (2006) Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of {COST} Action 274, TARSKI, 2002-2005, Selected Revised Papers , Lecture Notes in Computer Science vol. 4342, pages 105--124..
  22. (2002) Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002. .
  23. Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luis Moniz Pereira (2000) Logics in Artificial Intelligence, European Workshop, {JELIA} 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. .
No matching items