Completeness of Knowledge-based Systems

R. Lounis, Marc Ayel. Completeness of Knowledge-based Systems. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 31-46, ADERIAS-LIA, Universite de Savoie, 1995.

Abstract

Abstract is missing.