Enjoy My Site

MARCO GARAPA

Home: Welcome

About me

I am a math teacher of Secretaria Regional de Educação da Madeira, currently working 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).

Main area of investigation: Belief Revision

ORCID ID: https://orcid.org/0000-0003-3697-1565

Home: Personal Statement

Publications: Belief revision

Home: Education

NON-PRIORITIZED BELIEF CHANGE

2025

Fermé, E., Garapa, M., & Reis, M. (2025). Non-Prioritized Belief Change. Springer Nature.

MAPS BETWEEN DIFFERENT KINDS OF TWO-LEVEL CREDIBILITY-LIMITED REVISION OPERATORS

2025

Garapa, M., Fermé, E., & Reis, M. (2025). Maps Between Different Kinds of Two-Level Credibility-limited Revision Operators. ACM Transactions on Computational Logic. https://dl.acm.org/doi/10.1145/3733830

GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS

2024

Garapa, M., & Reis, M. (2024). Generalized Partial Meet and Kernel Contractions. The Review of Symbolic Logic, https://doi.org/10.1017/S175502032200034X

KNOWLEDGE-DRIVEN PROFILE DYNAMICS

2024

Fermé, E., Garapa, M., Reis, M., Almeida, Y., Paulino, T., & Rodrigues, M. (2024) Knowledge-driven profile dynamics. Artificial Intelligence. https://doi.org/10.1016/j.artint.2024.104117

RELEVANCE, RECOVERY AND RECUPERATION: A PRELUDE TO RING WITHDRAWAL

2024

Garapa, M., Fermé, E., & Reis, M. (2024). Relevance, recovery and recuperation: A prelude to ring withdrawal. International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2023.109108

LEVI AND HARPER IDENTITIES FOR NON-PRIORITIZED BELIEF BASE CHANGE

2023

Garapa, M., Fermé, E., & Reis, M. (2023). Levi and Harper identities for non-prioritized belief base change. Artificial Intelligence https://doi.org/10.1016/j.artint.2023.103907

TWO LEVEL CREDIBILITY-LIMITED REVISIONS

2022

Garapa, M. (2022). Two Level Credibility-Limited Revisions. The Review of Symbolic Logic. https://doi.org/10.1017/S1755020320000283[Opens in a new window]

CREDIBILITY-LIMITED BASE REVISION: NEW CLASSES AND THEIR CHARACTERIZATIONS

2020

Garapa, M., Fermé, E., & Reis, M. (2020). Credibility-limited Base Revision: New Classes and Their Characterizations. Journal of Artificial Intelligence Research. https://doi.org/10.1613/jair.1.12298

RESIDUAL CONTRACTION

2019

Garapa, M., & Reis, M. (2019). Residual Contraction. Journal of Logic, Language and Information.

http://dx.doi.org/10.1007/s10849-019-09296-1

SHIELDED BASE CONTRACTION

2018

Garapa, M., Fermé, E., & Reis, M. (2018). Shielded Base Contraction. Artificial Intelligence.

https://doi.org/10.1016/j.artint.2018.03.007

ADVANCES ON BELIEF BASE DYNAMICS

2017

Garapa, M. (2017). Advances on Belief Base Dynamics, Phd Thesis.

ON ENSCONCEMENT AND CONTRACTION

2017

Fermé, E., Garapa, M., & Reis, M. (2017). On Ensconcement and Contraction. Journal of Logic and Computation 27(7), 2011–2042. https://doi.org/10.1093/logcom/exx008

STUDIES ON BRUTAL CONTRACTION AND SEVERE WITHDRAWAL

2017

Garapa, M., Fermé, E., & Reis, M. (2017). Studies on Brutal Contraction and Severe Withdrawal. Studia Logica, 105(2), 331–360. DOI: 10.1007/s11225-016-9691-y

Publications: Education

Home: Education

MATHEMATICS HIGHER EDUCATION WITH INTERACTIVE COMPUTING RESOURCES

2015

Camacho, L., Garapa, M., & Ferreira, J. (2015). Mathematics Higher Education with Interactive Computing Resources. 12th International Conference on Hands-on Science, (pp. 166-169). Funchal.

O FORMATO CDF COMO RECURSO EDUCATIVO

2013

Camacho, L., & Garapa, M. (2013). O Formato CDF como Recurso Educativo. I Encontro Internacional da Casa das Ciências. Lisboa.

Publications: Other

Home: Education

DIMENSÃO DE HAUSDORFF DA LINHA DA COSTA DA ILHA DO PORTO SANTO

2000

Borges, C., Correia, C., Garapa, M., Luís, R. (2000). Dimensão de Hausdorff da linha da costa da ilha do Porto Santo, Sociedade Portuguesa de Matemática, N.º 42, pags. 5-14, maio 2000.

Comunications

Home: Education

CHOOSING WHAT TO BELIEVE - NEW RESULTS IN SELECTIVE REVISION

2020

Resina, F., Garapa, M., Wassermann, R., Fermé, E., Reis, M. (2020). Choosing What to Believe - New Results in Selective Revision. 17th International Conference on Principles of Knowledge Representation and Reasoning (pp. 687-691).

SHIELDED BASE CONTRACTION (EXTENDED ABSTRACT)

2019

Garapa, M., Fermé, E., & Reis, M. (2019). Shielded Base Contraction (Extended Abstract). International Joint Conferences on Artificial Intelligence Organization (IJCAI). (pp. 6367-6371). Macao.

STUDIES IN CREDIBILITY-LIMITED BASE REVISION

2018

Garapa, M., Fermé, E., & Reis, M. (2018). Studies in Credibility-Limited Base Revision. 16th International Conference on Principles of Knowledge Representation and Reasoning. (pp. 240-247). Arizona. USA.

HOW TO BUILD REMAINDER SETS FOR PARACONSISTENT REVISIONS

2018

How to build Remainder Sets for Paraconsistent Revisions. 17th International Workshop On Non-Monotonic Reasoning. Arizona. USA.

STUDIES ON BRUTAL CONTRACTION AND SEVERE WITHDRAWAL: PRELIMINARY REPORT

2016

Garapa, M., Fermé, E., & Reis, M. (2016). Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report. 16th International Workshop on Non-Monotonic Reasoning, (pp. 37-45). Cape Town, South Africa.

MATHEMATICS HIGHER EDUCATION WITH INTERACTIVE COMPUTING RESOURCES

2015

Camacho, L., Garapa, M., & Ferreira, J. (2015). Mathematics Higher Education with Interactive Computing Resources. 12th International Conference on Hands-on Science. Funchal.

A UTILIZAÇÃO DE RECURSOS COMPUTACIONAIS INTERATIVOS

2012

Camacho, L., Garapa, M. (2012). A utilização de recursos computacionais interativos, ProfMat, Coimbra, Portugal.

O FORMATO CDF COMO RECURSO EDUCATIVO

2013

Camacho, L., & Garapa, M. (2013). O Formato CDF como Recurso Educativo, I Encontro Internacional da Casa das Ciências, Lisboa, Portugal.

Work Experience

MY CAREER

FROM SEPTEMBER 2001

Invited Assistant Professor at the University of Madeira.

Invited Assistant Professor at the University of Madeira (until November 2017).

SEPTEMBER 1999 - AUGUST 2001

Math teacher at Escola do 2º e 3º Ciclos de São Roque.
Assistant at Madeira University.

SEPTEMBER 1998 - AUGUST 1999

Math teacher at Escola Francisco Franco

Home: Experience

THOMAS JEFFERSON

"If you want something you've never had, you have to do something you've never done"

Home: Quote