Ewch i’r prif gynnwys
Dr Victor Gutierrez Basulto

Dr Victor Gutierrez Basulto

COFUND Fellow

Yr Ysgol Cyfrifiadureg a Gwybodeg

Email:
gutierrezbasultov@cardiff.ac.uk
Telephone:
+44 (0)29 2087 6058
Location:
S/ 3.07, Adeiladau'r Frenhines -Adeilad y De, 5 The Parade, Heol Casnewydd, Caerdydd, CF24 3AA

I am an EU's H2020 Marie Skłodowska-Curie Fellow within the Sêr Cymru II programme working on knowledge representation & reasoningartificial intelligence | logic in computer science.

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. 

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)