Filipe Gouveia

According to our database, Filipe Gouveia authored at least 11 papers between 2017 and 2026.

Collaborative distances:

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

2026

pyModRev: a Python Tool for Model Revision of Boolean Networks.

Pedro T. Monteiro, Filipe Gouveia

CoRR, May, 2026

Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing).

Andrew Cropper, Filipe Gouveia, David M. Cerna

J. Artif. Intell. Res., 2026

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

A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features.

Filipe Gouveia, Luís M. Albino, Ricardo L. Saldanha

Proceedings of the Progress in Artificial Intelligence, 2025

Scalable Knowledge Refactoring Using Constrained Optimisation.

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

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 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