Home Page of Dimiter Dimitrov Dobrev


Dimiter Dobrev
    Thatís me



P. O. Box 1274
Sofia 1000, Bulgaria

I was born on 25 of April in Sofia, Bulgaria. I graduated from the Mathematics and Computer Science Faculty at the University of Sofia. Now I work in the Institute for Mathematics and Computer Science - Bulgarian Academy of Science and I teach Logic, Discrete Mathematics, AI and Prolog at the University of Sofia and at the New Bulgarian University.

The most significant thing which I made in my life is the definition of Artificial Intelligence which is a part from the AI - Project. I published this definition in November'2000 in PC Magazine Bulgaria. Here you can read the English translation of this paper. If you speak Bulgarian you can hear the radio interview which I gave about this paper. At the moment I am writing my dissertation which title is ďDescription of the AI algorithmĒ.

In order to explain my dissertation to people who are not mathematicians I am writing a novel about AI. You cannot read this novel because it is on Bulgarian language but if you click here you will see the illustrations.

My Master's thesis studied the problem of infinite loops in Prolog programs. Certainly, the problem exists in procedural languages as well but Prolog is a declarative language and has to deal with this issue without getting the programmer involved. If the compiler leaves the loops to be avoided by the user then this will make Prolog just the next procedural language.

You can download my Master's thesis. The title is "Periodical Cyclings in Prolog" (zipped PostScript file). This is one mathematical work and I can recommend it only to people who like pure mathematical papers.

I was for five months in Netherlands at the University of Twente. Here you can read my final report from that specialisation. 

I made one amusing (but useless) program which can guess infinite rows of numbers. You can see this program which is part from the AI - Project.

A Prolog compiler called Strawberry Prolog is considered to be the most attractive of my works. Thatís why I suggest you spare some time to have a look.

Strawberry Prolog