default search action
BibTeX records: Manuel Ojeda-Aciego
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.