Injecting the How into the What: Investigating a Finite Classical Logic.

Timothy L. Hinrichs, Michael R. Genesereth

Browse the full KR paper archive.