Integrating Model Checking and Inductive Logic Programming.

Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer

Browse the full ILP paper archive.