A Method of Logic Deduction and Verification in KBS Using Positive Integers.

Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita

Browse the full CASC paper archive.