James Cussens

• Inductive Logic Programming
• Learning language in logic