Manuel Ojeda-Aciego's publications

[303]

C. Aguilera-Ventura, E. Muñoz-Velasco, M. Ojeda-Aciego, and A. Yuste-Ginel, editors. Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza, volume 22 of Cuadernos de Lógica, Epistemología y Lenguaje. College Publications, 2024. [ bib | http ]

[302]

N. Madrid and M. Ojeda-Aciego. Approaching the square of opposition in terms of the f-indexes of inclusion and contradiction. Fuzzy Sets and Systems, 476:Article 108769, 2024. [ bib | DOI | Abstract ]

[301]

O. Krídlo, D. López-Rodríguez, M. Ojeda-Aciego, and M. Reformat. An FCA-based approach to RDF graphs. In Proc of Fuzzy Set Theory and Applications (FSTA), 2024. [ bib | Abstract ]

[300]

O. Krídlo, D. López-Rodríguez, L. Antoni, P. Eliaš, S. Krajči, and M. Ojeda-Aciego. Connecting concept lattices with bonds induced by external information. Information Sciences, 648:Article 119498, 2023. [ bib | DOI | Abstract ]

[299]

T. Flaminio, L. Godo, N. Madrid, and M. Ojeda-Aciego. A logic to reason about f-indices of inclusion over L_n. In 13th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 2023. [ bib | DOI | Abstract ]

[298]

M. Ojeda-Aciego. On the φ-degree of inclusion. In Proc of Intl Conf on Formal Concept Analysis (ICFCA), 2023. Invited talk. [ bib ]

[297]

M. Ojeda-Aciego, K. Sauerwald, and R. Jäschke, editors. 28th Intl Conference on Conceptual Structures (ICCS), Lecture Notes in Computer Science 14133, 2023. Springer. [ bib | DOI ]

[296]

N. Madrid and M. Ojeda-Aciego. The f-index of inclusion as optimal adjoint pair for fuzzy modus ponens. Fuzzy Sets and Systems, 466:Article 108474, 2023. [ bib | DOI | Abstract ]

[295]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Fuzzy relational Galois connections between fuzzy transitive digraphs. Fuzzy Sets and Systems, 463:Article 108456, 2023. [ bib | DOI | Abstract ]

[294]

O. Krídlo and M. Ojeda-Aciego. Sugeno integral for Atanassov intuitionistic fuzzy sets. Studies in Computational Intelligence, 1040:71-77, 2023. [ bib | DOI | Abstract ]

[293]

M. Ojeda-Aciego and J.M. Rodriguez-Jimenez. Advances in forgery detection of driving licences using truthfulness degrees. Studies in Computational Intelligence, 1040:145-151, 2023. [ bib | DOI | Abstract ]

[292]

N. Madrid and M. Ojeda-Aciego. A measure of consistency for fuzzy logic theories. Mathematical Methods in the Applied Sciences, 46:15982-15995, 2023. [ bib | DOI | Abstract ]

[291]

F. Pérez-Gámez, P. Cordero, M. Enciso, Á. Mora, and M. Ojeda-Aciego. Grading the unknown information via intuitionistic approach. In Eur. Symp. on Computational Intelligence and Mathematics, 2022. [ bib | Abstract ]

[290]

F.J. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Can FCA provide a framework for artificial general intelligence? In Proc Workshop What can FCA do for Artificial Intelligence? (FCA4AI@IJCAI-ECAI'22), 2022. [ bib | .pdf | Abstract ]

[289]

N. Madrid and M. Ojeda-Aciego. Using f-indexes of inclusion and contradiction for a fuzzy version of the square of oppositions. In Proc of Computational and Mathematial methods in Science and Engineering (CMMSE), 2022. [ bib ]

[288]

D. López-Rodríguez, E. Muñoz-Velasco, and M. Ojeda-Aciego. Formal methods in FCA and big data. In R. Missaoui, L. Kwuida, and T. Abdessalem, editors, Complex Data Analytics with Formal Concept Analysis. Springer, 2022. [ bib | DOI ]

[287]

N. Madrid and M. Ojeda-Aciego. Nuevos resultados sobre el f-índice de inclusión. In Proc of Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), 2022. [ bib | Abstract ]

[286]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Conexiones de Galois relacionales difusas entre digrafos transitivos difusos. In Proc of Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), 2022. [ bib | Abstract ]

[285]

F. Pérez-Gámez, P. Cordero, M. Enciso, Á. Mora, and M. Ojeda-Aciego. Análisis de conceptos formales bajo una visión intuicionista. In Proc of Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), 2022. [ bib | Abstract ]

[284]

F.J. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On the affordance-theoretic bases of the landscape of knowledge paradigm. In Proc of Concept Lattices and their Applications (CLA), 2022. [ bib | .pdf | Abstract ]

[283]

F. Pérez-Gámez, P. Cordero, M. Enciso, Á. Mora, and M. Ojeda-Aciego. Partial formal contexts with degrees. In Proc of Concept Lattices and their Applications (CLA), 2022. [ bib | .pdf | Abstract ]

[282]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. On the definition of fuzzy relational Galois connections between fuzzy transitive digraphs. Communications in Computer and Information Science, 1601:100-106, 2022. [ bib | Abstract ]

[281]

F.J. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Encoding non-global time representations into the lattice of divisibility. Communications in Computer and Information Science, 1601:118-129, 2022. [ bib | Abstract ]

[280]

O. Krídlo and M. Ojeda-Aciego. Classifying adjoint pairs and adjoint triples in an Atanassov L-fuzzy framework. IEEE Transactions on Fuzzy Systems, 30(3):863-868, 2022. [ bib | DOI | Abstract ]

[279]

F. Pérez-Gámez, D. López-Rodríguez, P. Cordero, Á. Mora, and M. Ojeda-Aciego. Simplifying implications with positive and negative attributes: a logic-based approach. Mathematics, 10(4), 2022. [ bib | DOI | Abstract ]

[278]

O. Krídlo and M. Ojeda-Aciego. Lower Sugeno-like integral for multiadjoint FCA. In Proc of Fuzzy Set Theory and Applications (FSTA), 2022. [ bib | Abstract ]

[277]

M. Ojeda-Aciego. Galois connections between fuzzy unbalanced structures. In Proc of Fuzzy Set Theory and Applications (FSTA), 2022. Plenary talk. [ bib | .html ]

[276]

O. Krídlo and M. Ojeda-Aciego. Sugeno integral for Atanassov intuitionistic fuzzy sets. In Eur. Symp. on Computational Intelligence and Mathematics, 2021. [ bib | Abstract ]

[275]

M. Ojeda-Aciego and J.M. Rodriguez-Jimenez. Advances in forgery detection of driving licences using truthfulness degrees. In Eur. Symp. on Computational Intelligence and Mathematics, 2021. To appear. [ bib | Abstract ]

[274]

N. Madrid and M. Ojeda-Aciego. Residuated structures via the f-index of inclusion. In Computational and Mathematical Methods in Science and Engineering, 2021. [ bib | Abstract ]

[273]

N. Madrid and M. Ojeda-Aciego. Measuring consistency for fuzzy logic theories. In Actas del Congreso Español de Tecnologías y Lógicas Difusas, 2021. [ bib | Abstract ]

[272]

N. Madrid and M. Ojeda-Aciego. Approaching the square of oppositions in terms of the f-indexes of inclusion and contradiction. In Proc. of the 19th World Congress of the International Fuzzy Systems Association and 12th Conference of the European Society for Fuzzy Logic and Technology, 2021. [ bib | DOI | Abstract ]

[271]

N. Madrid and M. Ojeda-Aciego. Measures of inclusion and entropy based on the φ-index of inclusion. Fuzzy Sets and Systems, 423:29-54, 2021. [ bib | DOI | Abstract ]

[270]

J.M. Rodríguez and M. Ojeda-Aciego. Formal concept analysis with negative attributes for forgery detection. Computational and Mathematical Methods, 3(6):e1124, 2021. [ bib | DOI | Abstract ]

[269]

N. Madrid and M. Ojeda-Aciego. Multi-adjoint lattices from adjoint triples with involutive negation. Fuzzy Sets and Systems, 405:88-105, 2021. [ bib | DOI | .pdf | Abstract ]

[268]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. Cercanía y despreciabilidad usando lógica con órdenes de magnitud. In C. Barés, F.J. Salguero, and F. Soler, editors, Lógica, Conocimiento y Abducción. College Publications, 2021. ISBN: 978-1-84890-358-6. [ bib | http | Abstract ]

[267]

