BibTeX records: Manuel Ojeda-Aciego

download as .bib file

@article{DBLP:journals/fss/MadridO24,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Approaching the square of opposition in terms of the \emph{f}-indexes
                  of inclusion and contradiction},
  journal      = {Fuzzy Sets Syst.},
  volume       = {476},
  pages        = {108769},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.fss.2023.108769},
  doi          = {10.1016/J.FSS.2023.108769},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/MadridO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caepia/2024,
  editor       = {Amparo Alonso{-}Betanzos and
                  Bertha Guijarro{-}Berdi{\~{n}}as and
                  Ver{\'{o}}nica Bol{\'{o}}n{-}Canedo and
                  Elena Hern{\'{a}}ndez{-}Pereira and
                  Oscar Fontenla{-}Romero and
                  David Camacho and
                  Juan Ram{\'{o}}n Rabu{\~{n}}al and
                  Manuel Ojeda{-}Aciego and
                  Jes{\'{u}}s Medina and
                  Jos{\'{e}} C. Riquelme and
                  Alicia Troncoso},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {14640},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62799-6},
  doi          = {10.1007/978-3-031-62799-6},
  isbn         = {978-3-031-62798-9},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-17427,
  author       = {Irina Perfilieva and
                  Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego and
                  Piotr Artiemjew and
                  Agnieszka Niemczynowicz},
  title        = {A Critical Analysis of the Theoretical Framework of the Extreme Learning
                  Machine},
  journal      = {CoRR},
  volume       = {abs/2406.17427},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.17427},
  doi          = {10.48550/ARXIV.2406.17427},
  eprinttype    = {arXiv},
  eprint       = {2406.17427},
  timestamp    = {Tue, 23 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-17427.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CabreraCMOB23,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  title        = {Fuzzy relational Galois connections between fuzzy transitive digraphs},
  journal      = {Fuzzy Sets Syst.},
  volume       = {463},
  pages        = {108456},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.fss.2022.12.012},
  doi          = {10.1016/J.FSS.2022.12.012},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/CabreraCMOB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MadridO23,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {The \emph{f}-index of inclusion as optimal adjoint pair for fuzzy
                  modus ponens},
  journal      = {Fuzzy Sets Syst.},
  volume       = {466},
  pages        = {108474},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.fss.2023.01.009},
  doi          = {10.1016/J.FSS.2023.01.009},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/MadridO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/KridloLAEKO23,
  author       = {Ondrej Kr{\'{\i}}dlo and
                  Domingo L{\'{o}}pez{-}Rodr{\'{\i}}guez and
                  Lubomir Antoni and
                  Peter Elias and
                  Stanislav Krajci and
                  Manuel Ojeda{-}Aciego},
  title        = {Connecting concept lattices with bonds induced by external information},
  journal      = {Inf. Sci.},
  volume       = {648},
  pages        = {119498},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ins.2023.119498},
  doi          = {10.1016/J.INS.2023.119498},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/KridloLAEKO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/FlaminioGMO23,
  author       = {Tommaso Flaminio and
                  Llu{\'{\i}}s Godo and
                  Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Sebastia Massanet and
                  Susana Montes and
                  Daniel Ruiz{-}Aguilera and
                  Manuel Gonz{\'{a}}lez Hidalgo},
  title        = {A Logic to Reason About f-Indices of Inclusion over {\L}\({}_{\mbox{n}}\)},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {14069},
  pages        = {530--539},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-39965-7\_44},
  doi          = {10.1007/978-3-031-39965-7\_44},
  timestamp    = {Thu, 27 Jun 2024 20:49:01 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/FlaminioGMO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/2023,
  editor       = {Manuel Ojeda{-}Aciego and
                  Kai Sauerwald and
                  Robert J{\"{a}}schke},
  title        = {Graph-Based Representation and Reasoning - 28th International Conference
                  on Conceptual Structures, {ICCS} 2023, Berlin, Germany, September
                  11-13, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14133},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40960-8},
  doi          = {10.1007/978-3-031-40960-8},
  isbn         = {978-3-031-40959-2},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/KridloO22,
  author       = {Ondrej Kr{\'{\i}}dlo and
                  Manuel Ojeda{-}Aciego},
  title        = {Classifying Adjoint Pairs and Adjoint Triples in an Atanassov {\textdollar}L{\textdollar}-Fuzzy
                  Framework},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {30},
  number       = {3},
  pages        = {863--868},
  year         = {2022},
  url          = {https://doi.org/10.1109/TFUZZ.2020.3038482},
  doi          = {10.1109/TFUZZ.2020.3038482},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tfs/KridloO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/Perez-GamezCE0O22,
  author       = {Francisco P{\'{e}}rez{-}G{\'{a}}mez and
                  Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego},
  editor       = {Pablo Cordero and
                  Ondrej Kr{\'{\i}}dlo},
  title        = {Partial formal contexts with degrees},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3308},
  pages        = {35--44},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3308/Paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/Perez-GamezCE0O22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/Valverde-Albacete22,
  author       = {Francisco J. Valverde{-}Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Pablo Cordero and
                  Ondrej Kr{\'{\i}}dlo},
  title        = {On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3308},
  pages        = {93--104},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3308/Paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/Valverde-Albacete22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Valverde-Albacete22,
  author       = {Francisco J. Valverde{-}Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Sergei O. Kuznetsov and
                  Amedeo Napoli and
                  Sebastian Rudolph},
  title        = {Can {FCA} Provide a Framework for Artificial General Intelligence?},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3233},
  pages        = {35--40},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3233/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Valverde-Albacete22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/CabreraCMOB22,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  editor       = {Davide Ciucci and
                  In{\'{e}}s Couso and
                  Jes{\'{u}}s Medina and
                  Dominik Slezak and
                  Davide Petturiti and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {On the Definition of Fuzzy Relational Galois Connections Between Fuzzy
                  Transitive Digraphs},
  booktitle    = {Information Processing and Management of Uncertainty in Knowledge-Based
                  Systems - 19th International Conference, {IPMU} 2022, Milan, Italy,
                  July 11-15, 2022, Proceedings, Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {1601},
  pages        = {100--106},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08971-8\_9},
  doi          = {10.1007/978-3-031-08971-8\_9},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/CabreraCMOB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/AlbacetePCCO22,
  author       = {Francisco Jos{\'{e}} Valverde Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Davide Ciucci and
                  In{\'{e}}s Couso and
                  Jes{\'{u}}s Medina and
                  Dominik Slezak and
                  Davide Petturiti and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Encoding Non-global Time Representations into the Lattice of Divisibility},
  booktitle    = {Information Processing and Management of Uncertainty in Knowledge-Based
                  Systems - 19th International Conference, {IPMU} 2022, Milan, Italy,
                  July 11-15, 2022, Proceedings, Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {1601},
  pages        = {118--129},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08971-8\_11},
  doi          = {10.1007/978-3-031-08971-8\_11},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/AlbacetePCCO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/missaoui2022/Lopez-RodriguezMO22,
  author       = {Domingo L{\'{o}}pez{-}Rodr{\'{\i}}guez and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Rokia Missaoui and
                  L{\'{e}}onard Kwuida and
                  Talel Abdessalem},
  title        = {Formal Methods in {FCA} and Big Data},
  booktitle    = {Complex Data Analytics with Formal Concept Analysis},
  pages        = {201--224},
  publisher    = {Springer International Publishing},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-93278-7\_9},
  doi          = {10.1007/978-3-030-93278-7\_9},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/missaoui2022/Lopez-RodriguezMO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmm/OjedaAciegoR21,
  author       = {Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Manuel Rodr{\'{\i}}guez{-}Jim{\'{e}}nez},
  title        = {Formal concept analysis with negative attributes for forgery detection},
  journal      = {Comput. Math. Methods},
  volume       = {3},
  number       = {6},
  year         = {2021},
  url          = {https://doi.org/10.1002/cmm4.1124},
  doi          = {10.1002/CMM4.1124},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmm/OjedaAciegoR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MadridO21,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Multi-adjoint lattices from adjoint triples with involutive negation},
  journal      = {Fuzzy Sets Syst.},
  volume       = {405},
  pages        = {88--105},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.fss.2019.12.004},
  doi          = {10.1016/J.FSS.2019.12.004},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MadridO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MadridO21a,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Measures of inclusion and entropy based on the \emph{{\(\varphi\)}}-index
                  of inclusion},
  journal      = {Fuzzy Sets Syst.},
  volume       = {423},
  pages        = {29--54},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.fss.2021.01.011},
  doi          = {10.1016/J.FSS.2021.01.011},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MadridO21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caepia/2021,
  editor       = {Enrique Alba and
                  Gabriel Luque and
                  Francisco Chicano and
                  Carlos Cotta and
                  David Camacho and
                  Manuel Ojeda{-}Aciego and
                  Susana Montes and
                  Alicia Troncoso and
                  Jos{\'{e}} C. Riquelme and
                  Rodrigo Gil{-}Merino},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12882},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85713-4},
  doi          = {10.1007/978-3-030-85713-4},
  isbn         = {978-3-030-85712-7},
  timestamp    = {Wed, 13 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MadridO20,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Functional degrees of inclusion and similarity between \emph{L}-fuzzy
                  sets},
  journal      = {Fuzzy Sets Syst.},
  volume       = {390},
  pages        = {1--22},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.fss.2019.03.018},
  doi          = {10.1016/J.FSS.2019.03.018},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/MadridO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BurriezaMO20,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  title        = {A flexible logic-based approach to closeness using order of magnitude
                  qualitative reasoning},
  journal      = {Log. J. {IGPL}},
  volume       = {28},
  number       = {1},
  pages        = {121--133},
  year         = {2020},
  url          = {https://doi.org/10.1093/jigpal/jzz076},
  doi          = {10.1093/JIGPAL/JZZ076},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BurriezaMO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/MadridO20,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {On Contradiction and Inclusion Using Functional Degrees},
  journal      = {Int. J. Comput. Intell. Syst.},
  volume       = {13},
  number       = {1},
  pages        = {464--471},
  year         = {2020},
  url          = {https://doi.org/10.2991/ijcis.d.200409.001},
  doi          = {10.2991/IJCIS.D.200409.001},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcisys/MadridO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/CorderoE0OR20,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego and
                  Carlos Rossi},
  title        = {A Formal Concept Analysis Approach to Cooperative Conversational Recommendation},
  journal      = {Int. J. Comput. Intell. Syst.},
  volume       = {13},
  number       = {1},
  pages        = {1243--1252},
  year         = {2020},
  url          = {https://doi.org/10.2991/ijcis.d.200806.001},
  doi          = {10.2991/IJCIS.D.200806.001},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcisys/CorderoE0OR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CabreraCMOB20,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  title        = {Relational Galois connections between transitive digraphs: Characterization
                  and construction},
  journal      = {Inf. Sci.},
  volume       = {519},
  pages        = {439--450},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ins.2020.01.034},
  doi          = {10.1016/J.INS.2020.01.034},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/CabreraCMOB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/Valverde-Albacete20a,
  author       = {Francisco J. Valverde{-}Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Francisco J. Valverde{-}Albacete and
                  Martin Trnecka},
  title        = {Exploratory Data Analysis of Multi-label Classification Tasks with
                  Formal Context Analysis},
  booktitle    = {Proceedings of the Fifthteenth International Conference on Concept
                  Lattices and Their Applications, Tallinn, Estonia, June 29-July 1,
                  2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2668},
  pages        = {171--183},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2668/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/Valverde-Albacete20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MadridO20,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Giuseppe De Giacomo and
                  Alejandro Catal{\'{a}} and
                  Bistra Dilkina and
                  Michela Milano and
                  Sen{\'{e}}n Barro and
                  Alberto Bugar{\'{\i}}n and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {New Measures of Inclusion Between Fuzzy Sets in Terms of the {\(\varphi\)}-Index
                  of Inclusion},
  booktitle    = {{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)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {325},
  pages        = {2616--2623},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/FAIA200398},
  doi          = {10.3233/FAIA200398},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/MadridO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/CabreraCMO20,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Marie{-}Jeanne Lesot and
                  Susana M. Vieira and
                  Marek Z. Reformat and
                  Jo{\~{a}}o Paulo Carvalho and
                  Anna Wilbik and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Galois Connections Between Unbalanced Structures in a Fuzzy Framework},
  booktitle    = {Information Processing and Management of Uncertainty in Knowledge-Based
                  Systems - 18th International Conference, {IPMU} 2020, Lisbon, Portugal,
                  June 15-19, 2020, Proceedings, Part {III}},
  series       = {Communications in Computer and Information Science},
  volume       = {1239},
  pages        = {736--747},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50153-2\_54},
  doi          = {10.1007/978-3-030-50153-2\_54},
  timestamp    = {Tue, 29 Dec 2020 18:36:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/CabreraCMO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MadridOMP19,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego and
                  Jes{\'{u}}s Medina and
                  Irina Perfilieva},
  title        = {\emph{L}-fuzzy relational mathematical morphology based on adjoint
                  triples},
  journal      = {Inf. Sci.},
  volume       = {474},
  pages        = {75--89},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ins.2018.09.028},
  doi          = {10.1016/J.INS.2018.09.028},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/MadridOMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/AlbacetePCO19,
  author       = {Francisco Jos{\'{e}} Valverde Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Vil{\'{e}}m Nov{\'{a}}k and
                  Vladim{\'{\i}}r Mar{\'{\i}}k and
                  Martin Stepnicka and
                  Mirko Navara and
                  Petr Hurt{\'{\i}}k},
  title        = {Formal Equivalence Analysis},
  booktitle    = {Proceedings of the 11th Conference of the European Society for Fuzzy
                  Logic and Technology, {EUSFLAT} 2019, Prague, Czech Republic, September
                  9-13, 2019},
  series       = {Atlantis Studies in Uncertainty Modelling},
  volume       = {1},
  publisher    = {Atlantis Press},
  year         = {2019},
  url          = {https://doi.org/10.2991/eusflat-19.2019.109},
  doi          = {10.2991/EUSFLAT-19.2019.109},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/AlbacetePCO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/CabreraCMO19,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Vil{\'{e}}m Nov{\'{a}}k and
                  Vladim{\'{\i}}r Mar{\'{\i}}k and
                  Martin Stepnicka and
                  Mirko Navara and
                  Petr Hurt{\'{\i}}k},
  title        = {Towards fuzzy relational Galois connections between fuzzy T-digraphs},
  booktitle    = {Proceedings of the 11th Conference of the European Society for Fuzzy
                  Logic and Technology, {EUSFLAT} 2019, Prague, Czech Republic, September
                  9-13, 2019},
  series       = {Atlantis Studies in Uncertainty Modelling},
  volume       = {1},
  publisher    = {Atlantis Press},
  year         = {2019},
  url          = {https://doi.org/10.2991/eusflat-19.2019.112},
  doi          = {10.2991/EUSFLAT-19.2019.112},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/CabreraCMO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/CabreraCMO19,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Diana Cristea and
                  Florence Le Ber and
                  Baris Sertkaya},
  title        = {A Relational Extension of Galois Connections},
  booktitle    = {Formal Concept Analysis - 15th International Conference, {ICFCA} 2019,
                  Frankfurt, Germany, June 25-28, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11511},
  pages        = {290--303},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21462-3\_19},
  doi          = {10.1007/978-3-030-21462-3\_19},
  timestamp    = {Fri, 09 Apr 2021 18:47:26 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/CabreraCMO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/KridloO19,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {L{\'{a}}szl{\'{o}} T. K{\'{o}}czy and
                  Jes{\'{u}}s Medina{-}Moreno and
                  Elo{\'{\i}}sa Ram{\'{\i}}rez{-}Poussa},
  title        = {On the n-ary Generalization of Dual Bonds},
  booktitle    = {Interactions Between Computational Intelligence and Mathematics Part
                  2},
  series       = {Studies in Computational Intelligence},
  volume       = {794},
  pages        = {55--63},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-01632-6\_4},
  doi          = {10.1007/978-3-030-01632-6\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/sci/KridloO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CabreraCGOB18,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Francisca Garc{\'{\i}}a{-}Pardo and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  title        = {Galois Connections Between a Fuzzy Preordered Structure and a General
                  Fuzzy Structure},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {26},
  number       = {3},
  pages        = {1274--1287},
  year         = {2018},
  url          = {https://doi.org/10.1109/TFUZZ.2017.2718495},
  doi          = {10.1109/TFUZZ.2017.2718495},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tfs/CabreraCGOB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/Valverde-Albacete18,
  author       = {Francisco J. Valverde{-}Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Dmitry I. Ignatov and
                  Lhouari Nourine},
  title        = {A Data Analysis Application of Formal Independence Analysis},
  booktitle    = {Proceedings of the Fourteenth International Conference on Concept
                  Lattices and Their Applications, {CLA} 2018, Olomouc, Czech Republic,
                  June 12-14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2123},
  pages        = {117--128},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2123/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/Valverde-Albacete18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/KridloO18,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Luis Verdegay Galdeano and
                  David A. Pelta and
                  Inma P. Cabrera and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Formal Concept Analysis and Structures Underlying Quantum Logics},
  booktitle    = {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}},
  series       = {Communications in Computer and Information Science},
  volume       = {853},
  pages        = {574--584},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91473-2\_49},
  doi          = {10.1007/978-3-319-91473-2\_49},
  timestamp    = {Thu, 07 Jan 2021 08:57:40 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/KridloO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Valverde-Albacete18,
  author       = {Francisco J. Valverde{-}Albacete and
                  Carmen Pel{\'{a}}ez{-}Moreno and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Luis Verdegay Galdeano and
                  David A. Pelta and
                  Inma P. Cabrera and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Formal Independence Analysis},
  booktitle    = {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}},
  series       = {Communications in Computer and Information Science},
  volume       = {853},
  pages        = {596--608},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91473-2\_51},
  doi          = {10.1007/978-3-319-91473-2\_51},
  timestamp    = {Sat, 02 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/Valverde-Albacete18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipmu/2018-1,
  editor       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Luis Verdegay Galdeano and
                  David A. Pelta and
                  Inma P. Cabrera and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {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}},
  series       = {Communications in Computer and Information Science},
  volume       = {853},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91473-2},
  doi          = {10.1007/978-3-319-91473-2},
  isbn         = {978-3-319-91472-5},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/2018-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipmu/2018-2,
  editor       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Luis Verdegay Galdeano and
                  David A. Pelta and
                  Inma P. Cabrera and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {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
                  {II}},
  series       = {Communications in Computer and Information Science},
  volume       = {854},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91476-3},
  doi          = {10.1007/978-3-319-91476-3},
  isbn         = {978-3-319-91475-6},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/2018-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipmu/2018-3,
  editor       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jos{\'{e}} Luis Verdegay Galdeano and
                  Irina Perfilieva and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {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}},
  series       = {Communications in Computer and Information Science},
  volume       = {855},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91479-4},
  doi          = {10.1007/978-3-319-91479-4},
  isbn         = {978-3-319-91478-7},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/2018-3.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/IranzoMO17,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {On reductants in the framework of multi-adjoint logic programming},
  journal      = {Fuzzy Sets Syst.},
  volume       = {317},
  pages        = {27--43},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.fss.2016.09.004},
  doi          = {10.1016/J.FSS.2016.09.004},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/IranzoMO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CabreraCGOB17,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Francisca Garc{\'{\i}}a{-}Pardo and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  title        = {On the construction of adjunctions between a fuzzy preposet and an
                  unstructured set},
  journal      = {Fuzzy Sets Syst.},
  volume       = {320},
  pages        = {81--92},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.fss.2016.09.013},
  doi          = {10.1016/J.FSS.2016.09.013},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/CabreraCGOB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/AntoniCKKO17,
  author       = {L'ubom{\'{\i}}r Antoni and
                  Inma P. Cabrera and
                  Stanislav Krajci and
                  Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  title        = {The Chu construction and generalized formal concept analysis},
  journal      = {Int. J. Gen. Syst.},
  volume       = {46},
  number       = {5},
  pages        = {458--474},
  year         = {2017},
  url          = {https://doi.org/10.1080/03081079.2017.1349579},
  doi          = {10.1080/03081079.2017.1349579},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/AntoniCKKO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/BustinceMO17,
  author       = {Humberto Bustince and
                  Susana Montes and
                  Manuel Ojeda{-}Aciego},
  title        = {Fuzzy Mathematical Models for Computer Science and Decision Making},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {25},
  number       = {Supplement-1},
  pages        = {1--4},
  year         = {2017},
  url          = {https://doi.org/10.1142/S0218488517020020},
  doi          = {10.1142/S0218488517020020},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijufks/BustinceMO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BurriezaMO17,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  title        = {A multimodal logic for closeness},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {27},
  number       = {3-4},
  pages        = {225--237},
  year         = {2017},
  url          = {https://doi.org/10.1080/11663081.2018.1442137},
  doi          = {10.1080/11663081.2018.1442137},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BurriezaMO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/CabreraCO17,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  title        = {Towards relational fuzzy adjunctions},
  booktitle    = {2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
                  2017, Naples, Italy, July 9-12, 2017},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2017.8015677},
  doi          = {10.1109/FUZZ-IEEE.2017.8015677},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/CabreraCO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/KridloO17,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  title        = {Extending formal concept analysis using intuitionistic l-fuzzy sets},
  booktitle    = {2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
                  2017, Naples, Italy, July 9-12, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2017.8015570},
  doi          = {10.1109/FUZZ-IEEE.2017.8015570},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/KridloO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/CabreraCO17,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  title        = {Relational fuzzy Galois connections},
  booktitle    = {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},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IFSA-SCIS.2017.8023288},
  doi          = {10.1109/IFSA-SCIS.2017.8023288},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/CabreraCO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/KridloO17,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  title        = {Towards intuitionistic L-fuzzy formal t-concepts},
  booktitle    = {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},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IFSA-SCIS.2017.8023268},
  doi          = {10.1109/IFSA-SCIS.2017.8023268},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifsa/KridloO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/CabreraCO17,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  title        = {Galois connections in computational intelligence: {A} short survey},
  booktitle    = {2017 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SSCI.2017.8285310},
  doi          = {10.1109/SSCI.2017.8285310},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/CabreraCO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/MadridO17,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Modelling fuzzy partitions with fuzzy answer sets},
  booktitle    = {2017 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SSCI.2017.8285308},
  doi          = {10.1109/SSCI.2017.8285308},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/MadridO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/MadridO17,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Seraf{\'{\i}}n Moral and
                  Olivier Pivert and
                  Daniel S{\'{a}}nchez and
                  Nicol{\'{a}}s Mar{\'{\i}}n},
  title        = {A View of f-indexes of Inclusion Under Different Axiomatic Definitions
                  of Fuzzy Inclusion},
  booktitle    = {Scalable Uncertainty Management - 11th International Conference, {SUM}
                  2017, Granada, Spain, October 4-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10564},
  pages        = {307--318},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67582-4\_22},
  doi          = {10.1007/978-3-319-67582-4\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sum/MadridO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Medina-MorenoOP16,
  author       = {Jes{\'{u}}s Medina{-}Moreno and
                  Manuel Ojeda{-}Aciego and
                  Jozef P{\'{o}}cs and
                  Elo{\'{\i}}sa Ram{\'{\i}}rez{-}Poussa},
  title        = {On the Dedekind-MacNeille completion and formal concept analysis based
                  on multilattices},
  journal      = {Fuzzy Sets Syst.},
  volume       = {303},
  pages        = {1--20},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.fss.2016.01.007},
  doi          = {10.1016/J.FSS.2016.01.007},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/Medina-MorenoOP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/Ojeda-AciegoO16,
  author       = {Manuel Ojeda{-}Aciego and
                  Jan Outrata},
  title        = {Concept lattices and their applications},
  journal      = {Int. J. Gen. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {55--56},
  year         = {2016},
  url          = {https://doi.org/10.1080/03081079.2015.1072921},
  doi          = {10.1080/03081079.2015.1072921},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/Ojeda-AciegoO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/KonecnyO16,
  author       = {Jan Konecny and
                  Manuel Ojeda{-}Aciego},
  title        = {On homogeneous \emph{L}-bonds and heterogeneous \emph{L}-bonds},
  journal      = {Int. J. Gen. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {160--186},
  year         = {2016},
  url          = {https://doi.org/10.1080/03081079.2015.1072926},
  doi          = {10.1080/03081079.2015.1072926},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/KonecnyO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CabreraCGOB16,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Francisca Garc{\'{\i}}a{-}Pardo and
                  Manuel Ojeda{-}Aciego and
                  Bernard De Baets},
  editor       = {Marianne Huchard and
                  Sergei O. Kuznetsov},
  title        = {On the Existence of Right Adjoints for Surjective Mappings between
                  Fuzzy Structures},
  booktitle    = {Proceedings of the Thirteenth International Conference on Concept
                  Lattices and Their Applications, Moscow, Russia, July 18-22, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1624},
  pages        = {97--108},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1624/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/CabreraCGOB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KridloO16,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {Sergei O. Kuznetsov and
                  Amedeo Napoli and
                  Sebastian Rudolph},
  title        = {Towards a Sequent Calculus for Formal Contexts},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1703},
  pages        = {17--24},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1703/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/KridloO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BurriezaMO16,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Francisco Mart{\'{\i}}nez{-}{\'{A}}lvarez and
                  Alicia Troncoso and
                  H{\'{e}}ctor Quinti{\'{a}}n and
                  Emilio Corchado},
  title        = {A Hybrid Approach to Closeness in the Framework of Order of Magnitude
                  Qualitative Reasoning},
  booktitle    = {Hybrid Artificial Intelligent Systems - 11th International Conference,
                  {HAIS} 2016, Seville, Spain, April 18-20, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9648},
  pages        = {721--729},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-32034-2\_60},
  doi          = {10.1007/978-3-319-32034-2\_60},
  timestamp    = {Fri, 27 Mar 2020 08:52:04 +0100},
  biburl       = {https://dblp.org/rec/conf/hais/BurriezaMO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/CabreraCO16,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  title        = {On fuzzy relations, adjunctions, and functional fuzzy relations},
  booktitle    = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2016, Athens, Greece, December 6-9, 2016},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SSCI.2016.7850149},
  doi          = {10.1109/SSCI.2016.7850149},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ssci/CabreraCO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cla/2016scakd,
  editor       = {Manuel Ojeda{-}Aciego and
                  Dmitry I. Ignatov and
                  Alexander Lepskiy},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1687},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1687},
  urn          = {urn:nbn:de:0074-1687-2},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/2016scakd.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/CorderoEMOR15,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego and
                  Carlos Rossi},
  title        = {Knowledge discovery in social networks by using a logic-based treatment
                  of implications},
  journal      = {Knowl. Based Syst.},
  volume       = {87},
  pages        = {16--25},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.knosys.2015.07.018},
  doi          = {10.1016/J.KNOSYS.2015.07.018},
  timestamp    = {Fri, 23 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kbs/CorderoEMOR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/BustinceMO15,
  author       = {Humberto Bustince and
                  Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {The Notion of Weak-Contradiction: Definition and Measures},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {23},
  number       = {4},
  pages        = {1057--1069},
  year         = {2015},
  url          = {https://doi.org/10.1109/TFUZZ.2014.2337934},
  doi          = {10.1109/TFUZZ.2014.2337934},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tfs/BustinceMO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/AntoniCKKO15,
  author       = {L'ubom{\'{\i}}r Antoni and
                  Inmaculada P. Cabrera and
                  Stanislav Krajci and
                  Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {Sadok Ben Yahia and
                  Jan Konecny},
  title        = {Using the Chu Construction for Generalizing Formal Concept Analysis},
  booktitle    = {Proceedings of the Twelfth International Conference on Concept Lattices
                  and Their Applications, Clermont-Ferrand, France, October 13-16, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1466},
  pages        = {147--158},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1466/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/AntoniCKKO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MadridOP15,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego and
                  Irina Perfilieva},
  editor       = {Jos{\'{e}} Maria Alonso and
                  Humberto Bustince and
                  Marek Z. Reformat},
  title        = {{\(f\)}-inclusion indexes between fuzzy sets},
  booktitle    = {2015 Conference of the International Fuzzy Systems Association and
                  the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15),
                  Gij{\'{o}}n, Spain., June 30, 2015},
  publisher    = {Atlantis Press},
  year         = {2015},
  timestamp    = {Thu, 06 Oct 2022 12:30:16 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/MadridOP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Garcia-PardoCCO15,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jaume Baixeries and
                  Christian Sacarea and
                  Manuel Ojeda{-}Aciego},
  title        = {On Closure Systems and Adjunctions Between Fuzzy Preordered Sets},
  booktitle    = {Formal Concept Analysis - 13th International Conference, {ICFCA} 2015,
                  Nerja, Spain, June 23-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9113},
  pages        = {114--127},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19545-2\_7},
  doi          = {10.1007/978-3-319-19545-2\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/Garcia-PardoCCO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/Garcia-PardoCCO15,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  title        = {On Fuzzy Preordered Sets and Monotone Galois Connections},
  booktitle    = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015,
                  Cape Town, South Africa, December 7-10, 2015},
  pages        = {990--994},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SSCI.2015.144},
  doi          = {10.1109/SSCI.2015.144},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssci/Garcia-PardoCCO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfca/2015fcaa,
  editor       = {Manuel Ojeda{-}Aciego and
                  Jaume Baixeries and
                  Christian Sacarea},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1434},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1434},
  urn          = {urn:nbn:de:0074-1434-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfca/2015fcaa.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfca/2015,
  editor       = {Jaume Baixeries and
                  Christian Sacarea and
                  Manuel Ojeda{-}Aciego},
  title        = {Formal Concept Analysis - 13th International Conference, {ICFCA} 2015,
                  Nerja, Spain, June 23-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9113},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19545-2},
  doi          = {10.1007/978-3-319-19545-2},
  isbn         = {978-3-319-19544-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KonecnyMO14,
  author       = {Jan Konecny and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {Multi-adjoint concept lattices with heterogeneous conjunctors and
                  hedges},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {72},
  number       = {1-2},
  pages        = {73--89},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9405-y},
  doi          = {10.1007/S10472-014-9405-Y},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/KonecnyMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KridloO14,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  title        = {Revising the link between L-Chu correspondences and completely lattice
                  L-ordered sets},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {72},
  number       = {1-2},
  pages        = {91--113},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9416-8},
  doi          = {10.1007/S10472-014-9416-8},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/KridloO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CabreraCGMO14,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {On residuation in multilattices: Filters, congruences, and homomorphisms},
  journal      = {Fuzzy Sets Syst.},
  volume       = {234},
  pages        = {1--21},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.fss.2013.04.002},
  doi          = {10.1016/J.FSS.2013.04.002},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/CabreraCGMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Munoz-VelascoBO14,
  author       = {Emilio Mu{\~{n}}oz{-}Velasco and
                  Alfredo Burrieza and
                  Manuel Ojeda{-}Aciego},
  title        = {A logic framework for reasoning with movement based on fuzzy qualitative
                  representation},
  journal      = {Fuzzy Sets Syst.},
  volume       = {242},
  pages        = {114--131},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.fss.2013.07.014},
  doi          = {10.1016/J.FSS.2013.07.014},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Munoz-VelascoBO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/Diaz-MorenoMO14,
  author       = {Juan Carlos D{\'{\i}}az{-}Moreno and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {On basic conditions to generate multi-adjoint concept lattices via
                  Galois connections},
  journal      = {Int. J. Gen. Syst.},
  volume       = {43},
  number       = {2},
  pages        = {149--161},
  year         = {2014},
  url          = {https://doi.org/10.1080/03081079.2013.879302},
  doi          = {10.1080/03081079.2013.879302},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijgs/Diaz-MorenoMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Garcia-PardoCCOR14,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego and
                  Francisco J. Rodr{\'{\i}}guez{-}Sanchez},
  title        = {On the definition of suitable orderings to generate adjunctions over
                  an unstructured codomain},
  journal      = {Inf. Sci.},
  volume       = {286},
  pages        = {173--187},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ins.2014.07.006},
  doi          = {10.1016/J.INS.2014.07.006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Garcia-PardoCCOR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CabreraOP14,
  author       = {Inma P. Cabrera and
                  Manuel Ojeda{-}Aciego and
                  Jozef P{\'{o}}cs},
  editor       = {Karell Bertet and
                  Sebastian Rudolph},
  title        = {Ordering Objects via Attribute Preferences},
  booktitle    = {Proceedings of the Eleventh International Conference on Concept Lattices
                  and Their Applications, Ko{\v{s}}ice, Slovakia, October 7-10, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1252},
  pages        = {157--168},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1252/cla2014\_submission\_19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/CabreraOP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/DiazMMO14,
  author       = {Juan Carlos D{\'{\i}}az and
                  Nicol{\'{a}}s Madrid and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {New links between mathematical morphology and fuzzy property-oriented
                  concept lattices},
  booktitle    = {{IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2014,
                  Beijing, China, July 6-11, 2014},
  pages        = {599--603},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2014.6891882},
  doi          = {10.1109/FUZZ-IEEE.2014.6891882},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/DiazMMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Garcia-PardoCCOR14,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego and
                  Francisco J. Rodr{\'{\i}}guez{-}Sanchez},
  editor       = {Cynthia Vera Glodeanu and
                  Mehdi Kaytoue and
                  Christian Sacarea},
  title        = {On the Existence of Isotone Galois Connections between Preorders},
  booktitle    = {Formal Concept Analysis - 12th International Conference, {ICFCA} 2014,
                  Cluj-Napoca, Romania, June 10-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8478},
  pages        = {67--79},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07248-7\_6},
  doi          = {10.1007/978-3-319-07248-7\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/Garcia-PardoCCOR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Garcia-PardoCCOR14,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego and
                  Francisco J. Rodr{\'{\i}}guez{-}Sanchez},
  editor       = {Anne Laurent and
                  Olivier Strauss and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Generating Isotone Galois Connections on an Unstructured Codomain},
  booktitle    = {Information Processing and Management of Uncertainty in Knowledge-Based
                  Systems - 15th International Conference, {IPMU} 2014, Montpellier,
                  France, July 15-19, 2014, Proceedings, Part {III}},
  series       = {Communications in Computer and Information Science},
  volume       = {444},
  pages        = {91--99},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08852-5\_10},
  doi          = {10.1007/978-3-319-08852-5\_10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/Garcia-PardoCCOR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Julian-IranzoMO14,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Revisiting Reductants in the Multi-adjoint Logic Programming Framework},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {694--702},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_53},
  doi          = {10.1007/978-3-319-11558-0\_53},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/Julian-IranzoMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/EklundGKO14,
  author       = {Patrik Eklund and
                  Mar{\'{\i}}a {\'{A}}ngeles Gal{\'{a}}n Garc{\'{\i}}a and
                  Jari Kortelainen and
                  Manuel Ojeda{-}Aciego},
  editor       = {Chris Cornelis and
                  Marzena Kryszkiewicz and
                  Dominik Slezak and
                  Ernestina Menasalvas Ruiz and
                  Rafael Bello and
                  Lin Shang},
  title        = {Monadic Formal Concept Analysis},
  booktitle    = {Rough Sets and Current Trends in Computing - 9th International Conference,
                  {RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8536},
  pages        = {201--210},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08644-6\_21},
  doi          = {10.1007/978-3-319-08644-6\_21},
  timestamp    = {Sun, 02 Oct 2022 16:14:17 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/EklundGKO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/Garcia-PardoCCO14,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Chris Cornelis and
                  Marzena Kryszkiewicz and
                  Dominik Slezak and
                  Ernestina Menasalvas Ruiz and
                  Rafael Bello and
                  Lin Shang},
  title        = {On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions},
  booktitle    = {Rough Sets and Current Trends in Computing - 9th International Conference,
                  {RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8536},
  pages        = {211--221},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08644-6\_22},
  doi          = {10.1007/978-3-319-08644-6\_22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/Garcia-PardoCCO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MedinaO13,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {Dual multi-adjoint concept lattices},
  journal      = {Inf. Sci.},
  volume       = {225},
  pages        = {47--54},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ins.2012.10.030},
  doi          = {10.1016/J.INS.2012.10.030},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/MedinaO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KridloO13,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {Manuel Ojeda{-}Aciego and
                  Jan Outrata},
  title        = {CRL-Chu Correspondences},
  booktitle    = {Proceedings of the Tenth International Conference on Concept Lattices
                  and Their Applications, La Rochelle, France, October 15-18, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1062},
  pages        = {105--116},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1062/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KridloO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KonecnyO13,
  author       = {Jan Konecny and
                  Manuel Ojeda{-}Aciego},
  editor       = {Manuel Ojeda{-}Aciego and
                  Jan Outrata},
  title        = {Isotone L-bonds},
  booktitle    = {Proceedings of the Tenth International Conference on Concept Lattices
                  and Their Applications, La Rochelle, France, October 15-18, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1062},
  pages        = {153--162},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1062/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KonecnyO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CorderoEMO13,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego},
  editor       = {Manuel Ojeda{-}Aciego and
                  Jan Outrata},
  title        = {Computing Left-Minimal Direct Basis of implications},
  booktitle    = {Proceedings of the Tenth International Conference on Concept Lattices
                  and Their Applications, La Rochelle, France, October 15-18, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1062},
  pages        = {293--298},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1062/paper\_short4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/CorderoEMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/DiazMO13,
  author       = {Juan Carlos D{\'{\i}}az and
                  Jes{\'{u}}s Medina{-}Moreno and
                  Manuel Ojeda{-}Aciego},
  editor       = {Javier Montero and
                  Gabriella Pasi and
                  Davide Ciucci},
  title        = {On minimal requirements to obtain fuzzy concept-forming operators},
  booktitle    = {Proceedings of the 8th conference of the European Society for Fuzzy
                  Logic and Technology, EUSFLAT-13, Milano, Italy, September 11-13,
                  2013},
  publisher    = {Atlantis Press},
  year         = {2013},
  url          = {https://doi.org/10.2991/eusflat.2013.118},
  doi          = {10.2991/EUSFLAT.2013.118},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/DiazMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foci/MadridO13,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {On the measure of incoherent information in extended multi-adjoint
                  logic programs},
  booktitle    = {{IEEE} Symposium on Foundations of Computational Intelligence, {FOCI}
                  2013, Singapore, Singapore, April 16-19, 2013},
  pages        = {30--37},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/FOCI.2013.6602452},
  doi          = {10.1109/FOCI.2013.6602452},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foci/MadridO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/BustinceMO13,
  author       = {Humberto Bustince and
                  Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {A measure of contradiction based on the notion of N-weak-contradiction},
  booktitle    = {{FUZZ-IEEE} 2013, {IEEE} International Conference on Fuzzy Systems,
                  Hyderabad, India, 7-10 July, 2013, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2013.6622563},
  doi          = {10.1109/FUZZ-IEEE.2013.6622563},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/BustinceMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Medina-MorenoOR13,
  author       = {Jes{\'{u}}s Medina{-}Moreno and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Peggy Cellier and
                  Felix Distel and
                  Bernhard Ganter},
  title        = {Concept-Forming Operators on Multilattices},
  booktitle    = {Formal Concept Analysis, 11th International Conference, {ICFCA} 2013,
                  Dresden, Germany, May 21-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7880},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38317-5\_13},
  doi          = {10.1007/978-3-642-38317-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/Medina-MorenoOR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CorderoEBO13,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego},
  editor       = {Sergei O. Kuznetsov and
                  Amedeo Napoli and
                  Sebastian Rudolph},
  title        = {Bases via Minimal Generators},
  booktitle    = {Proceedings of the International Workshop "What can {FCA} do for Artificial
                  Intelligence?" {(FCA4AI} at {IJCAI} 2013), Beijing, China, August
                  5, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1058},
  pages        = {33--36},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1058/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/CorderoEBO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/Garcia-PardoCCO13,
  author       = {Francisca Garc{\'{\i}}a{-}Pardo and
                  Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Ignacio Rojas and
                  Gonzalo Joya Caparr{\'{o}}s and
                  Joan Cabestany},
  title        = {On Galois Connections and Soft Computing},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7903},
  pages        = {224--235},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38682-4\_26},
  doi          = {10.1007/978-3-642-38682-4\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwann/Garcia-PardoCCO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/IranzoMMMO13,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Jes{\'{u}}s Medina{-}Moreno and
                  Pedro J. Morcillo and
                  Gin{\'{e}}s Moreno and
                  Manuel Ojeda{-}Aciego},
  editor       = {Ignacio Rojas and
                  Gonzalo Joya Caparr{\'{o}}s and
                  Joan Cabestany},
  title        = {An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy
                  Tabulation},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7902},
  pages        = {647--655},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38679-4\_65},
  doi          = {10.1007/978-3-642-38679-4\_65},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iwann/IranzoMMMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cla/2013,
  editor       = {Manuel Ojeda{-}Aciego and
                  Jan Outrata},
  title        = {Proceedings of the Tenth International Conference on Concept Lattices
                  and Their Applications, La Rochelle, France, October 15-18, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1062},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1062},
  urn          = {urn:nbn:de:0074-1062-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/CabreraCGMO12,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {Finitary coalgebraic multisemilattices and multilattices},
  journal      = {Appl. Math. Comput.},
  volume       = {219},
  number       = {1},
  pages        = {31--44},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.amc.2011.10.081},
  doi          = {10.1016/J.AMC.2011.10.081},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amc/CabreraCGMO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MedinaO12,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {On multi-adjoint concept lattices based on heterogeneous conjunctors},
  journal      = {Fuzzy Sets Syst.},
  volume       = {208},
  pages        = {95--110},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.fss.2012.02.008},
  doi          = {10.1016/J.FSS.2012.02.008},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MedinaO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KridloKO12,
  author       = {Ondrej Kridlo and
                  Stanislav Krajci and
                  Manuel Ojeda{-}Aciego},
  title        = {The Category of L-Chu Correspondences and the Structure of L-Bonds},
  journal      = {Fundam. Informaticae},
  volume       = {115},
  number       = {4},
  pages        = {297--325},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-657},
  doi          = {10.3233/FI-2012-657},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/KridloKO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/MadridO12,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {On the existence and unicity of stable models in normal residuated
                  logic programs},
  journal      = {Int. J. Comput. Math.},
  volume       = {89},
  number       = {3},
  pages        = {310--324},
  year         = {2012},
  url          = {https://doi.org/10.1080/00207160.2011.580842},
  doi          = {10.1080/00207160.2011.580842},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcm/MadridO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CorderoEMO12,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego},
  editor       = {Laszlo Szathmary and
                  Uta Priss},
  title        = {Computing Minimal Generators from Implications: a Logic-guided Approach},
  booktitle    = {Proceedings of The Ninth International Conference on Concept Lattices
                  and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October
                  11-14, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {972},
  pages        = {187--198},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-972/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/CorderoEMO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KridloO12,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  editor       = {Laszlo Szathmary and
                  Uta Priss},
  title        = {Linking L-Chu Correspondences and Completely Lattice L-ordered Sets},
  booktitle    = {Proceedings of The Ninth International Conference on Concept Lattices
                  and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October
                  11-14, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {972},
  pages        = {233--244},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-972/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KridloO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KonecnyMO12,
  author       = {Jan Konecny and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Laszlo Szathmary and
                  Uta Priss},
  title        = {Using Intensifying Hedges to Reduce Size of Multi-adjoint Concept
                  Lattices with Heterogeneous Conjunctors},
  booktitle    = {Proceedings of The Ninth International Conference on Concept Lattices
                  and Their Applications, Fuengirola (M{\'{a}}laga), Spain, October
                  11-14, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {972},
  pages        = {245--256},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-972/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KonecnyMO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/KridloO11,
  author       = {Ondrej Kridlo and
                  Manuel Ojeda{-}Aciego},
  title        = {On \emph{L}-fuzzy Chu correspondences},
  journal      = {Int. J. Comput. Math.},
  volume       = {88},
  number       = {9},
  pages        = {1808--1818},
  year         = {2011},
  url          = {https://doi.org/10.1080/00207160903494147},
  doi          = {10.1080/00207160903494147},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcm/KridloO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/BurriezaMO11,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  title        = {A {PDL} Approach for Qualitative Velocity},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {19},
  number       = {1},
  pages        = {11--26},
  year         = {2011},
  url          = {https://doi.org/10.1142/S021848851100685X},
  doi          = {10.1142/S021848851100685X},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijufks/BurriezaMO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/MadridO11,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Measuring Inconsistency in Fuzzy Answer Set Semantics},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {19},
  number       = {4},
  pages        = {605--622},
  year         = {2011},
  url          = {https://doi.org/10.1109/TFUZZ.2011.2114669},
  doi          = {10.1109/TFUZZ.2011.2114669},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tfs/MadridO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foci/MadridO11,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {On the use of fuzzy stable models for inconsistent classical logic
                  programs},
  booktitle    = {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},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/FOCI.2011.5949476},
  doi          = {10.1109/FOCI.2011.5949476},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foci/MadridO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/JulianMMMO11,
  author       = {Pascual Juli{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Pedro J. Morcillo and
                  Gin{\'{e}}s Moreno and
                  Manuel Ojeda{-}Aciego},
  editor       = {Joan Cabestany and
                  Ignacio Rojas and
                  Gonzalo Joya Caparr{\'{o}}s},
  title        = {A Static Preprocess for Improving Fuzzy Thresholded Tabulation},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6692},
  pages        = {429--436},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21498-1\_54},
  doi          = {10.1007/978-3-642-21498-1\_54},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwann/JulianMMMO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/CabreraCO11,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Joan Cabestany and
                  Ignacio Rojas and
                  Gonzalo Joya Caparr{\'{o}}s},
  title        = {Non-deterministic Algebraic Structures for Soft Computing},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6692},
  pages        = {437--444},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21498-1\_55},
  doi          = {10.1007/978-3-642-21498-1\_55},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwann/CabreraCO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/DamasioMO11,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Anna Maria Fanelli and
                  Witold Pedrycz and
                  Alfredo Petrosino},
  title        = {On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence},
  booktitle    = {Fuzzy Logic and Applications - 9th International Workshop, {WILF}
                  2011, Trani, Italy, August 29-31,2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6857},
  pages        = {115--122},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23713-3\_15},
  doi          = {10.1007/978-3-642-23713-3\_15},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wilf/DamasioMO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DitmarschDGJO11,
  author       = {Hans van Ditmarsch and
                  David Fern{\'{a}}ndez{-}Duque and
                  Valentin Goranko and
                  Wojtek Jamroga and
                  Manuel Ojeda{-}Aciego},
  editor       = {Hans van Ditmarsch and
                  David Fern{\'{a}}ndez{-}Duque and
                  Valentin Goranko and
                  Wojciech Jamroga and
                  Manuel Ojeda{-}Aciego},
  title        = {Preface},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {278},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.10.001},
  doi          = {10.1016/J.ENTCS.2011.10.001},
  timestamp    = {Fri, 10 Mar 2023 15:30:37 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DitmarschDGJO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/m4m/2011,
  editor       = {Hans van Ditmarsch and
                  David Fern{\'{a}}ndez{-}Duque and
                  Valentin Goranko and
                  Wojciech Jamroga and
                  Manuel Ojeda{-}Aciego},
  title        = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {278},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/278/suppl/C},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/m4m/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MedinaO10,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {Multi-adjoint t-concept lattices},
  journal      = {Inf. Sci.},
  volume       = {180},
  number       = {5},
  pages        = {712--725},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ins.2009.11.018},
  doi          = {10.1016/J.INS.2009.11.018},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/MedinaO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CabreraCGMO10,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {A coalgebraic approach to non-determinism: Applications to multilattices},
  journal      = {Inf. Sci.},
  volume       = {180},
  number       = {22},
  pages        = {4323--4335},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ins.2010.07.002},
  doi          = {10.1016/J.INS.2010.07.002},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/CabreraCGMO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KridloKO10,
  author       = {Ondrej Kridlo and
                  Stanislav Krajci and
                  Manuel Ojeda{-}Aciego},
  editor       = {Marzena Kryszkiewicz and
                  Sergei A. Obiedkov},
  title        = {L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts},
  booktitle    = {Proceedings of the 7th International Conference on Concept Lattices
                  and Their Applications, Sevilla, Spain, October 19-21, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {672},
  pages        = {70--79},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-672/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KridloKO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/MedinaO10,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Marzena Kryszkiewicz and
                  Sergei A. Obiedkov},
  title        = {Towards Attribute Reduction in Multi-adjoint Concept Lattices},
  booktitle    = {Proceedings of the 7th International Conference on Concept Lattices
                  and Their Applications, Sevilla, Spain, October 19-21, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {672},
  pages        = {92--103},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-672/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/MedinaO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/MadridO10,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Measuring instability in normal residuated logic programs: Adding
                  information},
  booktitle    = {{FUZZ-IEEE} 2010, {IEEE} International Conference on Fuzzy Systems,
                  Barcelona, Spain, 18-23 July, 2010, Proceedings},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/FUZZY.2010.5584819},
  doi          = {10.1109/FUZZY.2010.5584819},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/MadridO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/MadridO10,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Eyke H{\"{u}}llermeier and
                  Rudolf Kruse and
                  Frank Hoffmann},
  title        = {Measuring Instability in Normal Residuated Logic Programs: Discarding
                  Information},
  booktitle    = {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}},
  series       = {Communications in Computer and Information Science},
  volume       = {80},
  pages        = {128--137},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14055-6\_14},
  doi          = {10.1007/978-3-642-14055-6\_14},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipmu/MadridO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CabreraCGMO09,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {Congruence relations on some hyperstructures},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {3-4},
  pages        = {361--370},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9146-5},
  doi          = {10.1007/S10472-009-9146-5},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CabreraCGMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MedinaOR09,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  title        = {Formal concept analysis via multi-adjoint concept lattices},
  journal      = {Fuzzy Sets Syst.},
  volume       = {160},
  number       = {2},
  pages        = {130--144},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.fss.2008.05.004},
  doi          = {10.1016/J.FSS.2008.05.004},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MedinaOR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/CabreraCGMO09,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  title        = {Fuzzy congruence relations on nd-groupoids},
  journal      = {Int. J. Comput. Math.},
  volume       = {86},
  number       = {10{\&}11},
  pages        = {1684--1695},
  year         = {2009},
  url          = {https://doi.org/10.1080/00207160902721797},
  doi          = {10.1080/00207160902721797},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcm/CabreraCGMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BurriezaMOO09,
  author       = {Alfredo Burrieza and
                  {\'{A}}ngel Mora and
                  Manuel Ojeda{-}Aciego and
                  Ewa Orlowska},
  title        = {An implementation of a dual tableaux system for order-of-magnitude
                  qualitative reasoning},
  journal      = {Int. J. Comput. Math.},
  volume       = {86},
  number       = {10{\&}11},
  pages        = {1852--1866},
  year         = {2009},
  url          = {https://doi.org/10.1080/00207160902777906},
  doi          = {10.1080/00207160902777906},
  timestamp    = {Fri, 23 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcm/BurriezaMOO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/StracciaOD09,
  author       = {Umberto Straccia and
                  Manuel Ojeda{-}Aciego and
                  Carlos Viegas Dam{\'{a}}sio},
  title        = {On Fixed-Points of Multivalued Functions on Complete Lattices and
                  Their Application to Generalized Logic Programs},
  journal      = {{SIAM} J. Comput.},
  volume       = {38},
  number       = {5},
  pages        = {1881--1911},
  year         = {2009},
  url          = {https://doi.org/10.1137/070695976},
  doi          = {10.1137/070695976},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/StracciaOD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO09,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Pedro Meseguer and
                  Lawrence Mandow and
                  Rafael M. Gasca},
  title        = {Closeness and Distance Relations in Order of Magnitude Qualitative
                  Reasoning via {PDL}},
  booktitle    = {Current Topics in Artificial Intelligence, 13th Conference of the
                  Spanish Association for Artificial Intelligence, {CAEPIA} 2009, Seville,
                  Spain, November 9-13, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5988},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-14264-2\_8},
  doi          = {10.1007/978-3-642-14264-2\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/BurriezaMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MedinaO09,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jo{\~{a}}o Paulo Carvalho and
                  Didier Dubois and
                  Uzay Kaymak and
                  Jo{\~{a}}o Miguel da Costa Sousa},
  title        = {On the Representation Theorem of Multi-Adjoint Concept Lattices},
  booktitle    = {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},
  year         = {2009},
  url          = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1091.pdf},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/MedinaO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/MadridO09,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {On the measure of incoherence in extended residuated logic programs},
  booktitle    = {{FUZZ-IEEE} 2009, {IEEE} International Conference on Fuzzy Systems,
                  Jeju Island, Korea, 20-24 August 2009, Proceedings},
  pages        = {598--603},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FUZZY.2009.5277277},
  doi          = {10.1109/FUZZY.2009.5277277},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/MadridO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/CabreraCGMO09,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Gloria Guti{\'{e}}rrez and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego},
  editor       = {Ant{\'{o}}nio Dourado Correia and
                  Agostinho C. Rosa and
                  Kurosh Madani},
  title        = {On Congruences and Homomorphisms on Some Non-deterministic Algebras},
  booktitle    = {{IJCCI} 2009 - Proceedings of the International Joint Conference on
                  Computational Intelligence, Funchal, Madeira, Portugal, October 5-7,
                  2009},
  pages        = {59--67},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcci/CabreraCGMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/CabreraCO09,
  author       = {Inma P. Cabrera and
                  Pablo Cordero and
                  Manuel Ojeda{-}Aciego},
  editor       = {Joan Cabestany and
                  Francisco Sandoval Hern{\'{a}}ndez and
                  Alberto Prieto and
                  Juan M. Corchado},
  title        = {Fuzzy Logic, Soft Computing, and Applications},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5517},
  pages        = {236--244},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02478-8\_30},
  doi          = {10.1007/978-3-642-02478-8\_30},
  timestamp    = {Fri, 06 Dec 2019 09:55:14 +0100},
  biburl       = {https://dblp.org/rec/conf/iwann/CabreraCO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/MadridO09,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  editor       = {Vito Di Ges{\`{u}} and
                  Sankar K. Pal and
                  Alfredo Petrosino},
  title        = {On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated
                  Logic Programs},
  booktitle    = {Fuzzy Logic and Applications, 8th International Workshop, {WILF} 2009,
                  Palermo, Italy, June 9-12, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5571},
  pages        = {60--67},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02282-1\_8},
  doi          = {10.1007/978-3-642-02282-1\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wilf/MadridO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/appml/MedinaOR08,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  title        = {Relating generalized concept lattices and concept lattices for non-commutative
                  conjunctors},
  journal      = {Appl. Math. Lett.},
  volume       = {21},
  number       = {12},
  pages        = {1296--1300},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.aml.2007.12.026},
  doi          = {10.1016/J.AML.2007.12.026},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/appml/MedinaOR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Ojeda-AciegoGH08,
  author       = {Manuel Ojeda{-}Aciego and
                  Siegfried Gottwald and
                  Petr H{\'{a}}jek},
  title        = {Editorial},
  journal      = {Fuzzy Sets Syst.},
  volume       = {159},
  number       = {10},
  pages        = {1129--1130},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.fss.2007.12.002},
  doi          = {10.1016/J.FSS.2007.12.002},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Ojeda-AciegoGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/MadridO08,
  author       = {Nicol{\'{a}}s Madrid and
                  Manuel Ojeda{-}Aciego},
  title        = {Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs},
  booktitle    = {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},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/WIIAT.2008.357},
  doi          = {10.1109/WIIAT.2008.357},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/MadridO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/BurriezaMO08,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Hector Geffner and
                  Rui Prada and
                  Isabel Machado Alexandre and
                  Nuno David},
  title        = {A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning},
  booktitle    = {Advances in Artificial Intelligence - {IBERAMIA} 2008, 11th Ibero-American
                  Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5290},
  pages        = {11--20},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88309-8\_2},
  doi          = {10.1007/978-3-540-88309-8\_2},
  timestamp    = {Wed, 02 Aug 2023 10:13:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iberamia/BurriezaMO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IranzoMMO09,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Jes{\'{u}}s Medina and
                  Gin{\'{e}}s Moreno and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
  title        = {Thresholded Tabulation in a Fuzzy Logic Setting},
  booktitle    = {Proceedings of the Eighth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {248},
  pages        = {115--130},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.063},
  doi          = {10.1016/J.ENTCS.2009.07.063},
  timestamp    = {Thu, 09 Mar 2023 14:51:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IranzoMMO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MedinaOR07,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  title        = {Fuzzy logic programming via multilattices},
  journal      = {Fuzzy Sets Syst.},
  volume       = {158},
  number       = {6},
  pages        = {674--688},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.fss.2006.11.006},
  doi          = {10.1016/J.FSS.2006.11.006},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MedinaOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/EklundGMOV07,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Powersets of terms and composite monads},
  journal      = {Fuzzy Sets Syst.},
  volume       = {158},
  number       = {23},
  pages        = {2552--2574},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.fss.2007.06.002},
  doi          = {10.1016/J.FSS.2007.06.002},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/EklundGMOV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/DamasioMO07,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {Termination of logic programs with imperfect information: applications
                  and query procedure},
  journal      = {J. Appl. Log.},
  volume       = {5},
  number       = {3},
  pages        = {435--458},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jal.2006.03.004},
  doi          = {10.1016/J.JAL.2006.03.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/DamasioMO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO07,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Daniel Borrajo and
                  Luis A. Castillo and
                  Juan M. Corchado},
  title        = {A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness
                  and Distance},
  booktitle    = {Current Topics in Artificial Intelligence, 12th Conference of the
                  Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca,
                  Spain, November 12-16, 2007. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4788},
  pages        = {210--219},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75271-4\_22},
  doi          = {10.1007/978-3-540-75271-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/BurriezaMO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MedinaOR07,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Martin Stepnicka and
                  Vil{\'{e}}m Nov{\'{a}}k and
                  Ulrich Bodenhofer},
  title        = {Concept Lattices under Non-commutative Conjunctors Are Generalized
                  Concept Lattices},
  booktitle    = {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},
  publisher    = {Universitas Ostraviensis},
  year         = {2007},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT\_2007/papers/Ojeda-Aciego\_Manuel\_(121).pdf},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/MedinaOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/MedinaOR07,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Sergei O. Kuznetsov and
                  Stefan Schmidt},
  title        = {On Multi-adjoint Concept Lattices: Definition and Representation Theorem},
  booktitle    = {Formal Concept Analysis, 5th International Conference, {ICFCA} 2007,
                  Clermont-Ferrand, France, February 12-16, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4390},
  pages        = {197--209},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-70901-5\_13},
  doi          = {10.1007/978-3-540-70901-5\_13},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfca/MedinaOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/MedinaOR07,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Alexander F. Gelbukh and
                  Angel Fernando Kuri Morales},
  title        = {On Reachability of Minimal Models of Multilattice-Based Logic Programs},
  booktitle    = {{MICAI} 2007: Advances in Artificial Intelligence, 6th Mexican International
                  Conference on Artificial Intelligence, Aguascalientes, Mexico, November
                  4-10, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4827},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76631-5\_26},
  doi          = {10.1007/978-3-540-76631-5\_26},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/MedinaOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/MedinaOR07,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Francesco Masulli and
                  Sushmita Mitra and
                  Gabriella Pasi},
  title        = {A Fixed-Point Theorem for Multi-valued Functions with an Application
                  to Multilattice-Based Logic Programming},
  booktitle    = {Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy
                  Logic and Applications, {WILF} 2007, Camogli, Italy, July 7-10, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4578},
  pages        = {37--44},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73400-0\_5},
  doi          = {10.1007/978-3-540-73400-0\_5},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wilf/MedinaOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/DamasioMO06,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  title        = {A Tabulation Proof Procedure for First-order Residuated Logic Programs:
                  Soundness, Completeness and Optimizations},
  booktitle    = {{IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2006,
                  Vancouver, BC, Canada, July 16-21, 2006},
  pages        = {2004--2011},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/FUZZY.2006.1681978},
  doi          = {10.1109/FUZZY.2006.1681978},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/DamasioMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/RelMiCS/BurriezaOO06,
  author       = {Alfredo Burrieza and
                  Manuel Ojeda{-}Aciego and
                  Ewa Orlowska},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Relational Approach to Order-of-Magnitude Reasoning},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments
                  II, International Workshops of {COST} Action 274, TARSKI, 2002-2005,
                  Selected Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4342},
  pages        = {105--124},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11964810\_6},
  doi          = {10.1007/11964810\_6},
  timestamp    = {Sun, 02 Oct 2022 15:53:27 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BurriezaOO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BurriezaO05,
  author       = {Alfredo Burrieza and
                  Manuel Ojeda{-}Aciego},
  title        = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
                  with Comparability and Negligibility Relations},
  journal      = {Fundam. Informaticae},
  volume       = {68},
  number       = {1-2},
  pages        = {21--46},
  year         = {2005},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi68-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BurriezaO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO05,
  author       = {Alfredo Burrieza and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Manuel Ojeda{-}Aciego},
  editor       = {Roque Mar{\'{\i}}n and
                  Eva Onaindia and
                  Alberto Bugar{\'{\i}}n and
                  Jos{\'{e}} Santos Reyes},
  title        = {Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4177},
  pages        = {370--378},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11881216\_39},
  doi          = {10.1007/11881216\_39},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/BurriezaMO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/EklundGGMOV05,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Werner G{\"{a}}hler and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Eduard Montseny and
                  Pilar Sobrevilla},
  title        = {A note on partially ordered generalized terms},
  booktitle    = {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},
  publisher    = {Universidad Polytecnica de Catalunya},
  year         = {2005},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT-LFA\_2005/papers/S115-05.pdf},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/EklundGGMOV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/MedinaCO05,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jos{\'{e}} Mira and
                  Jos{\'{e}} R. {\'{A}}lvarez},
  title        = {Interval-Valued Neural Multi-adjoint Logic Programs},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3561},
  pages        = {518--527},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499220\_53},
  doi          = {10.1007/11499220\_53},
  timestamp    = {Wed, 13 Jan 2021 08:41:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwinac/MedinaCO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/MedinaOR05,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Jorge Ruiz{-}Calvi{\~{n}}o},
  editor       = {Isabelle Bloch and
                  Alfredo Petrosino and
                  Andrea Tettamanzi},
  title        = {Multi-lattices as a Basis for Generalized Fuzzy Logic Programming},
  booktitle    = {Fuzzy Logic and Applications, 6th International Workshop, {WILF} 2005,
                  Crema, Italy, September 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3849},
  pages        = {61--70},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11676935\_8},
  doi          = {10.1007/11676935\_8},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wilf/MedinaOR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/EklundGMOV04,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Similarities between powersets of terms},
  journal      = {Fuzzy Sets Syst.},
  volume       = {144},
  number       = {1},
  pages        = {213--225},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.fss.2003.10.021},
  doi          = {10.1016/J.FSS.2003.10.021},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/EklundGMOV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MedinaOV04,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  title        = {Similarity-based unification: a multi-adjoint approach},
  journal      = {Fuzzy Sets Syst.},
  volume       = {146},
  number       = {1},
  pages        = {43--62},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.fss.2003.11.005},
  doi          = {10.1016/J.FSS.2003.11.005},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/MedinaOV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/MedinaCO04,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  title        = {A neural implementation of multi-adjoint logic programming},
  journal      = {J. Appl. Log.},
  volume       = {2},
  number       = {3},
  pages        = {301--324},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jal.2004.03.006},
  doi          = {10.1016/J.JAL.2004.03.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/MedinaCO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/DamasioMO04,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {A Tabulation Proof Procedure for Residuated Logic Programming},
  booktitle    = {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},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/DamasioMO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/MedinaCO04,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Christian Lema{\^{\i}}tre and
                  Carlos A. Reyes Garc{\'{\i}}a and
                  Jes{\'{u}}s A. Gonz{\'{a}}lez},
  title        = {Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs},
  booktitle    = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
                  Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3315},
  pages        = {717--726},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30498-2\_72},
  doi          = {10.1007/978-3-540-30498-2\_72},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iberamia/MedinaCO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DamasioMO04,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {Sorted Multi-adjoint Logic Programs: Termination Results and Applications},
  booktitle    = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
                  2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3229},
  pages        = {252--265},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30227-8\_23},
  doi          = {10.1007/978-3-540-30227-8\_23},
  timestamp    = {Tue, 07 May 2024 20:11:09 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/DamasioMO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Ojeda-AciegoV04,
  author       = {Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {tascpl: {TAS} Solver for Classical Propositional Logic},
  booktitle    = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
                  2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3229},
  pages        = {738--741},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30227-8\_70},
  doi          = {10.1007/978-3-540-30227-8\_70},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Ojeda-AciegoV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Ojeda-AciegoVZ03,
  author       = {Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s and
                  Slawomir Zadrozny},
  title        = {Special issue: Guest Editorial [Computational and Mathematical Methods
                  in Science and Engineering 2002 - Best Papers]},
  journal      = {Kybernetika},
  volume       = {39},
  number       = {5},
  pages        = {509--510},
  year         = {2003},
  url          = {http://www.kybernetika.cz/content/2003/5/509},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kybernetika/Ojeda-AciegoVZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaO03,
  author       = {Alfredo Burrieza and
                  Manuel Ojeda{-}Aciego},
  editor       = {Ricardo Conejo and
                  Maite Urretavizcaya and
                  Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz},
  title        = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3040},
  pages        = {66--75},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25945-9\_7},
  doi          = {10.1007/978-3-540-25945-9\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/BurriezaO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/MedinaOVV03,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde and
                  Peter Vojt{\'{a}}s},
  editor       = {Ricardo Conejo and
                  Maite Urretavizcaya and
                  Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz},
  title        = {Towards Biresiduated Multi-adjoint Logic Programming},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3040},
  pages        = {608--617},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25945-9\_60},
  doi          = {10.1007/978-3-540-25945-9\_60},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caepia/MedinaOVV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MedinaO03,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Michael Wagenknecht and
                  Rainer Hampel},
  title        = {Homogenizing multi-adjoint logic programs},
  booktitle    = {Proceedings of the 3rd Conference of the European Society for Fuzzy
                  Logic and Technology, Zittau, Germany, September 10-12, 2003},
  pages        = {640--644},
  publisher    = {University of Applied Sciences at Zittau/G{\"{o}}rlitz, Germany},
  year         = {2003},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT\_2003/papers/09Medina.pdf},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/MedinaO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/MedinaMO03,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Jos{\'{e}} Mira and
                  Jos{\'{e}} R. {\'{A}}lvarez},
  title        = {A Neural Approach to Extended Logic Programs},
  booktitle    = {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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2686},
  pages        = {654--661},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44868-3\_83},
  doi          = {10.1007/3-540-44868-3\_83},
  timestamp    = {Wed, 13 Jan 2021 08:40:59 +0100},
  biburl       = {https://dblp.org/rec/conf/iwann/MedinaMO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ojeda-AciegoBGP02,
  author       = {Manuel Ojeda{-}Aciego and
                  Gerhard Brewka and
                  Inman P. de Guzm{\'{a}}n and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Preface},
  journal      = {Stud Logica},
  volume       = {72},
  number       = {1},
  pages        = {3--5},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020534210459},
  doi          = {10.1023/A:1020534210459},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ojeda-AciegoBGP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GutierrezGMOV02,
  author       = {Gloria Guti{\'{e}}rrez and
                  Inman P. de Guzm{\'{a}}n and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Satisfiability Testing for Boolean Formulas Using Delta-trees},
  journal      = {Stud Logica},
  volume       = {72},
  number       = {1},
  pages        = {85--112},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020530109551},
  doi          = {10.1023/A:1020530109551},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GutierrezGMOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MedinaCO02,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Donia Scott},
  title        = {A Neural Approach to Abductive Multi-adjoint Reasoning},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 10th
                  International Conference, {AIMSA} 2002, Varna, Bulgaria, September
                  4-6, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2443},
  pages        = {213--222},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46148-5\_22},
  doi          = {10.1007/3-540-46148-5\_22},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/MedinaCO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/GuzmanOV02,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Donia Scott},
  title        = {Restricted Delta-Trees in Multiple-Valued Logics},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 10th
                  International Conference, {AIMSA} 2002, Varna, Bulgaria, September
                  4-6, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2443},
  pages        = {223--232},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46148-5\_23},
  doi          = {10.1007/3-540-46148-5\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/GuzmanOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/KrajciLMOV02,
  author       = {Stanislav Krajci and
                  Rastislav Lencses and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Troels Andreasen and
                  Amihai Motro and
                  Henning Christiansen and
                  Henrik Legind Larsen},
  title        = {A Similarity-Based Unification Model for Flexible Querying},
  booktitle    = {Flexible Query Answering Systems, 5th International Conference, {FQAS}
                  2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2522},
  pages        = {263--273},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36109-X\_21},
  doi          = {10.1007/3-540-36109-X\_21},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fqas/KrajciLMOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/GuzmanOV02,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Francisco J. Garijo and
                  Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
                  Miguel Toro},
  title        = {Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics},
  booktitle    = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
                  Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2527},
  pages        = {161--171},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36131-6\_17},
  doi          = {10.1007/3-540-36131-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/iberamia/GuzmanOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MedinaCO02,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Peter J. Stuckey},
  title        = {Multi-adjoint Logic Programming: {A} Neural Net Approach},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {468},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_33},
  doi          = {10.1007/3-540-45619-8\_33},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MedinaCO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KrajciLMOVV02,
  author       = {Stanislav Krajci and
                  Rastislav Lencses and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde and
                  Peter Vojt{\'{a}}s},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Non-commutativity and Expressive Deductive Logic Databases},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_13},
  doi          = {10.1007/3-540-45757-7\_13},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/KrajciLMOVV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EklundGMOV02,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Patrik Eklund and
                  Manuel Ojeda{-}Aciego},
  title        = {A categorical approach to unification of generalised terms},
  booktitle    = {Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite
                  Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {5},
  pages        = {41--51},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80513-9},
  doi          = {10.1016/S1571-0661(04)80513-9},
  timestamp    = {Tue, 06 Dec 2022 10:41:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EklundGMOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MedinaOV02,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Patrik Eklund and
                  Manuel Ojeda{-}Aciego},
  title        = {A Multi-Adjoint Approach to Similarity-Based Unification},
  booktitle    = {Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite
                  Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {5},
  pages        = {70--85},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80515-2},
  doi          = {10.1016/S1571-0661(04)80515-2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MedinaOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EklundO02,
  author       = {Patrik Eklund and
                  Manuel Ojeda{-}Aciego},
  editor       = {Patrik Eklund and
                  Manuel Ojeda{-}Aciego},
  title        = {Preface},
  booktitle    = {Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite
                  Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {5},
  pages        = {104--105},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80517-1},
  doi          = {10.1016/S1571-0661(05)80517-1},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EklundO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2002uncl,
  editor       = {Patrik Eklund and
                  Manuel Ojeda{-}Aciego},
  title        = {Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite
                  Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {5},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/5},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/2002uncl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AguileraGOV01,
  author       = {Gabriel Aguilera and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Reductions for non-clausal theorem proving},
  journal      = {Theor. Comput. Sci.},
  volume       = {266},
  number       = {1-2},
  pages        = {81--112},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00044-X},
  doi          = {10.1016/S0304-3975(00)00044-X},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AguileraGOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/MedinaOV01,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Pavel Brazdil and
                  Al{\'{\i}}pio Jorge},
  title        = {A Procedural Semantics for Multi-adjoint Logic Programming},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {2258},
  pages        = {290--297},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45329-6\_29},
  doi          = {10.1007/3-540-45329-6\_29},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epia/MedinaOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MedinaOV01,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Jonathan M. Garibaldi and
                  Robert Ivor John},
  title        = {Similarity-based unification: a multi-adjoint approach},
  booktitle    = {Proceedings of the 2nd International Conference in Fuzzy Logic and
                  Technology, Leicester, United Kingdom, September 5-7, 2001},
  pages        = {273--276},
  publisher    = {De Montfort University, Leicester, {UK}},
  year         = {2001},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT\_2001/papers/273\_Medina.pdf},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/MedinaOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/MedinaOV01,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  title        = {A Completeness Theorem for Multi-Adjoint Logic Programming},
  booktitle    = {Proceedings of the 10th {IEEE} International Conference on Fuzzy Systems,
                  Melbourne, Australia, December 2-5, 2001},
  pages        = {1031--1034},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/FUZZ.2001.1009138},
  doi          = {10.1109/FUZZ.2001.1009138},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/MedinaOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MedinaOV01,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Philippe Codognet},
  title        = {A Multi-adjoint Logic Approach to Abductive Reasoning},
  booktitle    = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
                  Cyprus, November 26 - December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2237},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45635-X\_26},
  doi          = {10.1007/3-540-45635-X\_26},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MedinaOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/EklundGMOV01,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Composing Submonads},
  booktitle    = {31st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2001, Warsaw, Poland, May 22-24, 2001, Proceedings},
  pages        = {367--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISMVL.2001.924597},
  doi          = {10.1109/ISMVL.2001.924597},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/EklundGMOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MedinaOV01,
  author       = {Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Peter Vojt{\'{a}}s},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {Multi-adjoint Logic Programming with Continuous Semantics},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {351--364},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_26},
  doi          = {10.1007/3-540-45402-0\_26},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MedinaOV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GutierrezGMOV00,
  author       = {Gloria Guti{\'{e}}rrez and
                  Inman P. de Guzm{\'{a}}n and
                  Javier Mart{\'{\i}}nez and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Manuel Ojeda{-}Aciego and
                  Inman P. de Guzm{\'{a}}n and
                  Gerhard Brewka and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Reduction Theorems for Boolean Formulas Using Delta-Trees},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
                  Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1919},
  pages        = {179--192},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40006-0\_13},
  doi          = {10.1007/3-540-40006-0\_13},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GutierrezGMOV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EklundGMOV00,
  author       = {Patrik Eklund and
                  Maria A. Gal{\'{a}}n and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Ted Hurley and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Michel P. Schellekens and
                  Anthony Karel Seda},
  title        = {A graphical approach to monad compositions},
  booktitle    = {First Irish Conference on the Mathematical Foundations of Computer
                  Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
                  July 20-21, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {40},
  pages        = {145--160},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80041-6},
  doi          = {10.1016/S1571-0661(05)80041-6},
  timestamp    = {Wed, 30 Nov 2022 10:58:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EklundGMOV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2000,
  editor       = {Manuel Ojeda{-}Aciego and
                  Inman P. de Guzm{\'{a}}n and
                  Gerhard Brewka and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
                  Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1919},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40006-0},
  doi          = {10.1007/3-540-40006-0},
  isbn         = {3-540-41131-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GuzmanOV99,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Implicates and reduction techniques for temporal logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {27},
  number       = {1-4},
  pages        = {3--23},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018923315631},
  doi          = {10.1023/A:1018923315631},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GuzmanOV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/GuzmanOV99,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {Hamid R. Arabnia},
  title        = {Multiple-Valued Tableaux with delta-reductions},
  booktitle    = {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},
  publisher    = {{CSREA} Press},
  year         = {1999},
  timestamp    = {Fri, 26 Mar 2004 13:51:06 +0100},
  biburl       = {https://dblp.org/rec/conf/icai/GuzmanOV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/AguileraGOV98,
  author       = {Gabriel Aguilera and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {Reducing signed propositional formulas},
  journal      = {Soft Comput.},
  volume       = {2},
  number       = {4},
  pages        = {157--166},
  year         = {1998},
  url          = {https://doi.org/10.1007/s005000050048},
  doi          = {10.1007/S005000050048},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/AguileraGOV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GuzmanOV98,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  editor       = {J{\"{u}}rgen Dix and
                  Luis Fari{\~{n}}as del Cerro and
                  Ulrich Furbach},
  title        = {Implicates and Reduction Techniques for Temporal Logics},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
                  Dagstuhl, Germany, October 12-15, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1489},
  pages        = {309--323},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49545-2\_21},
  doi          = {10.1007/3-540-49545-2\_21},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GuzmanOV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/EncisoMGO96,
  author       = {Manuel Enciso and
                  J. F. Moncada and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {Executing Intensional Logic with the {TAS} Tool},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {561--566},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 11:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/EncisoMGO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GuzmanOV95,
  author       = {Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego and
                  Agust{\'{\i}}n Valverde},
  title        = {A Formal Identification between Tuples and Lists with an Application
                  to List-Arithmetic Categories},
  journal      = {Acta Informatica},
  volume       = {32},
  number       = {1},
  pages        = {61--78},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01185405},
  doi          = {10.1007/BF01185405},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GuzmanOV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AguileraGO95,
  author       = {Gabriel Aguilera and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego},
  title        = {Increasing the efficiency of automated theorem proving},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {5},
  number       = {1},
  pages        = {9--29},
  year         = {1995},
  url          = {https://doi.org/10.1080/11663081.1995.10510841},
  doi          = {10.1080/11663081.1995.10510841},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AguileraGO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AguileraGGO94,
  author       = {Gabriel Aguilera and
                  Jos{\'{e}} Luis Gal{\'{a}}n and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Roberto Barbuti and
                  Isidro Ramos},
  title        = {{TAS-D++} vs tablas semanticas},
  booktitle    = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
                  Spain, September 19-22, 1994, Volume 2},
  pages        = {438--439},
  year         = {1994},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/AguileraGGO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AguileraGO94,
  author       = {Gabriel Aguilera and
                  Inman P. de Guzm{\'{a}}n and
                  Manuel Ojeda{-}Aciego},
  editor       = {Craig MacNish and
                  David Pearce and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {TAS-D\({}^{\mbox{++}}\): Syntactic Trees Transformations for Automated
                  Theorem Proving},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
                  York, UK, September 5-8, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {838},
  pages        = {198--216},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0021973},
  doi          = {10.1007/BFB0021973},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AguileraGO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}