2006 |
5 | EE | Steffen Hölldobler,
Eldar Karabaev,
Olga Skvortsova:
FluCaP: A Heuristic Search Planner for First-Order MDPs.
J. Artif. Intell. Res. (JAIR) 27: 419-439 (2006) |
2005 |
4 | EE | Franz Baader,
Carsten Lutz,
Eldar Karabaev,
Manfred Theißen:
A new n-ary existential quantifier in description logics.
Description Logics 2005 |
3 | EE | Franz Baader,
Eldar Karabaev,
Carsten Lutz,
Manfred Theißen:
A New n-Ary Existential Quantifier in Description Logics.
KI 2005: 18-33 |
2 | EE | Eldar Karabaev,
Olga Skvortsova:
A Heuristic Search Algorithm for Solving First-Order MDPs.
UAI 2005: 292-299 |
2004 |
1 | EE | Eldar Karabaev,
Carsten Lutz:
Mona as a DL Reasoner.
Description Logics 2004 |