Eldar Karabaev

Reasoning in the Description Logic EL Extended with an n-ary Existential Quantifier

Eldar Karabaev, E. Karabaev, 2005 .

Mona as a DL Reasoner

Carsten Lutz, Eldar Karabaev, 2004, Description Logics.

A new n-ary existential quantifier in description logics

Franz Baader, Carsten Lutz, Manfred Theißen, 2005, Description Logics.

FluCaP: A Heuristic Search Planner for First-Order MDPs pdf

Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova, 2006, J. Artif. Intell. Res..

A Heuristic Search Algorithm for Solving First-Order MDPs

Eldar Karabaev, Olga Skvortsova, E. Karabaev, 2005, UAI.