Ninth conference on artificial intelligence for applications / spons. by IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence ; in coop. with American Association for Artificial Intelligence and Canadian Society for Computational Studies of Intelligence. - Los Alamitos, 1993.

NUC-online

Proceedings of the twelfth national conference on artificial intelligence / spons. by American Association for Artificial Intelligence. - Menlo Park, 1994.

Kp. Theoretical aspects of reasoning about knowledge / ed. by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence and the Office of Naval Research in cooperation with Association for Computing Machinery. - Los Altos, cop. 1986.

LCA online