Mona as a DL Reasoner. - Eldar Karabaev; Carsten Lutz (Description Logics, 2004)

A New n-Ary Existential Quantifier in Description Logics. - Franz Baader; Eldar Karabaev; Carsten Lutz; Manfred Theißen (KI, 2005)

A Heuristic Search Algorithm for Solving First-Order MDPs. - Eldar Karabaev; Olga Skvortsova (UAI, 2005)

FluCaP: A Heuristic Search Planner for First-Order MDPs. - Steffen Hölldobler; Eldar Karabaev; Olga Skvortsova (J. Artif. Intell. Res., 2006)