Author:
Publication: Artificial Intelligence
New models for generating hard random boolean formulas and disjunctive logic programs
Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort