Manuel Ojeda-Aciego's publications

[232]
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. To appear. [ bib | Abstract ]
[231]
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, 2017. To appear. [ bib | DOI | Abstract ]
[230]
A. Burrieza, E. Muñoz Velasco, and M. Ojeda-Aciego. A multimodal logic for closeness. Journal of Applied Non-Classical Logics, 2017. To appear. [ bib ]
[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. To appear. [ bib | Abstract ]
[228]
N. Madrid and M. Ojeda-Aciego. Modelling fuzzy partitions with fuzzy answer sets. In Foundations of Computational Intelligence (FOCI@SSCI'17), 2017. To appear. [ bib | 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 Science, 10564:307-318, 2017. [ bib | DOI | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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, 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, 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.