N. Madrid and M. Ojeda-Aciego. Inconsistency in fuzzy logic systems. In Proc. of Computational and Mathematical Methods in Science and Engineering (CMMSE), 2020. [ bib ]

[266]

P. Cordero, M. Enciso, A. Mora, M. Ojeda-Aciego, and C. Rossi. A formal concept analysis approach to cooperative conversational recommendation. Intl J. of Computational Intelligence Systems, 13(1):1243 - 1252, 2020. [ bib | DOI | Abstract ]

[265]

N. Madrid and M. Ojeda-Aciego. On contradiction and inclusion using functional degrees. Intl J. of Computational Intelligence Systems, 13(1):464-471, 2020. [ bib | DOI | Abstract ]

[264]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Relational Galois connections between transitive fuzzy digraphs. Mathematical Methods in the Applied Sciences, 43(9):5673-5680, 2020. [ bib | DOI | .pdf | Abstract ]

[263]

N. Madrid and M. Ojeda-Aciego. New measures of inclusion between fuzzy sets in terms of the φ-index of inclusion. In Proc. of 24th European Conference on Artificial Intelligence (ECAI), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 2616-2623, 2020. [ bib | DOI | Abstract ]

[262]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Logic Journal of the IGPL, 28(1):121-133, 2020. [ bib | DOI | .pdf | Abstract ]

[261]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Galois connections between unbalanced structures in a fuzzy framework. Communications in Computer and Information Science, 1239:736-747, 2020. [ bib | DOI | Abstract ]

[260]

F. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Exploratory data analysis of multi-label classification tasks with formal context analysis. In Proc. of the Intl Conf on Concept Lattices and their Applications, CLA'20, pages 171-183, 2020. [ bib | .pdf | Abstract ]

[259]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Relational Galois connections between transitive digraphs: characterization and construction. Information Sciences, 519:439-450, 2020. [ bib | DOI | .pdf | Abstract ]

[258]

N. Madrid and M. Ojeda-Aciego. Functional degrees of inclusion and similarity between L-fuzzy sets. Fuzzy Sets and Systems, 390:1-22, 2020. [ bib | DOI | .pdf | Abstract ]

[257]

N. Madrid and M. Ojeda-Aciego. Some relationships between the notions of f-inclusion and f-contradiction. In Proc. of European Symposium of Computational Intelligence and Mathematics (ESCIM), 2019. [ bib ]

[256]

O. Krídlo, M. Ojeda-Aciego, T. Put, and M. Reformat. On some categories underlying knowledge graphs. In Proc. of European Symposium of Computational Intelligence and Mathematics (ESCIM), 2019. [ bib ]

[255]

P. Cordero, M. Enciso, A. Mora, M. Ojeda-Aciego, and C. Rossi. Interactive search by means of the minimal generators. In Proc. of European Symposium of Computational Intelligence and Mathematics (ESCIM), 2019. [ bib ]

[254]

O. Krídlo and M. Ojeda-Aciego. Relating Hilbert-Chu correspondences and big toy models for quantum mechanics. In Computational Intelligence and Mathematics for Tackling Complex Problems, Studies in Computational Intelligence, vol 819, 2019. [ bib | DOI | Abstract ]

[253]

J.M Rodriguez-Jimenez and M. Ojeda-Aciego. Analysing patterns in false documents with formal concept analysis to detect forgers. In Proc. of Computational and Mathematical Methods in Science and Engineering (CMMSE), 2019. [ bib ]

[252]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Relational Galois connections between fuzzy t-digraphs. In Proc. of Computational and Mathematical Methods in Science and Engineering (CMMSE), 2019. [ bib ]

[251]

N. Madrid and M. Ojeda-Aciego. Towards a measure of inclusion from the index of inclusion between fuzzy sets. In Proc. of Computational and Mathematical Methods in Science and Engineering (CMMSE), 2019. [ bib ]

[250]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. A relational extension of Galois connections. In Proc. of Intl Conf on Formal Concept Analysis (ICFCA), Lecture Notes in Artificial Intelligence, vol 11511, pages 290-303, 2019. [ bib | DOI | Abstract ]

[249]

F. Valverde-Albacete, C. Peláez-Moreno, P. Cordero, and M. Ojeda-Aciego. Formal equivalence analysis. In Proc. of the European Society on Fuzzy Logic and Technology, EUSFLAT'19, 2019. [ bib | DOI | Abstract ]

[248]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Towards fuzzy relational Galois connections between fuzzy t-digraphs. In Proc. of the European Society on Fuzzy Logic and Technology, EUSFLAT'19, 2019. [ bib | DOI | Abstract ]

[247]

N. Madrid, J. Medina, M. Ojeda-Aciego, and I. Perfilieva. L-fuzzy relational mathematical morphology based on adjoint triples. Information Sciences, 474:75-89, 2019. [ bib | DOI | .pdf | Abstract ]

[246]

O. Krídlo and M. Ojeda-Aciego. An adjoint pair for intuitionistic L-fuzzy values. In Trends in Mathematics and Computational Intelligence, Studies in Computational Intelligence, vol 796, pages 167-173. 2019. [ bib | DOI | Abstract ]

[245]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Relational connections between preordered sets. Lecture Notes in Electrical Engineering, 574:163-169, 2019. [ bib | DOI ]

[244]

I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Compatibility of Galois connections and powering. In Proc. of the Computational and Mathematical Methods in Science and Engineering, CMMSE'18, 2018. [ bib ]

[243]

O. Krídlo and M. Ojeda-Aciego. On the n-ary generalization of dual bonds. In Interactions Between Computational Intelligence and Mathematics (Part 2), Studies in Computational Intelligence, vol 794, pages 55-63. 2018. [ bib | DOI | Abstract ]

[242]

J. Medina, M. Ojeda-Aciego, J.L. Verdegay, D. Pelta, I.P. Cabrera, B. Bouchon-Meunier, and R. Yager, editors. Information Processing and Management of Uncertainty in Knowledge-Based Systems: Theory and Foundations I, volume 853 of Communications in Computer and Information Science. Springer, 2018. [ bib | DOI ]

[241]

J. Medina, M. Ojeda-Aciego, J.L. Verdegay, D. Pelta, I.P. Cabrera, B. Bouchon-Meunier, and R. Yager, editors. Information Processing and Management of Uncertainty in Knowledge-Based Systems: Theory and Foundations II, volume 854 of Communications in Computer and Information Science. Springer, 2018. [ bib | DOI ]

[240]

J. Medina, M. Ojeda-Aciego, J.L. Verdegay, I. Perfilieva, B. Bouchon-Meunier, and R. Yager, editors. Information Processing and Management of Uncertainty in Knowledge-Based Systems: Applications, volume 855 of Communications in Computer and Information Science. Springer, 2018. [ bib | DOI ]

[239]

F. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. A data analysis application of formal independence analysis. In Proc. of the Intl Conf on Concept Lattices and their Applications, CLA'18, pages 117-128, 2018. [ bib | .pdf | Abstract ]

[238]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. Logics for order-of-magnitude qualitative reasoning: formalizing negligibility. In M. Zawidzki and J. Golińska-Pilarek, editors, Ewa Orlowska on Relational Methods in Logic and Computer Science, volume 17 of Outstanding Contributions to Logic, chapter 8. Springer, 2018. [ bib | DOI | Abstract ]

[237]

O. Krídlo and M. Ojeda-Aciego. Formal concept analysis and structures underlying quantum logics. Communications in Computer and Information Science, 853:574-584, 2018. [ bib | .pdf | Abstract ]

[236]

F. Valverde-Albacete, C. Peláez-Moreno, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Formal independence analysis. Communications in Computer and Information Science, 853:596-608, 2018. [ bib | .pdf | Abstract ]

[235]

I.P. Cabrera, P. Cordero, F. Garcia-Pardo, M. Ojeda-Aciego, and B. De Baets. Galois connections between a fuzzy preordered structure and a general fuzzy structure. IEEE Transactions on Fuzzy Systems, 26(3):1274-1287, 2018. [ bib | DOI | .pdf | Abstract ]

[234]

N. Madrid and M. Ojeda-Aciego. Inconsistency measures in general fuzzy logic programming. In J. Grant and M.V. Martinez, editors, Measuring Inconsistency in Information, volume 73 of Studies in Logic, chapter 5, pages 147-168. College publications, 2018. [ bib | http | Abstract ]

[233]

H. Bustince, S. Montes, and M. Ojeda-Aciego. Fuzzy mathematical models for computer science and decision making. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 25:1-4, 2017. [ bib | DOI | Abstract ]

