The bone of this project is the definition of AI which is in the following pagers:

AI - What is this
   November'2000 (Bulgarian and Italian translations are available, some discussions were made about this paper.)

AI - How it copes in arbitrary world
   February'2001

Testing AI in One Artificial World
   June'2005 (represented at KDS 05, Volume 2, Section 4, p.461)

Formal Definition of AI
   October'2005 (published in IJ ITA, Volume 12, Number 3, p.277)

Parallel between definition of chess playing program and definition of AI
   May'2006

Two fundamental problems connected with AI
   June'2007 (represented at KDS 07, Volume 2, p.667)

AI - Project include not only theoretical part but also some applications:

Strawberry Prolog
   The most developed part of AI - Project is this prolog compiler. It has a complete programme environment and it contains many programs which are in the connection with AI - Project. For example in Strawberry Prolog you can find some tests for intelligence which are made on the base of these artificial worlds which are described in our definition of AI.

Here there are two simple program experiments:

First and oldest application
   It was made in 1993. This application is one simple program which can catch dependencies. This give to this program the possibility to guess infinite rows and to predict how they will continue.

Generator of simple implications
   It was made in 2001 and published in 2008.

Recommended links about AI:
  AboutAI.net