???global.info.a_carregar???
Francisco Coelho Group: Intelligent Systems. Research Topics: - Logic Programming; - Inductive Logic Programming; - Answer Set Programming; - Probabilistic Reasoning; Google Scholar: <https://scholar.google.pt/citations?user=ioTSiDcAAAAJ> Francisco Coelho is Assistant Professor in Universidade de Évora, associate researcher at the NOVA LINCS and member of the scientific team of the High Performance Computing Chair at Universidade de Évora. Currently, he is deputy of the director of the Computer Science department and member of the PhD in Computer Science commission. He completed his PhD in Computer Sciences in 2006 by Universidade de Lisboa, Faculdade de Ciências; MSc in Mathematics in 1997 by Universidade de Lisboa, Faculdade de Ciências and graduated in Mathematics in 1993 by Universidade de Lisboa, Faculdade de Ciências. Francisco successfully supervised six MSc dissertations and currently is supervising two MSc dissertations and three PhD theses. He participated as Principal Investigator in one FCT project and as project member in several other funded projects. Selected Publications: - (submitted) An Algebraic Approach to Stochastic ASP, 2024, IJCAR - (in press) Digital Humanities with Julia - An overview, 2023, <https://indico.hpc.uevora.pt/event/36/page/34-meeting-program> - On lattices from combinatorial game theory: infinite case, 2020 <https://doi.org/10.1007/s00182-020-00715-3> - (editor) Atas das Oitavas Jornadas de Informática da Universidade de Évora, 2018 - A Method for Regularization of Evolutionary Polynomial Regression, 2017 <https://doi.org/10.1016/j.asoc.2017.05.047>
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Francisco Manuel Gonçalves Coelho

Nomes de citação

  • Coelho, Francisco Manuel Gonçalves
  • Coelho, F.
  • Coelho, Francisco

Identificadores de autor

Ciência ID
AF10-03F3-E074
ORCID iD
0000-0002-3586-8745
Google Scholar ID
ioTSiDcAAAAJ
Scopus Author Id
34569120100

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Matemática - Matemática Pura

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português (Idioma materno)
Formação
Grau Classificação
2006
Concluído
 Ciências da Computação (Doutoramento)
Especialização em Inteligência Artificial
Universidade de Lisboa Faculdade de Ciências, Portugal
"Emergência e Colapso de Poder" (TESE/DISSERTAÇÃO)
 20
1997
Concluído
 Matemática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Polinómios, Réguas e Compasso.Problemas de Decidibilidade e Computabilidade." (TESE/DISSERTAÇÃO)
 17
1993
Concluído
 Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 13
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2006/07/07 - Atual Professor Auxiliar (Docente Universitário) Universidade de Évora, Portugal
1996/09/01 - 2006/07/07 Assistente (Docente Universitário) Universidade de Évora, Portugal
1996/01/01 - 1996/08/31 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico de Leiria, Portugal
Projetos

Bolsa

Designação Financiadores
1995/02/01 - 1996/01/31 A TEORIA DA COMPUTABILIDADE E ALGUMAS APLICAÇÕES A QUESTÕES DE INDECIBILIDADE
PRAXIS XXI/BM/1680/94
Bolseiro de Mestrado
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2022/01/21 - 2022/04/21 JuPy+HPC | High Level Languages on HPC
CPCA/A0/427668/2021
Investigador responsável
Universidade de Évora, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2019/01/01 - 2019/12/31 Laboratório de Informática, Sistemas e Paralelismo
UID/CEC/04668/2019
Investigador
Universidade de Évora, Portugal

Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 434 - 2011-2012
PEst-OE/EEI/UI0434/2011
Investigador
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Coelho, Francisco. "Digital Humanities with Julia - An overview". Trabalho apresentado em Programming and Data Infrastructure in Digital Humanities, 2023.
    No prelo
  2. Coelho, Francisco; Nogueira, Vitor. "Probabilistic Perception Revision in AgentSpeak(L)". Trabalho apresentado em PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015.
    Publicado • 10.1007/978-3-319-25524-8_44
  3. Mycka, Jerzy; Coelho, Francisco; Costa, José Félix. "The Euclid abstract machine: Trisection of the angle and the halting problem". Trabalho apresentado em 5th International Conference on Unconventional Computation, 2006.
    Publicado • 10.1007/11839132_16
  4. Coelho, Francisco; Coelho, Helder. "Discussing Agent Power-Of by Experimentation". Trabalho apresentado em 2005 Portuguese Conference on Artificial Intelligence, 2005.
    Publicado • 10.1109/epia.2005.341234
  5. Coelho, Helder; Coelho, Francisco. "Predictability for autonomous decision support". Trabalho apresentado em International Workshop on Multi-Agent-Based Simulation VI, 2005.
    Publicado • 10.1007/11734680_7
  6. Coelho, Francisco; Coelho, H. "Meta-agency and individual-power - an experimental approach". Trabalho apresentado em International Conference on Intelligent Agent Technology, 2005.
    Publicado • 10.1109/IAT.2005.97
  7. Coelho, Francisco; Coelho, H.. "An agent architecture to handle commitment". Trabalho apresentado em International Mediterranean Modeling Multiconference, I3M 2005, 2005.
    Publicado
  8. Coelho, Francisco; Coelho, Helder. "Towards Individual Power Design". Trabalho apresentado em EPIA 2003: Progress in Artificial Intelligence, 2003.
    Publicado
