Using ILP-Systems for Verification and Validation of Multi-agent Systems.

Nico Jacobs, Kurt Driessens, Luc De Raedt

Browse the full ILP paper archive.