???global.info.a_carregar???
Trabalho na Universidade da Madeira. Possuo Doutoramento em Matemática e sou investigador do CIMA (Centro de Investigação em Matemática e Aplicações). A minha área de investigação principal é Revisão de Crenças. In English: I work at the University of Madeira. I have a Phd in Mathematics and I am a researcher of CIMA (Centro de Investigação em Matemática e Aplicações - Research Centre for Mathematics and Applications). My main area of investigation is Belief revision.
Identification

Personal identification

Full name
Marco Garapa

Citation names

  • Garapa, Marco

Author identifiers

Ciência ID
2712-ABAA-7FAD
ORCID iD
0000-0003-3697-1565

Email addresses

  • mgarapa@staff.uma.pt (Professional)

Addresses

  • Universidade da Madeira. Campus Universitário da Penteada , 9020-105, Funchal, Funchal, Portugal (Professional)

Websites

Education
Degree Classification
2017
Concluded
 3º ciclo - Matemática - Especialidade Lógica e Ciências da Computação (Doutoramento)
Universidade da Madeira, Portugal
"Advances on Belief Base Dynamics" (THESIS/DISSERTATION)
 Aprovado
2006
Concluded
 Matemática - via ensino (Mestrado)
Universidade da Madeira, Portugal
"Lógica Modal Etiquetada em Isabelle" (THESIS/DISSERTATION)
 Aprovado
1999
Concluded
 Matemática - via ensino (Licenciatura)
Universidade da Madeira, Portugal
"n/a" (THESIS/DISSERTATION)
 16
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2017/11/21 - Current Invited Assistant Professor (University Teacher) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
1999/09/01 - 2017/11/21 Invited Assistant (University Teacher) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal

Other Careers

Category
Host institution 		Employer
1998/09/01 - Current Professor do ensino básico e secundário (Professor do ensino básico e secundário) Secretaria Regional de Educação, Portugal
Projects

Grant

Designation Funders
2018/10 - 2022/09 Revisão de Crenças aplicado a Terapias de Neurorehabilitação
Provided by PTCRIS: PTDC/CCI-COM/30990/2017
Researcher
Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2015/01/01 - Current Centro de Investigação em Matemática e Aplicações (CIMA)
UID/MAT/04674/2013
Researcher
2021/03/29 - 2025/03/28 Dinâmica de Perfis baseada em Conhecimento/Knowledge-Driven Profile Dynamics
PTDC/CCI-COM/4464/2020
Researcher
Fundação para a Ciência e a Tecnologia, Portugal
Ongoing
2020/01/01 - 2024/12/31 Centro de Investigação em Matemática e Aplicações
UIDB/04674/2020
10.54499/UIDB/04674/2020
Researcher
Universidade de Évora, Portugal

Universidade de Évora Centro de Investigação em Matemática e Aplicações, Portugal

Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Universidade da Madeira, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2020/12/31 Advanced belief change operations based on comparisons and conditionals
DAAD - FCT
Researcher
Ongoing
Outputs

Publications

Book chapter
  1. Camacho, Luís; Garapa, Marco; Ferreira, Jorge. "Mathematics Higher Education with Interactive Computing Resources". In Hands-on Science. Brightening our future. Oxford University Press, 2015.
    Published
Conference paper
  1. Eduardo L. Fermé; Garapa, Marco; Maurício D.L. Reis. "Causes for Changing Profiles (Preliminary Report)". Paper presented in 1st Workshop on AI-driven heterogeneous data management : Completing, merging, handling inconsistencies and query-answering (ENIGMA-23), 2023.
    Published
  2. Eduardo L. Fermé; Garapa, Marco; Reis, Maurício D. L.. "Causes for changing profiles (Extended Abstract)". Paper presented in 21st International Workshop on Non-Monotonic Reasoning (NMR 2023), 2023.
    Published
  3. Marco Garapa; Eduardo Fermé; Maurício D.L. Reis. "System of Spheres-based Two Level Credibility-limited Revisions". 2023.
    10.4204/eptcs.379.23
  4. Fillipe Resina; Garapa, Marco; Renata Wassermann; Eduardo Fermé; Maurício D.L. Reis. "Choosing What to Believe - New Results in Selective Revision". 2020.
    10.24963/kr.2020/70
  5. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.. "Shielded Base Contraction (Extended Abstract)". Paper presented in International Joint Conferences on Artificial Intelligence Organization (IJCAI), 2019.
    Published • 10.24963/ijcai.2019/889
  6. Garapa, Marco; Testa, Rafael; Fermé, Eduardo; Reis, Maurício D.L.. "How to build Remainder Sets for Paraconsistent Revisions". Paper presented in 17th International Workshop On Non-Monotonic Reasoning, 2018.
    Published
  7. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Studies in Credibility-Limited Base Revision". Paper presented in 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018.
    Published
  8. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report". Paper presented in 16th International Workshop on Non-Monotonic Reasoning, 2016.
  9. Camacho, Luis; Garapa, Marco. "O Formato CDF como Recurso Educativo". Paper presented in I Encontro Internacional da Casa das Ciências, Lisboa, 2013.
  10. Camacho, Luis; Garapa, Marco. "A utilização de recursos computacionais interativos". Paper presented in ProfMat, Coimbra, 2012.
