Filipe Gouveia

11 papers A* 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features.
EPIA (2)
Filipe Gouveia, Luís M. Albino, Ricardo L. Saldanha
2025 J jnl
Honey, I shrunk the hypothesis space (through logical preprocessing).
CoRR
Andrew Cropper, Filipe Gouveia, David M. Cerna
2025 — conf
Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming.
TACAS (2)
Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos
2025 A* conf
Scalable Knowledge Refactoring Using Constrained Optimisation.
AAAI
Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2024 J jnl
Iterative Train Scheduling under Disruption with Maximum Satisfiability.
J. Artif. Intell. Res.
Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
2024 J jnl
Scalable Knowledge Refactoring using Constrained Optimisation.
CoRR
Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2020 — conf
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks.
CMSB
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2020 J jnl
Revision of Boolean Models of Regulatory Networks Using Stable State Observations.
J. Comput. Biol.
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2019 — conf
Model Revision of Boolean Regulatory Networks at Stable State.
ISBRA
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2018 — conf
Model Revision of Logical Regulatory Networks Using Logic-Based Tools.
ICLP (Technical Communications)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2017 Misc conf
Logic-Based Encodings for Ricochet Robots.
EPIA
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce