Controlling Knowledge Deduction in a Declarative Approach

Hervé Gallaire, Claudine Lasserre. Controlling Knowledge Deduction in a Declarative Approach. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 300, William Kaufmann, 1979.

Authors

Hervé Gallaire

This author has not been identified. Look up 'Hervé Gallaire' in Google

Claudine Lasserre

This author has not been identified. Look up 'Claudine Lasserre' in Google