Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 155



41
TÍTULO: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS DBLP
NO MEU: DBLP
42
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: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXADO EM: Scopus DBLP
NO MEU: DBLP | CIÊNCIAVITAE
43
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2
NO MEU: CIÊNCIAVITAE
44
TÍTULO: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTORES: Varela, PL; Lynce, I ; Manquinho, V; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP | CIÊNCIAVITAE
45
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2
NO MEU: CIÊNCIAVITAE
46
TÍTULO: Introducing Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
47
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
48
TÍTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2016, FONTE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
49
TÍTULO: Algorithms for computing backbones of propositional formulae  Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
50
TÍTULO: Deterministic Parallel MaxSAT Solving  Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 5 de 16. Total de resultados: 155.

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

Links Úteis

Ajuda

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