Framer: Planning Models from Natural Language Action Descriptions
Binary Codes Capable of Correcting Deletions, Insertions and Reversals