Conference poster
  1. Garapa, Marco; Luis, Rafael; Correia, Carla; Borges, Cátia. "Teoria do Caos e Geometria Fractal". Paper presented in 3º Fórum Ciência Viva - Feira Internacional de Lisboa, 1999.
Journal article
  1. Eduardo Fermé; Marco Garapa; Maurício D.L. Reis; Yuri Almeida; Teresa Paulino; Mariana Rodrigues. "Knowledge-driven profile dynamics". Artificial Intelligence 331 (2024): 104117-104117. http://dx.doi.org/10.1016/j.artint.2024.104117.
    10.1016/j.artint.2024.104117
  2. Fermé, Eduardo; Garapa, Marco; Nayak, Abhaya; Reis, Maurício D.L.. "Relevance, recovery and recuperation: A prelude to ring withdrawal". International Journal of Approximate Reasoning 166 (2024): 109108. http://dx.doi.org/10.1016/j.ijar.2023.109108.
    Published • 10.1016/j.ijar.2023.109108
  3. Marco Garapa; Eduardo Fermé; Maurício D.L. Reis. "Levi and Harper identities for non-prioritized belief base change". Artificial Intelligence (2023): https://doi.org/10.1016/j.artint.2023.103907.
    10.1016/j.artint.2023.103907
  4. MARCO GARAPA; MAURÍCIO D. L. REIS. "Generalized Partial Meet and Kernel Contractions". The Review of Symbolic Logic (2022): 1-29. http://dx.doi.org/10.1017/s175502032200034x.
    10.1017/s175502032200034x
  5. Garapa, Marco. "Selective Base Revisions". Journal of Philosophical Logic (2021): http://dx.doi.org/10.1007/s10992-021-09606-8.
    10.1007/s10992-021-09606-8
  6. Garapa, Marco. "Credibility-limited Base Revision: New Classes and Their Characterizations". Journal of Artificial Intelligence Research 69 (2020): 1023-1075. http://dx.doi.org/10.1613/jair.1.12298.
    10.1613/jair.1.12298
  7. Garapa, Marco. "Two level Credibility-limited Revisions". The Review of Symbolic Logic (2020): 1-21. http://dx.doi.org/10.1017/s1755020320000283.
    10.1017/s1755020320000283
  8. Garapa, Marco. "Residual Contraction". Journal of Logic, Language and Information (2019): http://dx.doi.org/10.1007/s10849-019-09296-1.
    10.1007/s10849-019-09296-1
  9. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Shielded base contraction". Artificial Intelligence 259 (2018): 186-216. http://dx.doi.org/10.1016/j.artint.2018.03.007.
    Published • 10.1016/j.artint.2018.03.007
  10. Garapa, Marco. "On ensconcement and contraction". Journal of Logic and Computation (2017): https://doi.org/10.1093/logcom/exx008.
    10.1093/logcom/exx008
  11. Garapa, Marco. "Studies on Brutal Contraction and Severe Withdrawal". Studia Logica 105 2 (2017): 331-360. http://dx.doi.org/10.1007/s11225-016-9691-y.
    10.1007/s11225-016-9691-y
  12. Borges, Cátia; Correia, Carla; Garapa, Marco; Luís, Rafael. "Dimensão de Hausdorff da linha da costa da ilha do Porto Santo". Boletim da Sociedade Portuguesa de Matemática 42 (2000): 5-14.
Thesis / Dissertation
  1. Garapa, Marco Paulo Ferreirinha. "Advances on belief base dynamics". PhD, 2017. http://hdl.handle.net/10400.13/1797.
  2. "Lógica modal etiquetada em Isabelle". Master, Universidade da Madeira, 2006.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2024/10 Levi and Harper identities for non-prioritized belief base change 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE
