João Filipe Rosado Gouveia
AuthID: R-001-RE8
1
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
2
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ÊNCIAVITAE3
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