1

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
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
Biological regulatory networks can be represented by computational models, which allow the study and the analysis of biological …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides Video DOI
Model revision of boolean regulatory networks at stable state
Models of biological regulatory networks are essential to understand the cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides DOI
Model revision of logical regulatory networks using logic-based tools
Recently, biological data has been increasingly produced calling for the existence of computational models able to organize and …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Logic-Based Encodings for Ricochet Robots
Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This …
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce
PDF Cite Poster Slides DOI