Conference Paper

A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features
We address a variant of the train timetabling problem where choices involve not only defining the schedules of trains but also their …
Filipe Gouveia, Luís Albino, Ricardo L. Saldanha
Cite DOI
Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
The issue of fairness is a well-known challenge in Machine Learning (ML) that has gained increased importance with the emergence of …
Rafael Gonçalves, Filipe Gouveia, Inês Lynce
PDF Cite Code Project Slides DOI
Scalable Knowledge Refactoring Using Constrained Optimisation
Knowledge refactoring compresses logic programs by replacing them with new rules. Current approaches struggle to scale to large …
Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
PDF Cite Project DOI