Marco Cerami - publikace

Marco Cerami, Ph.D. Publications

journal papers

  1. On Finitely-valued Fuzzy Description Logics.
    International Journal of Approximate Reasoning, in press,
    (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)

papers in 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. 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)
  4. 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)
  5. 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)
  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, À. García-Cerdaña)
  7. Finite-valued \L ukasiewicz 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. Decidability of a description logic over infinite-valued product logic.
    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)
  9. 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. García-Cerdaña, F. Esteva)
  10. First order SMTL logic and quasi-witnessed models.
    In: Proceedings of the XV Congreso Español de Tecnología y Lógica Fuzzy (ESTYLF 2010), Huelva, Spain, 2010, pp. 145-150.
    (coauthor F. Esteva)

papers in collections

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

PhD thesis

  1. Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view.
    PhD thesis, Universitat de Barcelona, Barcelona, 2012.