???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, senior 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 Informatics 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>
Read full resume ↓
Identification

Personal identification

Full name
Francisco Manuel Gonçalves Coelho

Citation names

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

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Mathematics - Pure Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Proficiency (C2) Advanced (C1) Advanced (C1) Advanced (C1)
Portuguese (Mother tongue)
Education
Degree Classification
2006
Concluded
 Ciências da Computação (Doutoramento)
Major in Inteligência Artificial
Universidade de Lisboa Faculdade de Ciências, Portugal
"Emergência e Colapso de Poder" (THESIS/DISSERTATION)
 20
1997
Concluded
 Matemática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Polinómios, Réguas e Compasso.Problemas de Decidibilidade e Computabilidade." (THESIS/DISSERTATION)
 17
1993
Concluded
 Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 13
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2006/07/07 - Current Assistant Professor (University Teacher) Universidade de Évora, Portugal
1996/09/01 - 2006/07/07 Assistant (University Teacher) Universidade de Évora, Portugal
1996/01/01 - 1996/08/31 Assistant (Polytechnic Teacher) Instituto Politécnico de Leiria, Portugal
Projects

Grant

Designation Funders
1995/02/01 - 1996/01/31 A TEORIA DA COMPUTABILIDADE E ALGUMAS APLICAÇÕES A QUESTÕES DE INDECIBILIDADE
PRAXIS XXI/BM/1680/94
Master Student Fellow
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2022/01/21 - 2022/04/21 JuPy+HPC | High Level Languages on HPC
CPCA/A0/427668/2021
Principal investigator
Universidade de Évora, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2019/01/01 - 2019/12/31 Laboratório de Informática, Sistemas e Paralelismo
UID/CEC/04668/2019
Researcher
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
Concluded
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 434 - 2011-2012
PEst-OE/EEI/UI0434/2011
Researcher
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Bandeira, Luís; Coelho, Francisco; Franco, Nuno. Introdução à Matemática - Álgebra, Análise e Otimização. Lidel. 2016.
    Published
  2. Bandeira, Luís; Coelho, Francisco; Franco, Nuno. Matemática Aplicada à Economia e à Gestão. Sem local. 2011.
    Published
  3. Coelho, Francisco; Neto, João Pedro. Teoria da computação, computabilidade e complexidade. Escolar Editora. 2010.
    Published
Book chapter
  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.
    Published
Conference paper
  1. Coelho, Francisco; Dinis, Bruno; Abreu, Salvador. "An Algebraic Approach to Stochastic ASP". Paper presented in IJCAR 2024, 2024.
    Submitted
  2. Coelho, Francisco. "Digital Humanities with Julia - An overview". Paper presented in Programming and Data Infrastructure in Digital Humanities, 2023.
    In press
  3. Coelho, Francisco; Nogueira, Vitor. "Probabilistic Perception Revision in AgentSpeak(L)". Paper presented in PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015.
    Published • 10.1007/978-3-319-25524-8_44
  4. Mycka, Jerzy; Coelho, Francisco; Costa, José Félix. "The Euclid abstract machine: Trisection of the angle and the halting problem". Paper presented in 5th International Conference on Unconventional Computation, 2006.
    Published • 10.1007/11839132_16
  5. Coelho, Francisco; Coelho, Helder. "Discussing Agent Power-Of by Experimentation". Paper presented in 2005 Portuguese Conference on Artificial Intelligence, 2005.
    Published • 10.1109/epia.2005.341234
  6. Coelho, Helder; Coelho, Francisco. "Predictability for autonomous decision support". Paper presented in International Workshop on Multi-Agent-Based Simulation VI, 2005.
    Published • 10.1007/11734680_7
  7. Coelho, Francisco; Coelho, H. "Meta-agency and individual-power - an experimental approach". Paper presented in International Conference on Intelligent Agent Technology, 2005.
    Published • 10.1109/IAT.2005.97
  8. Coelho, Francisco; Coelho, H.. "An agent architecture to handle commitment". Paper presented in International Mediterranean Modeling Multiconference, I3M 2005, 2005.
    Published
  9. Coelho, Francisco; Coelho, Helder. "Towards Individual Power Design". Paper presented in EPIA 2003: Progress in Artificial Intelligence, 2003.
    Published
Edited book
  1. Caldeira, Carlos Pampulim; Coelho, Francisco. Atas das Oitavas Jornadas de Informática da Universidade de Évora. Évora, Portugal: Universidade de Évora. 2018.
    Published • Editor
Journal article
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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/.
    Published • 10.1007/978-3-540-24580-3_43
Preprint
  1. Coelho, Francisco; Nogueira, Vitor. "Probabilistic Selection in AgentSpeak(L)". 2014. https://publons.com/wos-op/publon/58932480/.
    10.48550/arXiv.1409.3717
Thesis / Dissertation
  1. Coelho, Francisco. "Emergência e Colapso de Poder". PhD, Universidade de Lisboa, 2005. http://hdl.handle.net/10174/4187.

Other

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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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 (India)
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)

Supervision

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

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023/03/27 - 2023/03/29 Programming and Data Infrastructure in Digital Humanities (2023/03/27 - 2023/03/29)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Scientific Committee)
 Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2023 Supergame, a system with data collection to support game recommendation
Supervisor
 Francisco Ferreira Canhão Rodrigues (Master)
Universidade de Évora, Portugal
2023 Máquinas de Turing em OCaml-Flat/OFLAT
(Thesis) Main arguer
 Miguel Lourenço (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 Realidade Virtual e e-Aprendizagem: Especificação de Perguntas de Escolha Múltipla
Supervisor
 Tony Babej Chaveiro (Master)
Universidade de Évora, Portugal
2022 E-learning Imersivo - Atividades na perspetiva da primeira pessoa
Supervisor
 Carlos Manuel da Silva Figueiredo (Master)
Universidade de Évora Departamento de Informática, Portugal
2018 Online Learning and Dropout
Supervisor
 Rita Sofia Leitão (Master)
Universidade de Évora Departamento de Informática, Portugal
2016/07/16 The X in balance
Supervisor
 Yusra Tehreem (Master)
Universidade de Évora Departamento de Informática, Portugal
2014 Plataforma de Gestão de culturas hidropónicas
President of the jury
 Domingos Manuel Baptista de Castro Martins (Master)
Universidade de Évora Departamento de Informática, Portugal
2013 Lattices Related to Conway’s Construction
(Thesis) Arguer
 Cátia Sofia Peniche Lente Dinis Dias (PhD)
Universidade de Évora, Portugal

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

Journal scientific committee

Journal title (ISSN) Publisher
2022 - Current Applied Soft Computing (1568-4946)

Other jury / evaluation

Activity description Institution / Organization
2023 - Current Bolsa de Iniciação à Investigação Universidade de Évora, Portugal