Cristina Feier

I am a postdoc in the Theory of Artificial Intelligence group at the University of Bremen. Before that, I was a postdoc at the Information Systems Group at the University of Oxford. I obtained my doctoral degree from the Vienna University of Technology under the supervision of Prof. Thomas Eiter.

My main research area is Knowledge Representation and Reasoning. Within this, I am interested in developing algorithms for reasoning with Description Logics, possibly by establishing correspondences to other areas like Constraint Satisfaction problems. I am also interested in non-monotonic formalims like Answer Set Programming, and hybrid languages which combine open domain semantics with non-monotonicity.


Most of my publications are listed here: dblp.
For most recent ones, please see the list of publications of our group: TDKI Publication List.