Completeness of Knowledge-based Systems. - R. Lounis; Marc Ayel (EUROVAV, 1995)