Artigo em revista
  1. Carvalho, Alda; Santos, Carlos P.; Dias, Cátia; Coelho, Francisco; Neto, João P.; Nowakowski, Richard J.; Vinagre, Sandra; Coelho, Francisco. "On lattices from combinatorial game theory: infinite case". International Journal of Game Theory 50 3 (2020): 655-670. http://dx.doi.org/10.1007/s00182-020-00715-3.
    Publicado • 10.1007/s00182-020-00715-3
  2. Coelho, Francisco; Neto, João Pedro. "A method for regularization of evolutionary polynomial regression". Applied Soft Computing 59 (2017): 223-228. http://dx.doi.org/10.1016/j.asoc.2017.05.047.
    Publicado • 10.1016/j.asoc.2017.05.047
  3. Carvalho, A.; Pereira Dos Santos, C.; Dias, C.; Coelho, Francisco; Neto, J.P.; Nowakowski, R.; Vinagre, S.. "On lattices from combinatorial game theory modularity and a representation theorem: Finite case". Theoretical Computer Science 527 (2014): 37-49. http://www.scopus.com/inward/record.url?eid=2-s2.0-84895927870&partnerID=MN8TOARS.
    Publicado • 10.1016/j.tcs.2014.01.025
  4. Carvalho, Alda; Santos, Carlos P.; Dias, Cátia Lente; Coelho, Francisco; Neto, João Pedro; Vinagre, Sandra. "A Recursive Process Related to a Partizan Variation of Wythoff". Integers 12 5 (2012): http://dx.doi.org/10.1515/integers-2012-0021.
    Publicado • 10.1515/integers-2012-0021
  5. Coelho, Francisco; Coelho, Helder. "Meta-agency and individual power". Web Intelligence and Agent Systems: An International Journal 7 4 (2009): 333-346. http://dx.doi.org/10.3233/wia-2009-0172.
    Publicado • 10.3233/wia-2009-0172
  6. Coelho, Francisco; Mycka, Jerzy; Costa, José Félix. "The Euclid abstract machine". International Journal of Unconventional Computing 4 3 (2008): 223-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952469985&partnerID=MN8TOARS.
    Publicado
  7. Coelho, Francisco; Coelho, H.. "Towards individual power design - Rediscovering the will of acting agents". Lecture Notes in Computer Science 2902 (2003): https://publons.com/wos-op/publon/57032654/.
    Publicado • 10.1007/978-3-540-24580-3_43
Capítulo de livro
  1. Coelho, Francisco. "A multi-agent model inspired on soft-power". In Power, Leadership and Complexity in memory of António Gouveia Portela. Portugal: IST Press, 2015.
    Publicado
Edição de livro
  1. Caldeira, Carlos Pampulim; Coelho, Francisco. Atas das Oitavas Jornadas de Informática da Universidade de Évora. Évora, Portugal: Universidade de Évora. 2018.
    Publicado • Editor
Livro
  1. Bandeira, Luís; Coelho, Francisco; Franco, Nuno. Introdução à Matemática - Álgebra, Análise e Otimização. Lidel. 2016.
    Publicado
  2. Bandeira, Luís; Coelho, Francisco; Franco, Nuno. Matemática Aplicada à Economia e à Gestão. Sem local. 2011.
    Publicado
  3. Coelho, Francisco; Neto, João Pedro. Teoria da computação, computabilidade e complexidade. Escolar Editora. 2010.
    Publicado
Pré-impressão
  1. Coelho, Francisco; Nogueira, Vitor. "Probabilistic Selection in AgentSpeak(L)". 2014. https://publons.com/wos-op/publon/58932480/.
    10.48550/arXiv.1409.3717
Tese / Dissertação
  1. Coelho, Francisco. "Emergência e Colapso de Poder". Doutoramento, Universidade de Lisboa, 2005. http://hdl.handle.net/10174/4187.

