João Filipe Rosado Gouveia
AuthID: R-001-RE8
1
TITLE: Scalable Knowledge Refactoring Using Constrained Optimisation
AUTHORS: Minghao Liu; David M Cerna; Filipe Gouveia; Andrew Cropper;
PUBLISHED: 2025, SOURCE: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 14
AUTHORS: Minghao Liu; David M Cerna; Filipe Gouveia; Andrew Cropper;
PUBLISHED: 2025, SOURCE: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 14
2
TITLE: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
AUTHORS: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLISHED: 2025, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15697
AUTHORS: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLISHED: 2025, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15697
3
TITLE: Honey, I shrunk the hypothesis space (through logical preprocessing)
AUTHORS: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.06739
AUTHORS: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.06739
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability Full Text
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro Monteiro; Ines Lynce;
PUBLISHED: 2024, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 79
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro Monteiro; Ines Lynce;
PUBLISHED: 2024, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 79
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef IN MY: 
ORCID | 
CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE5
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLISHED: 2024, SOURCE: J. Artif. Intell. Res., VOLUME: 79
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLISHED: 2024, SOURCE: J. Artif. Intell. Res., VOLUME: 79
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP