Filipe Gouveia

According to our database, Filipe Gouveia authored at least 9 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Honey, I shrunk the hypothesis space (through logical preprocessing).

Andrew Cropper, Filipe Gouveia, David M. Cerna

CoRR, June, 2025

Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming.

Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Scalable Knowledge Refactoring Using Constrained Optimisation.

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Iterative Train Scheduling under Disruption with Maximum Satisfiability.

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce

J. Artif. Intell. Res., 2024

2020

Revision of Boolean Models of Regulatory Networks Using Stable State Observations.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

J. Comput. Biol., 2020

ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Model Revision of Boolean Regulatory Networks at Stable State.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Bioinformatics Research and Applications - 15th International Symposium, 2019

2018

Model Revision of Logical Regulatory Networks Using Logic-Based Tools.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

Logic-Based Encodings for Ricochet Robots.

Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce

Proceedings of the Progress in Artificial Intelligence, 2017