Controlling Knowledge Deduction in a Declarative Approach.

Herv Gallaire, Claudine Lasserre

Browse the full IJCAI paper archive.