Marco Garapa
Enjoy My Site
MARCO GARAPA
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
 |  |  |
|---|---|---|
 |  |
Publications: Belief revision
SELECTIVE BASE REVISIONS
2021
Garapa, M. (2021). Selective Base Revisions. Journal of Philosophical Logic. https://doi.org/10.1007/s10992-021-09606-8.
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
TWO LEVEL CREDIBILITY-LIMITED REVISIONS
2020
Garapa, M. (2020). Two Level Credibility-Limited Revisions. The Review of Symbolic Logic. https://doi.org/10.1017/S1755020320000283[Opens in a new window]
RESIDUAL CONTRACTION
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.
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
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). Cidade do Cabo, Africa do Sul.
Publications: 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
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
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
Assistant at Madeira University.
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
THOMAS JEFFERSON
"If you want something you've never had, you have to do something you've never done"