(Santiago de Compostela, Spain)
2024/05 Relevance, recovery and recuperation: A prelude to ring withdrawal Knowledge Representation and Multiagent Systems Conventicle
School of Computer Science and Engineering, University of New South Wales (United Kingdom)
2024/03 New belief base contraction operators 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms
(Portugal)
2024/02 Ring withdrawals CIMA Annual Meeting 2024
(Funchal, Portugal)
2023/07/19 On non-prioritized operators with multiple levels of credibility
(Dortmund, Germany)
2023/07/14 Belief Change: Basic Concepts and Some Recent Contributions CIMA Annual Meeting 2023
ISEL (Lisboa, Portugal)
2023 Causes for Changing Profiles AI-driven Heterogeneous Data Management : Completing, Merging, Handling Inconsistencies and Query-answering (ENIGMA-2023)
(Rhodes, Greece)
2023 Causes for Changing Profiles (Extended Abstract) International Workshop on Non-Monotonic Reasoning 2023 (NMR 2023)
(Greece)
2022/07/07 On the Dynamics of Beliefs CIMA Anual Meeting 2022
(Évora, Portugal)
2019/10/24 Shielded Base Contractions First International Workshop Proof Theory for Automated Deduction, Automated Deduction for Proof Theory
Kurt Gödel Society (KGS) (Funchal, Portugal)
2017/06/12 Contração não Priorizada II Workshop Matemática na UMa
Departamento de Matemática da Universidade da Madeira (Funchal, Portugal)
2016/06/13 On ensconcement and contraction I Workshop Matemática na UMa
Departamento de Matemática da Universidade da Madeira (Funchal, Portugal)
2014/07 Matemática com Applets MadeiraMat 2014
(Funchal, Portugal)
2000/04 Geometria Fractal e Teoria do Caos 2º Encontro de Professores de Matemática
(Funchal, Portugal)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2024/03/21 - 2024/03/25 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON 2024) (2024/03/21 - 2024/03/25) Universidade da Madeira, Portugal

Universidad Nacional del Sur, Argentina
2024/02/02 - 2024/02/03 Encontro Anual do CIMA - 2024 (2024/02/02 - 2024/02/03)
Meeting (Member of the Organising Committee)
 Universidade de Évora Centro de Investigação em Matemática e Aplicações, Portugal

Universidade da Madeira Centro de Investigação de Matemática e Aplicações, Portugal
2022/03/27 - 2022/03/31 5th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (2022/03/27 - 2022/03/31)
Meeting (Member of the Organising Committee)
 Universidade da Madeira, Portugal

Universidad Nacional del Sur, Argentina
2019/11/16 - 2019/11/20 4th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (2019/11/16 - 2019/11/20)
Meeting (Member of the Organising Committee)
 Universidade da Madeira, Portugal

Universidad Nacional del Sur, Argentina
2017/11/16 - 2017/11/20 3rd Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (2017/11/16 - 2017/11/20)
Meeting (Member of the Organising Committee)
 Universidade da Madeira, Portugal

Universidad Nacional del Sur, Argentina

Conference scientific committee

Conference name Conference host
2024/11/02 - 2024/11/08 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
2024/09/03 - 2024/09/06 Knowledge Representation and Reasoning (KRR) Thematic Track of the 23rd EPIA Conference on Artificial Intelligence (EPIA2024)
2024/08/03 - 2024/08/09 33rd International Joint Conference on Artificial Intelligence Jeju, South Korea
2023/09/20 - 2023/09/22 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)
2023/08/19 - 2023/08/25 32nd International Joint Conference on Artificial Intelligence
2022/08/31 - 2022/09/02 21st EPIA Conference on Artificial Intelligence (EPIA 2022)
2022/07/23 - 2022/07/29 31st International Joint Conference on Artificial Intelligence and 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) Vienna, Austria
2021/11/03 - 2021/11/12 18th International Conference on Principles of Knowledge Representation and Reasoning (KR21) Online
2021/09/07 - 2021/09/09 20th EPIA Conference on Artificial Intelligence (EPIA2021).
2021/08/19 - 2021/08/26 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Montreal-themed Virtual Reality
2019/09/03 - 2019/09/06 19th EPIA Conference on Artificial Intelligence (EPIA 2019) Vila Real, Portugal