???global.info.a_carregar???
Maurício Reis is an assistant professor at the Department of Mathematics of the Faculty for Exact Sciences and Engineering of the University of Madeira since July 2011. He is a member of CIMA (Centro de Investigação em Matemática e Aplicações) since 2016. He obtained a PhD in Mathematics, specialty of Logic and Computer Science at the University of Madeira in 2011, with a thesis entitled On Theory Multiple Contraction. Before that, he graduated in Mathematics at the University of Madeira in 2001 and obtained a MSc in Applied Mathematics at Instituto Superior Técnico - Technical University of Lisbon, in 2004. His main research interests are within the area of Logic of Belief Change (also known as Belief Revision). His most recent works have been focused on Multiple Contraction, Belief Base Change and non-prioritized belief change.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Maurício Duarte Luís Reis

Nomes de citação

  • Reis, Maurício
  • Reis, Maurício D. L.

Identificadores de autor

Ciência ID
881A-A9ED-56DD
ORCID iD
0000-0001-7437-8354
Scopus Author Id
16025753300

Endereços de correio eletrónico

  • m_reis@staff.uma.pt (Profissional)

Moradas

  • Departamento de Matemática. Faculdade de Ciências Exatas e da Engenharia, Universidade da Madeira, Campus Universitário da Penteada, 9020-105, Funchal, Funchal, Portugal (Profissional)

Websites

Formação
Grau Classificação
2011/07/14
Concluído
 Matemática (Doutoramento)
Especialização em Lógica e Ciência da Computação
Universidade da Madeira, Portugal
"On Theory Multiple Contraction" (TESE/DISSERTAÇÃO)
 Aprovado
2004/07/27
Concluído
 Matemática Aplicada (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"O Problema de Hilbert Generalizado" (TESE/DISSERTAÇÃO)
 Aprovado
2001/07/31
Concluído
 Matemática (Licenciatura)
Especialização em Ramo Científico
Universidade da Madeira, Portugal
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2011/07/15 - Atual Professor Auxiliar (Docente Universitário) Universidade da Madeira, Portugal
2004/07/28 - 2011/07/14 Assistente (Docente Universitário) Universidade da Madeira, Portugal
2001/12/03 - 2004/07/27 Assistente Estagiário (Docente Universitário) Universidade da Madeira, Portugal
2001/10/01 - 2001/11/30 Monitor (Docente Universitário) Universidade da Madeira, Portugal
2000/09/25 - 2001/08/03 Monitor (Docente Universitário) Universidade da Madeira, Portugal
Projetos

Projeto

Designação Financiadores
2020/01/01 - 2024/12/31 Centro de Investigação em Matemática e Aplicações
UIDB/04674/2020
10.54499/UIDB/04674/2020
Investigador
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
Concluído
2018/10/01 - 2021/09/30 Revisão de Crenças aplicado a Terapias de Neurorehabilitação
PTDC/CCI-COM/30990/2017
10.13039/501100001871
Investigador
Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade da Madeira Madeira Interactive Technologies Institute, Portugal

Universidade de Coimbra, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2020/12/31 Advanced belief change operations based on comparisons and conditionals
DAAD - FCT
Investigador
Associação para a Inovação e Desenvolvimento da FCT
Em curso
2019/01/01 - 2019/12/31 Projecto estratégico - Centro de Investigação em Matemática e Aplicações
UID/MAT/04674/2019
Investigador
Universidade de Évora, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Eduardo L. Fermé; Garapa, Marco; Reis, Maurício D. L.. "Causes for changing profiles (Extended Abstract)". Trabalho apresentado em 21st International Workshop on Non-Monotonic Reasoning (NMR 2023), Rhodes, 2023.
    Publicado
  2. Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "Causes for Changing Profiles (Preliminary Report)". Trabalho apresentado em 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering (ENIGMA 2023), Rhodes, 2023.
    Publicado
  3. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.. "System of Spheres-based Two Level Credibility-limited Revisions". Trabalho apresentado em 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, 2023.
    Publicado • https://dx.doi.org/10.4204/EPTCS.379.23
  4. Resina, Fillipe; Garapa, Marco; Wassermann, Renata; Fermé, Eduardo; Reis, Maurício. "Choosing What to Believe - New Results in Selective Revision". Trabalho apresentado em 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, 2020.
    Publicado • 10.24963/kr.2020/70
  5. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.. "Shielded Base Contraction (Extended Abstract)". Trabalho apresentado em Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), 2019.
    Publicado • 10.24963/ijcai.2019/889
  6. Testa, Rafael; Fermé, Eduardo L.; Garapa, Marco; Reis, Maurício D. L.. "How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report". Trabalho apresentado em 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), Tempe, 2018.
    Publicado
  7. Garapa, Marco; Eduardo L. Fermé; Reis, Maurício D. L.. "Studies in Credibility-Limited Base Revision". Trabalho apresentado em Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, 2018.
    Publicado
  8. Reis, Maurício D. L.; Fermé, Eduardo; Peppas, Pavlos. "Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)". Trabalho apresentado em Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, 2017.
    Publicado • 10.24963/ijcai.2017/719
  9. Garapa, Marco; Eduardo Ferme; Reis, Maurício D. L.. "Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report". Trabalho apresentado em 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), Cape Town, 2016.
    Publicado
