Skip to main content
Dr Victor Gutierrez Basulto

Dr Victor Gutierrez Basulto


School of Computer Science and Informatics

+44 (0)29 2087 6058
Room 5.64, Abacws, Senghennydd Road, Cathays, Cardiff, CF24 4AG


My research interests include knowledge representation & reasoningartificial intelligence | database theory, and more broadly, reasoning with background or commonsense knowledge. In particular, I work on

  • Reasoning in Ontology-Enriched Systems
  • Reasoning with Temporal or Probabilistic Knowledge
  • Integration of Reasoning and Learning
  • Plausible Reasoning with Ontologies


Since November 2018 I am lecturer in the School of Computer Science and Informatics. From November 2016 - October 2018, I was an EU's H2020 Marie Skłodowska-Curie Fellow within the Sêr Cymru II programme.

Before Cardiff

Before joining Cardiff University, I worked for two years as postdoctoral researcher at the University of Bremen in the Theory of Artificial Intelligence Group led by Carsten Lutz. From September 2013 to January 2014, I worked at the University of Liverpool as research assistant with Frank Wolter and Boris Konev.

In November 2013, I got my PhD at the University of Bremen under the supervision of Carsten Lutz. I obtained a MSc in Computational Logic from TU Dresden in 2009.

Honours and awards

  • Best Paper Runner-Up at the 16th International Conference on Knowledge Representation and Reasoning (KR 2018), together with Steven Schockaert
  • Best Student Paper Award at the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), together with Yazmín Ibáñez-García, Roman Kontchakov and Egor Kostylev
  • Best Student Paper Award at the 24th International Workshop on Description Logics (DL 2011), together with Szymon Klarman

Committees and reviewing


Membership in PCs and other Reviewing Activities

  • Senior PC of IJCAI 2021, IJCAI-PRICAI 2020 
  • Reviewer for Artificial Intelligence Journal, Journal of Artificial Intelligence Research, Fuzzy Sets and Systems Journal, Special Issue “Ontologies and Data Management” of KI











  • Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications


  • Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)




  • Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)


Programme Director  MSc AI

I teach and  lead the following modules 

  • CMT304 Programming Paradigms, and
  • CMT117 Knowledge Representation

Research Grants

  • 2020-2022 A Unifying Quantitative Framework for Deduplication and Repairing Data in Ontology-Enhanced Systems  PI Víctor Gutiérrez-Basulto, Meghyn Bienvenu (CNRS, Labri University of Bordeaux), funded by Royal Society. 
  • 2016-2019 EU's Horizon 2020 Marie Skłodowska-Curie COFUND grant within the Sêr Cymru II programme
  • 2009-2013 DAAD-CONACYT PhD grant to carry out PhD studies at University of Bremen