[232]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. A multimodal logic for closeness. Journal of Applied Non-Classical Logics, 27:225-237, 2017. [ bib | DOI | .pdf | Abstract ]

[231]

O. Krídlo and M. Ojeda-Aciego. An adjoint pair for intuitionistic L-fuzzy values. In Proc. of the European Symposium on Computational Intelligence and Mathematics ESCIM'17, 2017. [ bib | .pdf | Abstract ]

[230]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Relation-based Galois connections: towards the residual of a relation. In Computational and Mathematical Methods in Science and Engineering (CMMSE'17), 2017. [ bib | .pdf | Abstract ]

[229]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Galois connections in computational intelligence: a short survey. In Foundations of Computational Intelligence (FOCI@SSCI'17), 2017. [ bib | DOI | .pdf | Abstract ]

[228]

N. Madrid and M. Ojeda-Aciego. Modelling fuzzy partitions with fuzzy answer sets. In Foundations of Computational Intelligence (FOCI@SSCI'17), 2017. [ bib | DOI | .pdf | Abstract ]

[227]

N. Madrid and M. Ojeda-Aciego. A view of f-indexes of inclusion under different axiomatic definitions of fuzzy inclusion. Lecture Notes in Artificial Intelligence, 10564:307-318, 2017. [ bib | DOI | .pdf | Abstract ]

[226]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Relational fuzzy Galois connections. In Joint 17th World Congress of Intl Fuzzy Systems Association and 9th Intl Conf on Soft Computing and Intelligent Systems (IFSA-SCIS'17), 2017. [ bib | DOI | .pdf | Abstract ]

[225]

O. Krídlo and M. Ojeda-Aciego. Towards intuitionistic L-fuzzy formal t-concepts. In Joint 17th World Congress of Intl Fuzzy Systems Association and 9th Intl Conf on Soft Computing and Intelligent Systems (IFSA-SCIS'17), 2017. [ bib | DOI | .pdf | Abstract ]

[224]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Towards relational fuzzy adjunctions. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'17), 2017. [ bib | DOI | .pdf | Abstract ]

[223]

O. Krídlo and M. Ojeda-Aciego. Extending formal concept analysis using intuitionistic L-fuzzy sets. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'17), 2017. [ bib | DOI | .pdf | Abstract ]

[222]

L. Antoni, I. P. Cabrera, S. Krajči, O. Krídlo, and M. Ojeda-Aciego. The Chu construction and generalized formal concept analysis. Intl J of General Systems, 46:458-474, 2017. [ bib | DOI | .pdf | Abstract ]

[221]

I.P. Cabrera, P. Cordero, F. Garcia-Pardo, M. Ojeda-Aciego, and B. De Baets. On the construction of adjunctions between a fuzzy preposet and an unstructured set. Fuzzy Sets and Systems, 320:81-92, 2017. [ bib | DOI | .pdf | Abstract ]

[220]

P. Julián, J. Medina, and M. Ojeda-Aciego. On reductants in the framework of multiadjoint logic programming. Fuzzy Sets and Systems, 317:27-43, 2017. [ bib | DOI | .pdf | Abstract ]

[219]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Characterizing the existence of residual for a morphism between a fuzzy preposet and an unordered fuzzy structure. In Proc. of the Biennial Congress of the Royal Spanish Mathematical Society RSME'17, 2017. [ bib ]

[218]

J. Medina, M. Ojeda-Aciego, J. Pócs, and E. Ramírez-Poussa. On the Dedekind-MacNeille completion and formal concept analysis based on multilattices. Fuzzy Sets and Systems, 303:1-20, 2016. [ bib | DOI | .pdf | Abstract ]

[217]

M. Ojeda-Aciego and J. Outrata. Guest editorial: Concept lattices and their applications. Intl J of General Systems, 45(2):55-56, 2016. [ bib | DOI ]

[216]

M. Ojeda-Aciego, D. Ignatov, and A. Lepskiy, editors. Soft Computing Applications and Knowledge Discovery (SCAKD'16), volume 1687 of CEUR Proceedings, 2016. [ bib | http ]

[215]

J. Konecny and M. Ojeda-Aciego. On homogeneous L-bonds and heterogeneous L-bonds. Intl J of General Systems, 45(2):160-186, 2016. [ bib | DOI | .pdf | Abstract ]

[214]

N. Madrid, J. Medina, M. Ojeda-Aciego, and I. Perfilieva. Toward the use of fuzzy relations in the definition of mathematical morphology operators. Journal of Fuzzy Set Valued Analysis, 2016(1):12 pages, 2016. [ bib | DOI | Abstract ]

[213]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. A hybrid approach to closeness in the framework of order of magnitude qualitative reasoning. Lect. Notes in Computer Science, 9648:721-729, 2016. [ bib | DOI | Abstract ]

[212]

O. Krídlo and M. Ojeda-Aciego. On the n-ary generalization of dual bonds. In Proc. of the European Symposium on Computational Intelligence and Mathematics ESCIM'16, pages 55-59, 2016. [ bib | .pdf | Abstract ]

[211]

M. Ojeda-Aciego. Bonds in a fuzzy environment. In Proc. of the European Symposium on Computational Intelligence and Mathematics ESCIM'16, page 30, 2016. Keynote talk. [ bib | .pdf | Abstract ]

[210]

O. Krídlo and M. Ojeda-Aciego. Towards a sequent calculus for formal contexts. In Proc. of “What can FCA do for Artificial Intelligence?” FCA4AI, collocated with ECAI'16., 2016. [ bib | .pdf | Abstract ]

[209]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On fuzzy relations, functional relations, and adjunctions. In Proc. of Foundations of Computational Intelligence, FOCI, 2016. [ bib | DOI | .pdf ]

[208]

I.P. Cabrera, P. Cordero, B. De Baets, F. García-Pardo, and M. Ojeda-Aciego. On the existence of right adjoints for surjective mappings between fuzzy structures. In Proc. of Concept Lattices and their Applications, CLA, 2016. [ bib | .pdf | Abstract ]

[207]

I.P. Cabrera, P. Cordero, B. De Baets, F. García-Pardo, and M. Ojeda-Aciego. Fuzzy adjunction revisited. In Proc. of the Spanish Conference on Fuzzy Logic and Technology, ESTYLF, 2016. [ bib ]

[206]

I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. The natural embedding of fuzzy preposets and its residual mapping. In Proc. of Computational and Mathematical Methods in Science and Engineering, CMMSE, 2016. [ bib ]

[205]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Constructing right adjoints between fuzzy preordered sets. In Proc. of the Conference of the Spanish Association for Artificial Intelligence, CAEPIA, 2015. [ bib | Abstract ]

[204]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. Logic-based order of magnitude qualitative reasoning for closeness via proximity intervals: a first approach. In Proc. of the Conference of the Spanish Association for Artificial Intelligence, CAEPIA, 2015. [ bib | Abstract ]

[203]

J. Medina, M. Ojeda-Aciego, and J. Pócs. Concepts and multilattices: the distributivity of the Dedekind-MacNeille completion. In Proc. of the Conference of the Spanish Association for Artificial Intelligence, CAEPIA, 2015. [ bib | Abstract ]

[202]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On fuzzy preordered sets and monotone Galois connections. In IEEE Symposium on Foundations of Computational Intelligence, FOCI 2015, 2015. [ bib | .pdf | Abstract ]

[201]

L. Antoni, I. P. Cabrera, S. Krajči, O. Krídlo, and M. Ojeda-Aciego. Using the Chu construction for generalizing formal concept analysis. In Proc. of Concept Lattices and their Applications, 2015. [ bib | .pdf | Abstract ]

[200]

P. Cordero, M. Enciso, A. Mora, M. Ojeda-Aciego, and C. Rossi. Knowledge discovery in social networks by using a logic-based treatment of implications. Knowledge-Based Systems, 87:16-25, 2015. [ bib | http | Abstract ]

[199]

M. Ojeda-Aciego, J. Baixeries, and C. Sacarea, editors. Formal Concept Analysis and Applications, volume 1434 of CEUR Proceedings, 2015. [ bib | http ]

[198]

H. Bustince, N. Madrid, and M. Ojeda-Aciego. The notion of weak-contradiction: definition and measures. IEEE Transactions on Fuzzy Systems, 23(4):1057-1069, 2015. [ bib | http | .pdf | Abstract ]

[197]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On closure systems and adjunctions between fuzzy preordered sets. Lect. Notes in Computer Science, 9113:114-127, 2015. [ bib | Abstract ]

[196]

J. Baixeries, M. Ojeda-Aciego, and C. Sacarea, editors. Formal Concept Analysis, volume 9113 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2015. [ bib | http ]

[195]

N. Madrid, M. Ojeda-Aciego, and I. Perfilieva. f-inclusion indexes between fuzzy sets. In Proc. of IFSA-EUSFLAT, 2015. [ bib | http | Abstract ]

[194]

E. Rodríguez, K. Bertet, P. Cordero, M. Enciso, A. Mora, and M. Ojeda-Aciego. From implicational systems to direct-optimal bases: a logic-based approach. Applied Mathematics and Information Sciences, 9(2L):1-13, 2015. [ bib | .pdf | Abstract ]

[193]

I.P. Cabrera, P. Cordero, F. García, and M. Ojeda-Aciego. On the definition of fuzzy adjunction. In Proc. of XXIV CEDYA/XIV Congress on Applied Mathematics, pages 307-308, 2015. [ bib ]

[192]

I.P. Cabrera, P. Cordero, F. García, and M. Ojeda-Aciego. On the notion of fuzzy adjunctions between fuzzy orders. In Proc. of Computational Methods in Mathematics, Science, and Engineering (CMMSE 2015), pages 267-274, 2015. [ bib ]

[191]

O. Krídlo and M. Ojeda-Aciego. Linking L-Chu correspondences and completely lattice L-ordered sets. Annals of Mathematics and Artificial Intelligence, 72(1-2):91-113, 2014. [ bib | http | .pdf | Abstract ]

[190]

J. Konecny, J. Medina, and M. Ojeda-Aciego. Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Annals of Mathematics and Artificial Intelligence, 72(1-2):73-89, 2014. [ bib | http | .pdf | Abstract ]

[189]

F. García-Pardo, I.P. Cabrera, P. Cordero, M. Ojeda-Aciego, and F.J. Rodríguez. On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Information Sciences, 286:173-187, 2014. [ bib | http | .pdf | Abstract ]

[188]

P. Julián, J. Medina, and M. Ojeda-Aciego. Revisiting reductants in the multi-adjoint logic programming framework. Lect. Notes in Artificial Intelligence, 8761:694-702, 2014. [ bib | http | .pdf | Abstract ]

[187]

I.P. Cabrera, M. Ojeda-Aciego, and Jozef Pócs. Ordering objects via attribute preferences. In Proc. of Concept Lattices and their Applications, pages 157-168, 2014. [ bib | .pdf | Abstract ]

[186]

N. Madrid, J. Medina, J.C. Moreno, and M. Ojeda-Aciego. New links between mathematical morphology and fuzzy property-oriented concept lattices. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'14), pages 600-603, 2014. [ bib | http | .pdf | Abstract ]

[185]

P. Eklund, M.A. Galán, J. Kortelainen, and M. Ojeda-Aciego. Monadic formal concept analysis. Lect. Notes in Computer Science, 8536:201-210, 2014. [ bib | Abstract ]

[184]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On adjunctions between fuzzy preordered sets: Necessary conditions. Lect. Notes in Computer Science, 8536:211-221, 2014. [ bib | .pdf | Abstract ]

[183]

F. García-Pardo, I.P. Cabrera, P. Cordero, M. Ojeda-Aciego, and F.J. Rodríguez. On the existence of isotone Galois connections between preorders. Lect. Notes in Computer Science, 8478:67-79, 2014. [ bib | .pdf | Abstract ]

[182]

F. García-Pardo, I.P. Cabrera, P. Cordero, M. Ojeda-Aciego, and F.J. Rodríguez. Generating isotone Galois connections on an unstructured codomain. Communications in Computer and Information Science, 444:91-99, 2014. [ bib | .pdf | Abstract ]

[181]

A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets and Systems, 242:114-131, 2014. [ bib | http | .pdf | Abstract ]

[180]

J.C. Díaz, J. Medina, and M. Ojeda-Aciego. On basic conditions to generate multi-adjoint concept lattices via Galois connections. Intl Journal of General Systems, 43(2):149-161, 2014. [ bib | http | .pdf | Abstract ]

[179]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On the construction of fuzzy Galois connections. In XVII Spanish Conference on Fuzzy Logic and Technology, pages 99-102, 2014. [ bib | Abstract ]

[178]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. On residuation in multilattices: filters, congruences, and homomorphisms. Fuzzy Sets and Systems, 234:1-21, 2014. [ bib | http | .pdf | Abstract ]

[177]

P. Cordero, M. Enciso, A. Mora, and M. Ojeda-Aciego. Computing left-minimal direct basis of implications. In Proc. of Concept Lattices and Applications, CLA 2013, pages 293-298, 2013. [ bib | .pdf | Abstract ]

[176]

O. Krídlo and M. Ojeda-Aciego. CRL-Chu correspondences. In Proc. of Concept Lattices and Applications, CLA 2013, pages 105-116, 2013. [ bib | .pdf | Abstract ]

[175]

J. Konecny and M. Ojeda-Aciego. Isotone L-bonds. In Proc. of Concept Lattices and Applications, CLA 2013, pages 153-162, 2013. [ bib | .pdf | Abstract ]

[174]

M. Ojeda-Aciego and J. Outrata, editors. Concept Lattices and Their Applications, volume 1062 of CEUR Proceedings, 2013. [ bib | http ]

[173]

H. Bustince, N. Madrid, and M. Ojeda-Aciego. A measure of contradiction based on the notion of n-weak-contradiction. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'13), pages 1-6, 2013. [ bib | http | .pdf | Abstract ]

[172]

J.C. Díaz, J. Medina, and M. Ojeda-Aciego. On minimal requirements to obtain fuzzy concept-forming operators. In Intl Conference on Fuzzy Logic and Technology (EUSFLAT'13), pages 796-801, 2013. [ bib | http | Abstract ]

[171]

P. Cordero, M. Enciso, A. Mora, and M. Ojeda-Aciego. Bases via minimal generators. In IJCAI workshop on FCA for AI, pages 33-36, 2013. [ bib | .pdf | Abstract ]

[170]

P. Cordero, M. Enciso, A. Mora, and M. Ojeda-Aciego. A method to extract precise implication from contexts. In Computational Methods in Mathematics, Science, and Engineering, 2013. [ bib | .pdf | Abstract ]

[169]

F. García-Pardo, I.P. Cabrera, P. Cordero, and M. Ojeda-Aciego. On Galois connections and soft computing. Lect. Notes in Computer Science, 7903:224-235, 2013. [ bib | .pdf | Abstract ]

[168]

P. Julián, J. Medina, P.J. Morcillo, G. Moreno, and M. Ojeda-Aciego. An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation. Lect. Notes in Computer Science, 7902:647-655, 2013. [ bib | .pdf | Abstract ]

[167]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Concept-forming operators on multilattices. In Intl Conf on Formal Concept Analysis, Lecture Notes in Artificial Intelligence 7880, pages 203-215, 2013. [ bib | .pdf | Abstract ]

[166]

N. Madrid and M. Ojeda-Aciego. On the measure of incoherent information in extended multi-adjoint logic programs. In IEEE Symposium on Foundations of Computational Intelligence, FOCI 2013, pages 30-37, 2013. [ bib | .pdf | Abstract ]

[165]

J. Medina and M. Ojeda-Aciego. Dual multi-adjoint concept lattices. Information Sciences, 225:47-54, 2013. [ bib | http | .pdf | Abstract ]

[164]

P. Cordero, M. Enciso, A. Mora, and M. Ojeda-Aciego. Computing minimal generators from implications: a logic-guided approach. In Proc. of Concept Lattices and Applications, CLA 2012, pages 187-198, 2012. [ bib | .pdf | Abstract ]

[163]

O. Krídlo and M. Ojeda-Aciego. Linking L-chu correspondences and completely lattice L-valued sets. In Proc. of Concept Lattices and Applications, CLA 2012, pages 233-244, 2012. [ bib | .pdf | Abstract ]

[162]

J. Konecny, J. Medina, and M. Ojeda-Aciego. Intensifying hedges and the size of multi-adjoint concept lattices with heterogeneous conjunctors. In Proc. of Concept Lattices and Applications, CLA 2012, pages 245-256, 2012. [ bib | .pdf | Abstract ]

[161]

N. Madrid and M. Ojeda-Aciego. On least coherence-preserving negations. In 31st Meeting of the North-American Fuzzy Information Processing Society, NAFIPS'12, 2012. [ bib | http | Abstract ]

[160]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Filters and deductive systems on residuated multilattices. In 10th Int FLINS Conference on Uncertainty Modeling in Knowledge Engineering and Decision Making, 2012. [ bib | Abstract ]

[159]

J. Medina and M. Ojeda-Aciego. On multi-adjoint concept lattices based on heterogeneous conjunctors. Fuzzy Sets and Systems, 208:95-110, 2012. [ bib | http | .pdf | Abstract ]

[158]

N. Madrid and M. Ojeda-Aciego. On the existence and unicity of stable models in normal residuated logic programs. Intl J of Computer Mathematics, 89(3):310-324, 2012. [ bib | http | .pdf | Abstract ]

[157]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Finitary coalgebraic multisemilattices and multilattices. Applied Mathematics and Computation, 219(1):31-44, 2012. [ bib | http | .pdf | Abstract ]

[156]

O. Krídlo, S. Krajči, and M. Ojeda-Aciego. The category of L-Chu correspondences and the structure of L-bonds. Fundamenta Informaticae, 115(4):297-325, 2012. [ bib | http | .pdf | Abstract ]

[155]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Residuated operations in hyperstructures: residuated multilattices. In Computational Methods in Mathematics, Science, and Engineering, 2011. [ bib | .pdf | Abstract ]

[154]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. PDL for qualitative reasoning about moving objects: first steps. In Proc. Intl Qualitative Reasoning Workshop 2011, 2011. Accepted. [ bib | .pdf ]

[153]

C.V. Damásio, N. Madrid, and M. Ojeda-Aciego. On the notions of residuated-based coherence and bilattice-based consistence. Lecture Notes in Computer Science, 6857:115-122, 2011. [ bib | .pdf | Abstract ]

[152]

I. P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Non-deterministic algebraic structures for soft computing. Lecture Notes in Computer Science, 6692:437-444, 2011. [ bib | .pdf | Abstract ]

[151]

P. Julián, J. Medina, G. Moreno, and M. Ojeda-Aciego. A static preprocess for improving fuzzy thresholded tabulation. Lecture Notes in Computer Science, 6692:429-436, 2011. [ bib | .pdf ]

[150]

O. Krídlo, S. Krajči, and M. Ojeda-Aciego. Functorial connection between L-ChuCors and a category of supremum preserving mappings. In Proc. of Intl Conf on Formal Concept Analysis, pages 39-52, 2011. [ bib | .pdf | Abstract ]

[149]

N. Madrid and M. Ojeda-Aciego. Measuring inconsistency in fuzzy answer set semantics. IEEE Transactions on Fuzzy Systems, 19(4):605-622, 2011. [ bib | http | .pdf | Abstract ]

[148]

N. Madrid and M. Ojeda-Aciego. On the use of fuzzy stable models for inconsistent classical logic programs. In IEEE Symposium on Foundations of Computational Intelligence, FOCI 2011, pages 115-121, 2011. [ bib | .pdf | Abstract ]

[147]

O. Krídlo and M. Ojeda-Aciego. On L-fuzzy Chu correspondences. Intl J of Computer Mathematics, 88(9):1808-1818, 2011. [ bib | http | .pdf | Abstract ]

[146]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. A PDL approach for qualitative velocity. Intl J of Uncertainty, Fuzziness, and Knowledge-based Systems, 19(1):11-26, 2011. [ bib | http | .pdf | Abstract ]

[145]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. A coalgebraic approach to non-determinism: applications to multilattices. Information Sciences, 180(22):4323-4335, 2010. [ bib | http | .pdf | Abstract ]

[144]

O. Krídlo, S. Krajči, and M. Ojeda-Aciego. L-bonds vs extents of direct products of two L-fuzzy contexts. In Proc. of Concept Lattices and Applications, CLA 2010, pages 70-79, 2010. [ bib | .pdf | Abstract ]

[143]

J. Medina and M. Ojeda-Aciego. Towards attribute reduction in multi-adjoint concept lattices. In Proc. of Concept Lattices and Applications, CLA 2010, pages 92-103, 2010. [ bib | .pdf | Abstract ]

[142]

O. Krídlo, S. Krajči, and M. Ojeda-Aciego. An embedding of ChuCors in L-ChuCors. In Computational Methods in Mathematics, Science, and Engineering, pages 583-588, 2010. [ bib | .pdf | Abstract ]

[141]

N. Madrid and M. Ojeda-Aciego. On the existence of stable models in normal residuated logic programs. In Computational Methods in Mathematics, Science, and Engineering, pages 598-604, 2010. [ bib | .pdf | Abstract ]

[140]

J. Medina and M. Ojeda-Aciego. On multi-adjoint concept lattices based on heterogeneous conjunctors. In Computational Methods in Mathematics, Science, and Engineering, pages 633-641, 2010. [ bib | .pdf | Abstract ]

[139]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Coalgebras and non-determinism: an application to multilattices. In Proc. of Physics and Computation, 2010. [ bib | Abstract ]

[138]

P. Julián, J. Medina, G. Moreno, and M. Ojeda-Aciego. Efficient thresholded tabulation for fuzzy query answering. In Proc of PROLE'10, 2010. (Short note). [ bib | Abstract ]

[137]

N. Madrid and M. Ojeda-Aciego. Measuring instability in normal residuated logic programs: adding information. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'10), pages 2244-2250, 2010. [ bib | http | .pdf | Abstract ]

[136]

N. Madrid and M. Ojeda-Aciego. Measuring instability in normal residuated logic programs: discarding information. Communications in Computer and Information Science, 80:128-137, 2010. [ bib | http | .pdf | Abstract ]

[135]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. On fuzzy homomorphisms between hyperrings. In XV Spanish Conference on Fuzzy Logic and Technology, pages 175-180, 2010. [ bib | .pdf | Abstract ]

[134]

N. Madrid and M. Ojeda-Aciego. On the notion of coherence in fuzzy answer set semantics. In XV Spanish Conference on Fuzzy Logic and Technology, pages 157-162, 2010. [ bib | .pdf | Abstract ]

[133]

J. Medina and M. Ojeda-Aciego. Multi-adjoint t-concept lattices. Information Sciences, 180(5):712-725, 2010. [ bib | http | .pdf | Abstract ]

[132]

B. Bouchon-Meunier, L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay, and R.R. Yager, editors. Foundations of reasoning under uncertainty, volume 249 of Studies in fuzziness and soft computing. Springer-Verlag, 2010. [ bib | http | Abstract ]

[131]

P. Julián, J. Medina, G. Moreno, and M. Ojeda-Aciego. Efficient thresholded tabulation for fuzzy query answering. In Foundations of reasoning under uncertainty, pages 125-141. Springer-Verlag, 2010. [ bib | http | Abstract ]

[130]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. Closeness and distance relations in order of magnitude qualitative reasoning via PDL. Lecture Notes in Computer Science, 5988:71-80, 2010. [ bib | http | .pdf | Abstract ]

[129]

I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Congruence relations on some hyperstructures. Annals of Mathematics and Artificial Intelligence, 56(3-4):361-370, 2009. [ bib | http | .pdf | Abstract ]

[128]

U. Straccia, M. Ojeda-Aciego, and C.V. Damásio. On fixed-points of multi-valued functions on complete lattices and their application to generalized logic programs. SIAM J on Computing, 38(5):1881-1911, 2009. [ bib | http | .pdf | Abstract ]

[127]

N. Madrid and M. Ojeda-Aciego. On the measure of incoherence in extended residuated logic programs. In IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE'09), pages 598-603, 2009. [ bib | http | .pdf | Abstract ]

[126]

J. Medina and M. Ojeda-Aciego. Taming non-commutativity in the framework of multi-adjoint concept lattices. In IASTED Conf on Artificial Intelligence and Soft Computing, pages 99-106, 2009. [ bib | .pdf | Abstract ]

[125]

I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. On congruences and homomorphisms on some non-deterministic algebras. In Intl Conf on Fuzzy Computation, pages 59-67, 2009. [ bib | .pdf | Abstract ]

[124]

I. P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Fuzzy logic, soft computing, and applications. Lecture Notes in Computer Science, 5517:236-244, 2009. [ bib | http | .pdf | Abstract ]

[123]

J. Medina and M. Ojeda-Aciego. On the representation theorem of multi-adjoint concept lattices. In Intl Fuzzy Systems Association World Congress IFSA'09, pages 1091-1095, 2009. [ bib | .pdf | Abstract ]

[122]

O. Krídlo and M. Ojeda-Aciego. On the L-fuzzy generalization of Chu correspondences. In Computational Methods in Mathematics, Science, and Engineering, pages 608-617, 2009. Position paper. [ bib | .pdf | Abstract ]

[121]

I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. On congruences, ideals and homomorphisms over multilattices. In EUROFUSE Workshop Preference Modelling and Decision Analysis, pages 299-304, 2009. [ bib | .pdf | Abstract ]

[120]

N. Madrid and M. Ojeda-Aciego. On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Lect. Notes in Computer Science, 5571:60-67, 2009. [ bib | http | .pdf | Abstract ]

[119]

A. Burrieza, A. Mora, M. Ojeda-Aciego, and E Orlowska. An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Intl J on Computer Mathematics, 86:1852-1866, 2009. [ bib | http | .pdf | Abstract ]

[118]

P. Julián-Iranzo, G. Moreno, J. Medina, and M. Ojeda-Aciego. Thresholded tabulation in a fuzzy logic setting. Electronic Notes in Theoretical Computer Science, 248:115-130, 2009. [ bib | http | .pdf | Abstract ]

[117]

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Fuzzy congruence relations on nd-groupoids. Intl J on Computer Mathematics, 86:1684-1695, 2009. [ bib | http | .pdf | Abstract ]

[116]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets and Systems, 160(2):130-144, 2009. [ bib | http | .pdf | Abstract ]

[115]

N. Madrid and M. Ojeda-Aciego. Towards a fuzzy answer set semantics for residuated logic programs. In Proc of WI-IAT'08. Workshop on Fuzzy Logic in the Web, pages 260-264, 2008. [ bib | http | .pdf | Abstract ]

[114]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Relating generalized concept lattices with concept lattices for non-commutative conjunctors. Applied Mathematics Letters, 21(12):1296-1300, 2008. [ bib | http | .pdf | Abstract ]

[113]

P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, and I. de las Peñas. Congruence relations on multilattices. In Intl FLINS Conference on Computational Intelligence in Decision and Control, FLINS'08, pages 139-144, 2008. [ bib | .pdf | Abstract ]

[112]

P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, and I. de las Peñas. Fuzzy congruence relations on nd-groupoids. In Intl Conference on Mathematical Methods in Science and Engineering, CMMSE'08, pages 151-159, 2008. [ bib | .pdf | Abstract ]

[111]

A. Burrieza, A. Mora, M. Ojeda-Aciego, and E. Orlowska. Implementing a relational system for order of magnitude reasoning. In Intl Conference on Mathematical Methods in Science and Engineering, CMMSE'08, pages 93-102, 2008. [ bib | .pdf | Abstract ]

[110]

P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, and I. de las Peñas. Congruence relations on hypergroupoids and nd-groupoids. In XIV Spanish Conference on Fuzzy Logic and Technology, pages 127-132, 2008. [ bib | .pdf | Abstract ]

[109]

N. Madrid and M. Ojeda-Aciego. Towards an answer set semantics for residuated logic programs. In XIV Spanish Conference on Fuzzy Logic and Technology, pages 23-28, 2008. [ bib | .pdf | Abstract ]

[108]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. A propositional dynamic logic approach for order-of-magnitude reasoning. Lect. Notes in Artificial Intelligence, 5290:11-20, 2008. [ bib | http | .pdf | Abstract ]

[107]

P. Julián-Iranzo, G. Moreno, J. Medina, and M. . Ojeda-Aciego. Combining tabulation and thresholding techniques for executing multi-adjoint logic programs. In Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'08, pages 505-512, 2008. [ bib | .pdf | Abstract ]

[106]

Manuel Ojeda-Aciego, Siegfried Gottwald, and Petr Hájek. Preface to “Mathematical and Logical Foundations of Soft Computing". Fuzzy Sets and Systems, 159(10):1129-1130, 2008. [ bib | http ]

[105]

P. Eklund, M.A. Galán, J. Medina, M. Ojeda-Aciego, and A. Valverde. Powersets of terms and composite monads. Fuzzy Sets and Systems, 158(23):2552-2574, 2007. [ bib | http | .pdf | Abstract ]

[104]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. On reachability of minimal models of multilattice-based logic programming. Lect. Notes in Artificial Intelligence, 4827:271-282, 2007. [ bib | http | .pdf | Abstract ]

[103]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. A logic for order of magnitude reasoning with negligibility, non-closeness and distance. Lect. Notes in Artificial Intelligence, 4788:210-219, 2007. [ bib | http | .pdf | Abstract ]

[102]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Concept lattices under non-commutative conjunctors are generalized concept lattices. In Intl Conference on Fuzzy Logic and Technology, vol. II, pages 209-212, 2007. [ bib | .pdf | Abstract ]

[101]

C.V. Damásio, J. Medina, and M. Ojeda-Aciego. Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic, 5(3):435-458, 2007. [ bib | http | .pdf | Abstract ]

[100]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. A fixed-point theorem for multi-valued functions with application to multilattice-based logic programming. Lect. Notes in Artificial Intelligence, 4578:37-44, 2007. [ bib | http | .pdf | Abstract ]

[99]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. On multi-adjoint concept lattices: definition and representation theorem. Lect. Notes in Computer Science, 4390:197-209, 2007. [ bib | http | .pdf | Abstract ]

[98]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Fuzzy logic programming via multilattices. Fuzzy Sets and Systems, 158(6):674-688, 2007. [ bib | http | .pdf | Abstract ]

[97]

A. Burrieza, M. Ojeda-Aciego, and E. Orlowska. Relational approach to order of magnitude reasoning. Lect. Notes in Computer Science, 4342:105-124, 2006. [ bib | http | .pdf ]

[96]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Multi-adjoint concept lattices from a non-commutative perspective. In 13th Spanish Congress on Fuzzy Logic and Technology, pages 147-152, 2006. [ bib | .pdf ]

[95]

C. Damásio, J. Medina, and M. Ojeda-Aciego. A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations. In Proc. IEEE Congress on Computational Intelligence (section Fuzzy Systems), pages 9576-9583, 2006. [ bib | http | .pdf ]

[94]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. On the ideal semantics of multilattice-based logic programs. In Information Processing and Management of Uncertainty, IPMU'06, pages 463-470, 2006. [ bib | .pdf ]

[93]

C. Damásio, J. Medina, and M. Ojeda-Aciego. A tabulation procedure for first-order residuated logic programs. In Information Processing and Management of Uncertainty, IPMU'06, pages 225-232, 2006. [ bib | .pdf ]

[92]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Retículos de conceptos multi-adjuntos. In Campus Multidisciplinar de Percepción e Inteligencia, pages 751-762, 2006. [ bib | .pdf ]

[91]

A. Burrieza, E. Muñoz, and M. Ojeda-Aciego. Order of magnitude qualitative reasoning with bidirectional negligibility. Lect. Notes in Artificial Intelligence, 4177:370-378, 2006. [ bib | http | .pdf ]

[90]

J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. Multi-lattices as a basis for generalized fuzzy logic programming. Lect. Notes in Artificial Intelligence, 3849:61-70, 2006. [ bib | http | .pdf ]

[89]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. A neural implementation of multi-adjoint logic programs via sf-homogeneous programs. Mathware & Soft Computing, XII:199-216, 2005. [ bib | http | .pdf ]

[88]

A. Burrieza and M. Ojeda-Aciego. On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus. In EPIA'05, pages 33-37. IEEE Press, 2005. [ bib | http | .pdf ]

[87]

J. Medina, M. Ojeda-Aciego, and J. Ruiz. Fuzzy logic programming via multilattices: first results and prospects. In Proc of Lógica Fuzzy & Soft Computing, pages 19-26. Thomson, 2005. [ bib ]

[86]

A. Burrieza and M. Ojeda-Aciego. A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae, 68:21-46, 2005. [ bib | http | .pdf ]

[85]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. Interval-valued neural multi-adjoint logic programs. Lect. Notes in Computer Science, 3561:521-530, 2005. [ bib | http | .pdf ]

[84]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. Decomposing ordinal sums in neural multi-adjoint logic programs. Lect. Notes in Artificial Intelligence, 3315:717-726, 2004. [ bib | http | .pdf ]

[83]

M. Ojeda-Aciego and A. Valverde. tascpl: TAS solver for Classical Propositional Logic. Lect. Notes in Artificial Intelligence, 3229:731-735, 2004. [ bib | .pdf ]

[82]

C.V. Damásio, J. Medina, and M. Ojeda-Aciego. Sorted multi-adjoint logic programs: termination results and applications. Lect. Notes in Artificial Intelligence, 3229:260-273, 2004. [ bib | .pdf ]

[81]

C.V. Damásio, J. Medina, and M. Ojeda-Aciego. A tabulation proof procedure for residuated logic programming. In European Conference on Artificial Intelligence, volume 110 of Frontiers in Artificial Intelligence and Applications, pages 808-812, 2004. [ bib | .pdf ]

[80]

C.V. Damásio, J. Medina, and M. Ojeda-Aciego. A termination theorem for sorted multi-adjoint logic programming. In 12th Spanish Congress on Fuzzy Logic and Technology, 2004. [ bib | .pdf ]

[79]

J. Medina and M. Ojeda-Aciego. Extended homogenization for multi-adjoint logic programs. In 12th Spanish Congress on Fuzzy Logic and Technology, 2004. [ bib | .pdf ]

[78]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. A neural implementation of multi-adjoint logic programming. Journal of Applied Logic, 2/3:301-324, 2004. [ bib | http | .pdf ]

[77]

J. Medina and M. Ojeda-Aciego. Multi-adjoint logic programming. In Information Processing and Management of Uncertainty, IPMU'04, pages 823-828, 2004. Invited talk of special session on Logic Programming with Imperfect Information. [ bib | .pdf ]

[76]

C.V. Damásio, J. Medina, and M. Ojeda-Aciego. Termination results for sorted multi-adjoint logic programs. In Information Processing and Management of Uncertainty, IPMU'04, pages 1879-1886, 2004. [ bib | .pdf ]

[75]

M. Ojeda-Aciego. Lógica, matemática, deducción automática. La Gaceta de la R.S.M.E., 8(1):93-119, 2005. [ bib | .pdf ]

[74]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems, 146(1):43-62, 2004. [ bib | http | .pdf ]

[73]

P. Eklund, M.A. Galán, J. Medina, M. Ojeda-Aciego, and A. Valverde. Similarities between powersets of terms. Fuzzy Sets and Systems, 144(1):213-225, 2004. [ bib | http | .pdf ]

[72]

M. Ojeda-Aciego. España entra a formar parte de ERCIM. La Gaceta de la R.S.M.E., 7(1):37-52, 2004. [ bib | .pdf ]

[71]

M. Ojeda-Aciego, P. Vojtáš, and S. Zadrożny. Guest editorial. Kybernetika, 39(5):509-510, 2003. [ bib ]

[70]

A. Burrieza and M. Ojeda-Aciego. A multimodal logic approach to order of magnitude qualitative reasoning. Lect. Notes in Artificial Intelligence, 3040:66-75, 2003. [ bib | .pdf ]

[69]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Towards biresiduated multi-adjoint logic programming. In Spanish Conference on Artificial Intelligence, pages 608-617. Lect. Notes in Artificial Intelligence 3040, 2003. [ bib | .pdf ]

[68]

J. Medina and M. Ojeda-Aciego. Homogenizing multi-adjoint logic programs. In Intl Conference on Fuzzy Logic and Technology, pages 640-644, 2003. [ bib | .pdf | .pdf ]

[67]

C.V. Damásio and M. Ojeda-Aciego. On termination of a tabulation procedure for residuated logic programming. In 6th Intl Workshop on Termination, WST'03, pages 40-43, 2003. [ bib | .pdf ]

[66]

A. Burrieza and M. Ojeda-Aciego. La incidencia de las ciencias formales en computación. In A. Diéguez, editor, Tecnociencia y Cultura a comienzos del siglo xxi, pages 161-177. Servicio de Publicaciones de la Universidad de Málaga, 2004. [ bib ]

[65]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. A neural approach to diagnosis based on extended logic programming. In 8th Conf. Engineering Applications of Neural Networks, EANN'03, 2003. [ bib | .pdf ]

[64]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. A neural approach to extended logic programs. In 7th Intl Work Conference on Artificial and Natural Neural Networks, IWANN'03, pages 654-661. Lect. Notes in Computer Science 2686, 2003. [ bib | .pdf ]

[63]

P. Eklund, M.A. Galán, J. Medina, M. Ojeda-Aciego, and A. Valverde. Set functors, L-fuzzy set categories and generalized terms. Computers and Mathematics with Applications, 43:693-705, 2002. [ bib | http | .pdf ]

[62]

M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, and L.M. Pereira. Preface to the special issue on “logics in artificial intelligence". Studia Logica, 72:3-5, 2002. [ bib | http ]

[61]

G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego, and A. Valverde. Satisfiability testing for Boolean formulas using Δ-trees. Studia Logica, 72:33-60, 2002. [ bib | http | .pdf ]

[60]

S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, A. Valverde, and P. Vojtáš. Non-commutativity and expressive deductive logic databases. In Logics in Artificial Intelligence, JELIA'02, pages 149-160. Lect. Notes in Artificial Intelligence 2424, 2002. [ bib | .pdf ]

[59]

S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A similarity-based unification model for flexible querying. In Flexible querying and answering systems, FQAS'02, pages 263-273. Lect. Notes in Artificial Intelligence 2522, 2002. [ bib | .pdf ]

[58]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. A neural approach to abductive multi-adjoint reasoning. In AI - Methodologies, Systems, Applications. AIMSA'02. Lect. Notes in Computer Science 2443, 2002. 213-222. [ bib | .pdf ]

[57]

I.P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Restricted Δ-trees in multiple-valued logics. In AI - Methodologies, Systems, Applications. AIMSA'02, pages 223-232. Lect. Notes in Computer Science 2443, 2002. [ bib | .pdf ]

[56]

I.P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Restricted Δ-trees and reduction theorems in multiple-valued logics. In Advances in Artificial Intelligence, IBERAMIA'02, pages 161-171. Lect. Notes in Artificial Intelligence 2527, 2002. [ bib | .pdf ]

[55]

J. Medina and M. Ojeda-Aciego. A new approach to completeness for multi-adjoint logic programming. In 9th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference, IPMU 2002, 2002. [ bib | .pdf ]

[54]

P. Eklund, M.A. Galán, J. Medina, M. Ojeda Aciego, and A. Valverde. A framework for unification using powersets of terms. In 9th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference, IPMU 2002, 2002. [ bib | .pdf ]

[53]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. Multi-adjoint logic programming: a neural net approach. In Logic Programming. ICLP'02, page 468. Lect. Notes in Computer Science 2401, 2002. [ bib | .pdf ]

[52]

P. Eklund and M.. Ojeda-Aciego, editors. Preface to the special issue “Unification in non-classical logics", volume 66.5. Electronic Notes in Theoretical Computer Science, 2002. [ bib | http ]

[51]

P. Eklund, M.A. Galán, J. Medina M.. Ojeda-Aciego, and A. Valverde. A categorical approach to unification of generalized terms. In Unification in non-classical logics, volume 66.5. Electronic Notes in Theoretical Computer Science, 2002. [ bib | http ]

[50]

J. Medina, M.. Ojeda-Aciego, and P. Vojtáš. Similarity-based multi-adjoint unification. In Unification in non-classical logics, volume 66.5. Electronic Notes in Theoretical Computer Science, 2002. [ bib | http ]

[49]

J. Medina and M.. Ojeda-Aciego. On first-order multi-adjoint logic programming. In 11th Spanish Congress on Fuzzy Logic and Technology, 2002. [ bib ]

[48]

J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. Multi-adjoint abduction via neural nets. In 11th Spanish Congress on Fuzzy Logic and Technology, 2002. [ bib ]

[47]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based unification. In Intl Conference on Fuzzy Logic and Technology, 2001. [ bib ]

[46]

G. Aguilera, I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Reductions for non-clausal theorem proving. Theoretical Computer Science, 266(1/2):81-112, 2001. [ bib | http | .pdf ]

[45]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A procedural semantics for multi-adjoint logic programming. In Progress in Artificial Intelligence, EPIA'01, pages 290-297. Lect. Notes in Artificial Intelligence 2258, 2001. [ bib | .pdf ]

[44]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A multi-adjoint logic approach to abductive reasoning. In Logic Programming, ICLP'01, pages 269-283. Lect. Notes in Computer Science 2237, 2001. [ bib | .pdf ]

[43]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. Lect. Notes in Artificial Intelligence, 2173:351-364, 2001. [ bib | http | .pdf ]

[42]

P. Eklund, M.A. Galán, J. Medina, M.. Ojeda-Aciego, and A. Valverde. Composing submonads. In Proc. 31st IEEE Intl. Symposium on Multiple-Valued Logic, pages 367-372. IEEE-CS, 2001. [ bib ]

[41]

P. Eklund, M.A. Galán, J. Medina, M.. Ojeda-Aciego, and A. Valverde. Set functors and L-fuzzy set categories: towards a fuzzy programming paradigm. In 2nd Intl ICSC Symposium on Fuzzy Logic and Applications, 2001. [ bib ]

[40]

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A completeness theorem for multi-adjoint logic programming. In Proc. FUZZ-IEEE'01. The 10th IEEE International Conference on Fuzzy Systems, IEEE Press, 2001. [ bib | .pdf ]

[39]

S. Merino and M. Ojeda-Aciego. Automatización del diseño de torres. In Primeras Jornadas sobre Avances Científicos en Ingeniería Industrial y Civil, 2001. [ bib ]

[38]

M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, and L.M. Pereira, editors. Logics in Artificial Intelligence, volume 1919 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000. [ bib ]

[37]

G. Gutiérrez, I. P. de Guzmán, J. Martínez, , M. Ojeda-Aciego, and A. Valverde. Reduction theorems for Boolean formulas using Δ-trees. In Proc. of JELIA 2000, pages 179-192. Lect. Notes in Artif. Intelligence 1919, 2000. [ bib ]

[36]

P. Eklund, M. A. Galán, M. Ojeda-Aciego, and A. Valverde. Set functors and generalised terms. In Proc. of IPMU 2000, volume III of Information Processing and Management of Uncertainty in Knowledge-based Systems, pages 1595-1599, 2000. [ bib | .pdf ]

[35]

P. Eklund, M. A. Galán, M. Ojeda-Aciego, and A. Valverde. Monad composition and generalised terms. In 21st Linz Seminar on Fuzzy Set Theory, 2000. [ bib ]

[34]

P. Eklund, M. A. Galán, J. Medina, M. Ojeda-Aciego, and A. Valverde. Generalised terms and composition of monads. In Proc. of ESTYLF 2000, Spanish Congress on Fuzzy Logic and Technology, pages 155-160, 2000. [ bib ]

[33]

P. Eklund, M. Ángeles Galán, J. Medina, M. Ojeda Aciego, and A. Valverde. A graphical approach to monad compositions. In Proceedings of MFCSIT 2000, Mathematical Foundations of Computer Science and Information Technology, 2000. [ bib | .html ]

[32]

G. Aguilera, I. P. de Guzmán, M. Ojeda Aciego, and A. Valverde. Master theses for providing feedback to the logic classroom. In 1st Intl Congress on Tools for Teaching Logic, 2000. [ bib ]

[31]

G. Aguilera, J. de Medina, M. Ojeda Aciego, and A. Valverde. Generalized branching rules for negation normal forms. In 1st Joint Mathematical European-Arabic Conference, 2000. [ bib ]

[30]

G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego, and A. Valverde. Representing Boolean formulas by using trees of implicants and implicates. In Proc. of CSI 2000, 2000. [ bib | .pdf ]

[29]

I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Reducing signed propositional formulas. Soft Computing, 2(4):157-166, 1999. [ bib | .pdf ]

[28]

I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Implicates and reduction techniques for temporal logics. Annals of Mathematics and Artificial Intelligence, 27:2-23, 1999. [ bib | .pdf ]

[27]

I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Multiple-valued tableaux with Δ-reductions. In Proc. of the Intl. Conf. on Artificial Intelligence, ICAI'99, pages 177-183. C.S.R.E.A., 1999. [ bib | .pdf ]

[26]

S. Cárdenas, M. Ojeda-Aciego, and S. Sánchez. Construcciones geométricas con ordenador. In Congreso Nacional de Informática Educativa, 1999. [ bib ]

[25]

M. Ojeda-Aciego and S. Sánchez. Una experiencia geométrica para estudiantes de ingeniería. In Jornadas de Aprendizaje y Enseñanza de las Matemáticas, 1999. [ bib ]

[24]

I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde. Implicates and reduction techniques for temporal logics. In Proc. of JELIA'98, pages 309-323. Lect. Notes in Artif. Intelligence 1489, 1998. [ bib | .pdf ]

[23]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. A new reduction-based theorem prover for 3-valued logic. Mathware & Soft Computing, 4(2):99-127, 1997. [ bib ]

[22]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. Dp-distributions: a new efficiency strategy for the TAS reduction method. In Proceedings of Logic Colloquium'97, 1997. [ bib ]

[21]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. Model building in 3-valued logic using the TAS reduction paradigm. In Proceedings of the IJCAI'97 workshop on Model-based Automated Reasoning, 1997. [ bib ]

[20]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. The TAS reduction method in multiple-valud logics. In Dagstuhl seminar: multiple valued logic, 1997. [ bib ]

[19]

M. Ojeda-Aciego and I. P. de Guzmán. Lógica para la Computación (II). Ágora, 1997. [ bib ]

[18]

C. Pareja, M. Ojeda-Aciego, Á. Andeyro, and C. Rossi. Desarrollo de algoritmos y técnicas de programación en PASCAL. Ra-Ma, 1997. [ bib ]

[17]

M. Ojeda-Aciego, I. P. de Guzmán, and M. Enciso. Theorem proving for temporal logic using the TAS paradigm. In Proceedings of Iberamia'96, Cholula (Mexico), 1996. [ bib ]

[16]

M. Enciso, I. P. de Guzmán, J. Moncada, and M. Ojeda-Aciego. Executing intensional logic with the TAS tool. In Proceedings of AGP'96, 1996. [ bib ]

[15]

M. Ojeda-Aciego. Formal methods for normalization in first-order logic using the TAS methodology. In 2nd Conference on Multiple-Valued Logics for Computer Science Applications, 1996. [ bib ]

[14]

I.P. de Guzmán and M. Ojeda-Aciego. TAS methods in first-order logic. In Logic Colloquium'96, 1996. [ bib ]

[13]

I.P. de Guzmán and M. Ojeda-Aciego. A new approach to the translation into normal form. In Foundations of Mathematics and Computer Science, 1996. [ bib ]

[12]

I. P. de Guzmán, M. Ojeda, and A. Valverde. A formal identification between tuples and lists with an application to list-arithmetic categories. Acta Informatica, 32:61-78, 1995. [ bib ]

[11]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. Increasing the efficiency of automated theorem proving. Journal of Applied Non-Classical Logics, 5(1):9-29, 1995. [ bib ]

[10]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. A new general approach to ATPs. In Proceedings of KI-15, Workshop on Computational Propositional Logic, Bielefeld (Germany), September 1995. [ bib ]

[9]

I. P. de Guzmán and M. Ojeda-Aciego. The GIMAC project. In Proceedings of COST action 15: Many-valued Logics for Computer Science Applications, Lyon (Francia), dic 1995. [ bib ]

[8]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. Automated model building via syntactic trees transformations. In CADE workshop on Automated Model Building, pages 4-10, Nancy (France), June 1994. [ bib ]

[7]

G. Aguilera, I. P. de Guzmán, José L. Galán, and M. Ojeda-Aciego. TAS-D⁺⁺ vs tablas semánticas. In GULP-PRODE '94 Joint Conference on Declarative Programming, Valencia, September 1994. [ bib ]

[6]

G. Aguilera, I. P. de Guzmán, José L. Galán, and M. Ojeda-Aciego. Using TAS-D⁺⁺ for inferences. In Proceedings of Iberamia'94, pages 44-59, Caracas (Venezuela), October 1994. [ bib ]

[5]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. TAS-D⁺⁺ syntactic trees transformations for automated theorem proving. Lect. Notes in Artif. Intelligence 838, pages 198-216, September 1994. [ bib ]

[4]

C. Pareja, M. Ojeda-Aciego, and Á. Andeyro. Introducción a la Informática. Ed. Complutense, 1994. [ bib ]

[3]

M. Ojeda-Aciego. Cálculo para la Computación (I). Ágora, 1993. [ bib ]

[2]

G. Aguilera, I. P. de Guzmán, and M. Ojeda-Aciego. Un algoritmo eficiente y paralelo para la transformación a forma normal conjuntiva. In Programación Declarativa, pages 275-290, Blanes (Spain), September 1993. [ bib ]

[1]

M. Ojeda-Aciego and A. Valverde. La teoría de categorías en la programación declarativa. In Programación Declarativa, 1991. [ bib ]

This file was generated by bibtex2html 1.96.