Artigo em revista
  1. Garapa, Marco; Reis, Maurício D. L.. "Generalized Partial Meet and Kernel Contractions". The Review of Symbolic Logic 17 2 (2024): 366-394. https://doi.org/10.1017/s175502032200034x.
    10.1017/s175502032200034x
  2. Fermé, Eduardo; Garapa, Marco; Reis, Maurício D.L.; Almeida, Yuri; Paulino, Teresa; Rodrigues, Mariana. "Knowledge-driven profile dynamics". Artificial Intelligence 331 (2024): 104117. https://doi.org/10.1016/j.artint.2024.104117.
    10.1016/j.artint.2024.104117
  3. 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.
    Acesso aberto • 10.1016/j.ijar.2023.109108
  4. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Levi and Harper identities for non-prioritized belief base change". Artificial Intelligence 319 (2023): 103907. http://dx.doi.org/10.1016/j.artint.2023.103907.
    Acesso aberto • Publicado • 10.1016/j.artint.2023.103907
  5. Garapa, Marco; Fermé, Eduardo; Reis, Maurício. "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.
    Acesso aberto • Publicado • 10.1613/jair.1.12298
  6. Garapa, Marco; Reis, Maurício D. L.. "Residual Contraction". Journal of Logic, Language and Information 29 2 (2020): 255-274. http://dx.doi.org/10.1007/s10849-019-09296-1.
    Publicado • 10.1007/s10849-019-09296-1
  7. 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.
    Publicado • 10.1016/j.artint.2018.03.007
  8. Fermé, E.; Garapa, M.; Reis, M.D.L.. "On ensconcement and contraction". Journal of Logic and Computation 27 7 (2017): 2011-2042. https://doi.org/10.1093/logcom/exx008.
    Publicado • 10.1093/logcom/exx008
  9. Garapa, M.; Fermé, E.; Reis, M. D. L.. "Studies on Brutal Contraction and Severe Withdrawal". Studia Logica 105 2 (2017): 331-360. http://dx.doi.org/10.1007/s11225-016-9691-y.
    Publicado • 10.1007/s11225-016-9691-y
  10. Reis, Maurício D. L.; Peppas, Pavlos; Fermé, Eduardo. "Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions". Annals of Mathematics and Artificial Intelligence 78 3-4 (2016): 181-203. http://dx.doi.org/10.1007/s10472-015-9454-x.
    Publicado • 10.1007/s10472-015-9454-x
  11. Reis, Maurício D.L.; Fermé, Eduardo; Peppas, Pavlos. "Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result". Artificial Intelligence 233 (2016): 122-141. http://dx.doi.org/10.1016/j.artint.2016.01.001.
    Publicado • 10.1016/j.artint.2016.01.001
  12. Reis, M. D. L.. "On the interrelation between systems of spheres and epistemic entrenchment relations". Logic Journal of IGPL 22 1 (2014): 126-146. http://dx.doi.org/10.1093/jigpal/jzt037.
    Publicado • 10.1093/jigpal/jzt037
  13. Fermé, Eduardo; Reis, Maurício D. L.. "Epistemic entrenchment-based multiple contractions". The Review of Symbolic Logic 6 3 (2013): 460-487. http://dx.doi.org/10.1017/s1755020313000105.
    Publicado • 10.1017/s1755020313000105
  14. Reis, Maurício D. L.; Fermé, Eduardo. "Possible Worlds Semantics for Partial Meet Multiple Contraction". Journal of Philosophical Logic 41 1 (2012): 7-28. http://dx.doi.org/10.1007/s10992-011-9198-y.
    Publicado • 10.1007/s10992-011-9198-y
  15. Fermé, Eduardo; Reis, Maurício D. L.. "System of Spheres-based Multiple Contractions". Journal of Philosophical Logic 41 1 (2012): 29-52. http://dx.doi.org/10.1007/s10992-011-9197-z.
    Publicado • 10.1007/s10992-011-9197-z
  16. Falappa, Marcelo A.; Kern-Isberner, Gabriele; Reis, Maurício D. L.; Simari, Guillermo R.. "Prioritized and Non-prioritized Multiple Change on Belief Bases". Journal of Philosophical Logic 41 1 (2012): 77-113. http://dx.doi.org/10.1007/s10992-011-9200-8.
    Publicado • 10.1007/s10992-011-9200-8
  17. Fermé, Eduardo; Krevneris, M.; Reis, M.. "An Axiomatic Characterization of Ensconcement-Based Contraction". Journal of Logic and Computation 18 5 (2008): 739-753. http://dx.doi.org/10.1093/logcom/exm093.
    Publicado • 10.1093/logcom/exm093
  18. Ferreira, Jorge; Litvinchuk, Gueorgui S.; Reis, Maurício D. L.. "Calculation of the Defect Numbers of the Generalized Hilbert and Carleman Boundary Value Problems with Linear Fractional Carleman Shift". Integral Equations and Operator Theory 57 2 (2007): 185-207. http://dx.doi.org/10.1007/s00020-006-1451-3.
    Publicado • 10.1007/s00020-006-1451-3
  19. Ferreira, J.; Gouveia, D.; Reis, Maurício D. L.; Da Silva, José Luís. "Funções teste e funções generalizadas em dimensão 1. Descrição e caracterização.". Boletim da SPM 52 (2005): 59-75.
    Publicado
