João Filipe Rosado Gouveia
AuthID: R-001-RE8
1
TÃTULO: Scalable Knowledge Refactoring Using Constrained Optimisation
AUTORES: Minghao Liu; David M Cerna; Filipe Gouveia; Andrew Cropper;
PUBLICAÇÃO: 2025, FONTE: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, NÚMERO: 14
AUTORES: Minghao Liu; David M Cerna; Filipe Gouveia; Andrew Cropper;
PUBLICAÇÃO: 2025, FONTE: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, NÚMERO: 14
2
TÃTULO: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
AUTORES: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLICAÇÃO: 2025, FONTE: 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
AUTORES: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLICAÇÃO: 2025, FONTE: 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
TÃTULO: Honey, I shrunk the hypothesis space (through logical preprocessing)
AUTORES: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.06739
AUTORES: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.06739
INDEXADO EM:
DBLP

NO MEU:
DBLP

4
TÃTULO: Iterative Train Scheduling under Disruption with Maximum Satisfiability Full Text
AUTORES: Alexandre Lemos; Filipe Gouveia; Pedro Monteiro; Ines Lynce;
PUBLICAÇÃO: 2024, FONTE: Journal of Artificial Intelligence Research, VOLUME: 79
AUTORES: Alexandre Lemos; Filipe Gouveia; Pedro Monteiro; Ines Lynce;
PUBLICAÇÃO: 2024, FONTE: Journal of Artificial Intelligence Research, VOLUME: 79
INDEXADO EM:
Scopus
CrossRef


NO MEU:
ORCID |
CIÊNCIAVITAE


5
TÃTULO: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTORES: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLICAÇÃO: 2024, FONTE: J. Artif. Intell. Res., VOLUME: 79
AUTORES: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLICAÇÃO: 2024, FONTE: J. Artif. Intell. Res., VOLUME: 79
INDEXADO EM:
DBLP

NO MEU:
DBLP