Outros

Software
  1. Coelho, Francisco. "teseue". Universidade de Évora Departamento de Informática. 2022.
  2. Coelho, Francisco. "giraldo". Universidade de Évora Departamento de Informática. 2021.
  3. Coelho, Francisco; Neto, João Pedro. "Lattice Maker for CGT". Universidade de Évora Departamento de Informática. 2020.
  4. Coelho, Francisco. "jard". 2017.
  5. Coelho, Francisco; Neto, João Pedro. "GenAlgPoly". Universidade de Évora Departamento de Informática. 2017.
  6. Coelho, Francisco. "xchg". 2014.
  7. Coelho, Francisco; Coelho, Francisco. "MoodleQuestions". 2013.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2024/01/09 Stochastic Answer Set Programming - A Research Program AESIM School “Mathematics for Health Science”
Mathematics Department of the BITS (Birla Institute of Technology and Science) Goa campus (Índia)
2023/03/27 Digital Humanities with Julia - An overview Programming and Data Infrastructure in Digital Humanities
Cátedra Computação de Elevado Desempenho (Évora, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - Atual Unit Testing for Visual Programming
Orientador de Dionísio Ximenes
 Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2023 - Atual Answer Set Programming for Medical Records Processing and Analysis
Orientador de Isaías Moisés
 Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2022 - Atual Utilização de aplicação móvel como estímulo ao engajamento cívico nas cidades inteligentes
Orientador de Vanderley Gondim
 Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2022 - Atual SetMindset
Orientador de Bruno Encarnação
 Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2022 - 2023/12/05 Supergame, a system with data collection to support game recommendation
Orientador de Francisco Rodrigues
 Mestrado Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2021 - 2022 E-learning Imersivo - Atividades na perspetiva da primeira pessoa
Orientador de Carlos Manuel da Silva Figueiredo
 Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2018 - 2022 Online Learning and Dropout
Orientador de Rita Sofia Leitão
 Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2018 - 2022 Realidade Virtual e e-Aprendizagem: Especificação de Perguntas de Escolha Múltipla
Orientador de Tony Babej Chaveiro
 Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2016/01/01 - 2016/07/16 The X in ballance
Orientador de Yusra Tehreem
 Mestrado Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
2008 - 2008 Autómatos Recursivos
Orientador de Filipe dos Santos Vieira
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Évora, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023/03/27 - 2023/03/29 Programming and Data Infrastructure in Digital Humanities (2023/03/27 - 2023/03/29)
Conferência (Membro da Comissão Organizadora)
 Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
2023/03/27 - 2023/03/29 Programming and Data Infrastructure in Digital Humanities (2023/03/27 - 2023/03/29)
Conferência (Membro da Comissão Científica)
 Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2023 Supergame, a system with data collection to support game recommendation
Orientador
 Francisco Ferreira Canhão Rodrigues (Mestrado)
Universidade de Évora, Portugal
2023 Máquinas de Turing em OCaml-Flat/OFLAT
Arguente principal
 Miguel Lourenço (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 Realidade Virtual e e-Aprendizagem: Especificação de Perguntas de Escolha Múltipla
Orientador
 Tony Babej Chaveiro (Mestrado)
Universidade de Évora, Portugal
2022 E-learning Imersivo - Atividades na perspetiva da primeira pessoa
Orientador
 Carlos Manuel da Silva Figueiredo (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
2018 Online Learning and Dropout
Orientador
 Rita Sofia Leitão (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
2016/07/16 The X in balance
Orientador
 Yusra Tehreem (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
2014 Plataforma de Gestão de culturas hidropónicas
Presidente do júri
 Domingos Manuel Baptista de Castro Martins (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
2013 Lattices Related to Conway’s Construction
Arguente
 Cátia Sofia Peniche Lente Dinis Dias (Doutoramento)
Universidade de Évora, Portugal

Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2013 EcoJukeBox
Arguente principal
 João Lobo (Mestrado)
Universidade de Lisboa Departamento de Engenharia Informática, Portugal
2010 Diplomacy - Base de Dados de Movimentos no Controlo de Províncias
Arguente principal
 Rui Jorge Gregório Deyllot (Mestrado)
Universidade de Aveiro, Portugal
2010 Simplificação de Processos com Cartão de Cidadão
Arguente principal
 Mário Jorge Costa Mourão (Mestrado)
Universidade de Évora, Portugal
2010 Autómatos Recursivos
Orientador
 Filipe dos Santos Vieira (Mestrado)
Universidade de Évora, Portugal

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2022 - Atual Applied Soft Computing (1568-4946)

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2023 - Atual Bolsa de Iniciação à Investigação Universidade de Évora, Portugal