Skip to main content
Dr Victor Gutierrez Basulto

Dr Victor Gutierrez Basulto

Lecturer

School of Computer Science and Informatics

Email
gutierrezbasultov@cardiff.ac.uk
Telephone
+44 (0)29 2087 6058
Campuses
S/ 3.07, Queen's Buildings - South Building, 5 The Parade, Newport Road, Cardiff, CF24 3AA

Overview

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

NEWS

Biography

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

Chairs

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

Publications

2020

2019

2018

2017

2016

2015

2014

  • 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

2013

  • Gutierrez Basulto, V.et al. 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)

2012

2011

2010

  • 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)

Teaching

I am the MSc AI programme lead

I am the module leader of

  • 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