journal papers

1. On Finitely-valued Fuzzy Description Logics.
   International Journal of Approximate Reasoning, 55(9) (2014), pp. 1890-1916.
   (coauthors A. Garcia-Cerdana, F. Esteva)
   
2. On the (Un)Decidability of Fuzzy Description Logics under Lukasiewicz t-norm.
   Information Sciences 227 (2013), pp. 1-21, Elsevier Sciences.
   (coauthor U. Straccia)
   
3. Strict core fuzzy logics and quasi-witnessed models.
   Archive for Mathematical Logic, 50 (5-6)(2011), pp. 625-641.
   (coauthor F. Esteva)
   

book chapters

1. Many-valued semantics for vague counterfactuals.
   In: Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, P. Cintula, C. G. Fermueller, L. Godo, P. Hajek editors, Studies in Logic, no. 36, pp. 341-362. College Publications, 2011.
   (coauthor P. Pardo)

papers in international conference proceedings

1. Many-valued Horn Logic is Hard.
   In: Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV 2014), Vienna, 2014, CEUR Workshop Proceedings, Vol. 1205, pp. 52-58
   (coauthors S. Borgwardt, R. Penaloza)
   
2. Complexity Sources in Fuzzy Description Logic.
   In: Proceedings of the 27th International Workshop on Description Logics (DL 2014), Vienna, 2014, CEUR Workshop Proceedings, Vol. 1193, pp. 421-433.
   (coauthor U. Straccia)
   
3. On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
   In: Proceedings of the 7th Scalable Uncertainty Management International Conference (SUM 2013) Washington DC, 2013, pp. 325-330.
   (coauthors: T. Alsinet, D. Barroso, R. Bejar, F. Bou, F. Esteva)
   
4. Concept satisfiability in finite-valued fuzzy description logics is PSPACE-complete (extended abstract).
   In: Proceedings of the Conference on Logic, Algebras and Truth Degrees 2012 (LATD 2012). Kanazawa, Japan, 2012, pp. 44-48.
   (coauthors F. Bou, F. Esteva)
   
5. Undecidability of Fuzzy Description Logics with GCIs under Lukasiewicz Semantics.
   In: Proceedings of the First Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2012). Montpellier, 2012, pp. 51-58.
   (coauthor U. Straccia)
   
6. On finitely valued fuzzy description logics: The Lukasiewicz case.
   In: Proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2012), Catania, Italy, 2012, pp. 235-244.
   (coauthors F. Esteva, A. Garcia-Cerdana)
   
7. Finite-valued Lukasiewicz modal logic is PSPACE-complete.
   In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Spain, 2011, pp. 774-779.
   (coauthors F. Bou, F. Esteva)
   
8. From classical description logic to n-graded fuzzy description logics.
   In: Proceedings of the Fuzz-IEEE 2010 Conference, Barcelona, Spain, 2010, pp. 1506-1513.
   (coauthors A. Garcia-Cerdana, F. Esteva)
   
9. Decidability of a description logic over infinite-valued product logic.
   In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, 2010, pp. 203-213, AAAI Press.
   (coauthors F. Esteva, F. Bou)
   
10. Decidability of a Description Logic over infinite-valued Product Logic (extended abstract).
    In: Proceedings of the Third Linz Seminar: Lattice-valued Logic and its Applications. Linz, 2010, pp. 21-25.
    (coauthors F. Bou, F. Esteva)
    

papers in national conference proceedings

1. Completeness of a PSPACE algorithm for concept satisfiability in finite-valued Fuzzy Description Logics.
   In: Proceedings of the XVII Congreso Espanol de Tecnologia y Logica Fuzzy (ESTYLF 2014), Zaragoza, 2014, pp. 429-434.
   (coauthor F. Esteva)
   
2. First order SMTL logic and quasi-witnessed models.
   In: Proceedings of the XV Congreso Espanol de Tecnologia y Logica Fuzzy (ESTYLF 2010), Huelva, Spain, 2010, pp. 145-150.
   (coauthor F. Esteva)
   

technical reports

1. On the Undecidability of Fuzzy Description Logic with GCIs with Lukasiewicz t-norm.
   Computing Research Repository, 2011. Available at CoRR technical report here
   (coauthor U. Straccia)
   

PhD thesis