João Filipe Rosado Gouveia


AuthID: R-001-RE8

Publicações Confirmadas: 10



1
TÍTULO: A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features
AUTORES: Gouveia, Filipe ; Albino, Luis; Saldanha, Ricardo L.;
PUBLICAÇÃO: 2026, FONTE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT II, VOLUME: 16122
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
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: TACAS (2)
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
3
TÍTULO: Scalable Knowledge Refactoring Using Constrained Optimisation
AUTORES: Minghao Liu; David M Cerna; Filipe Gouveia ; Andrew Cropper;
PUBLICAÇÃO: 2025, FONTE: AAAI, VOLUME: 39, NÚMERO: 14
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
4
TÍTULO: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTORES: Alexandre Lemos; Filipe Gouveia ; Pedro Monteiro; Ines Lynce;
PUBLICAÇÃO: 2024, FONTE: Journal of Artificial Intelligence Research, VOLUME: 79
INDEXADO EM: Scopus CrossRef
5
TÍTULO: ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
AUTORES: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLICAÇÃO: 2020, FONTE: CMSB, VOLUME: 12314 LNBI
INDEXADO EM: Scopus DBLP CrossRef: 3
6
TÍTULO: Revision of Boolean Models of Regulatory Networks Using Stable State Observations
AUTORES: Gouveia, F ; Lynce, I ; Monteiro, PT;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
7
8
TÍTULO: Model Revision of Boolean Regulatory Networks at Stable State
AUTORES: Gouveia, F ; Lynce, I ; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTORES: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: ICLP (Technical Communications), VOLUME: 64
INDEXADO EM: Scopus DBLP
10
TÍTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service