Skip to 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
Location:
S/ 3.07, Queen's Buildings - South Building, 5 The Parade, Newport Road, Cardiff, CF24 3AA

My research interests include knowledge representation & reasoningartificial intelligence | database theory, and more broadly, logic in computer science. In particular, I work on

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

NEWS

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

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)

I am the module leader of

  • CMT304 Programming Paradigms, and
  • CM3202 Emerging Technologies

Research Grants

  • 2009-2013 DAAD-CONACYT PhD grant to carry out PhD studies at University of Bremen