Forward Chaining Logic Programming with the ATMS.

Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon

Browse the full AAAI paper archive.