Knowledge Representation and Automated Reasoning

In this paper we present some leading activities in Artificial Intelligence at the IBM Paris Scientific Center.