The Spock System: Developing a Runtime Application Engine for Hybrid-Asbru Guidelines.

Ohad Young, Yuval Shahar

Browse the full AIME paper archive.