Capítulo de livro
  1. de Brito, Lina M. Pestana Leão; Peralta, Laura M. Rodríguez; Reis, Maurício D. Luís. "Towards a Collaborative Model for Wireless Sensor Networks". In IFIP – The International Federation for Information Processing, 371-380. Springer US, 2008.
    Publicado • 10.1007/978-0-387-84837-2_38
Entrada de dicionário
  1. Reis, Maurício D. L.. "Litvinchuk, Gueorgui Semenovich". In Dicionário Enciclopédico da Madeira, 2013.
    No prelo
Poster em conferência
  1. Gueorgui S. Litvinchuk; Reis, Maurício D. L.. "The Generalized Hilbert Boundary Value Problem". Trabalho apresentado em Fourth European Congress of Mathematics, 2004.
Tese / Dissertação
  1. Reis, Maurício Duarte Luís. "On theory multiple contraction". Doutoramento, Universidade da Madeira, 2011. http://hdl.handle.net/10400.13/255.
  2. Reis, Maurício D. L.. "O Problema de Hilbert Generalizado". Mestrado, Universidade de Lisboa Instituto Superior Técnico, 2004.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2024/03/23 New belief base contraction operators 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON 2024)
2019/10 On Multiple Belief Change First International Workshop Proof Theory for Automated Deduction, Automated Deduction for Proof Theory
(Funchal, Portugal)
2013/06 System of Spheres-based Constructions of Transitively Relational Partial Meet Multiple Contractions Dagstuhl-Seminar on Belief Change and Argumentation in Multi-Agent Scenarios
Schloss Dagstuhl (Wadern, Alemanha)
2009/08 On the semantics of Multiple Contraction Dagstuhl-Seminar on Information Processing, Rational Belief Change and Social Interaction
Schloss Dagstuhl (Wadern, Alemanha)
2007/08 Multiple Contraction: State of the Art and Future Works Dagstuhl-Seminar on Formal Models of Belief Change in Rational Agents
Schloss Dagstuhl (Wadern, Alemanha)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2015/12/22 - 2017/11/20 Advances on Belief Base Dynamics
Orientador
 Matemática (Doutoramento)
Universidade da Madeira, Portugal

Membro de associação

Nome da associação Tipo de participação
2016/01 - Atual Centro de Investigação em Matemática e Aplicações (CIMA)