???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.
Read full resume ↓
Identification

Personal identification

Full name
Maurício Duarte Luís Reis

Citation names

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

Author identifiers

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

Email addresses

  • m_reis@staff.uma.pt (Professional)

Addresses

  • 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 (Professional)

Websites

Education
Degree Classification
2011/07/14
Concluded
 Matemática (Doutoramento)
Major in Lógica e Ciência da Computação
Universidade da Madeira, Portugal
"On Theory Multiple Contraction" (THESIS/DISSERTATION)
 Aprovado
2004/07/27
Concluded
 Matemática Aplicada (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"O Problema de Hilbert Generalizado" (THESIS/DISSERTATION)
 Aprovado
2001/07/31
Concluded
 Matemática (Licenciatura)
Major in Ramo Científico
Universidade da Madeira, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2011/07/15 - Current Assistant Professor (University Teacher) Universidade da Madeira, Portugal
2004/07/28 - 2011/07/14 Assistant (University Teacher) Universidade da Madeira, Portugal
2001/12/03 - 2004/07/27 Trainee Assistant (University Teacher) Universidade da Madeira, Portugal
2001/10/01 - 2001/11/30 Tutor (University Teacher) Universidade da Madeira, Portugal
2000/09/25 - 2001/08/03 Tutor (University Teacher) Universidade da Madeira, Portugal
Projects

Contract

Designation Funders
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
Concluded
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
Researcher
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
Ongoing
2019/01/01 - 2020/12/31 Advanced belief change operations based on comparisons and conditionals
DAAD - FCT
Researcher
Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2019/01/01 - 2019/12/31 Projecto estratégico - Centro de Investigação em Matemática e Aplicações
UID/MAT/04674/2019
Researcher
Universidade de Évora, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  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.
    Published • 10.1007/978-0-387-84837-2_38
Conference paper
  1. 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), Rhodes, 2023.
    Published
  2. Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "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 2023), Rhodes, 2023.
    Published
  3. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.. "System of Spheres-based Two Level Credibility-limited Revisions". Paper presented in 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, 2023.
    Published • 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". Paper presented in 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, 2020.
    Published • 10.24963/kr.2020/70
  5. Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.. "Shielded Base Contraction (Extended Abstract)". Paper presented in Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), 2019.
    Published • 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". Paper presented in 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), Tempe, 2018.
    Published
  7. Garapa, Marco; Eduardo L. Fermé; Reis, Maurício D. L.. "Studies in Credibility-Limited Base Revision". Paper presented in Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, 2018.
    Published
  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)". Paper presented in Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, 2017.
    Published • 10.24963/ijcai.2017/719
  9. Garapa, Marco; Eduardo Ferme; Reis, Maurício D. L.. "Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report". Paper presented in 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), Cape Town, 2016.
    Published
Conference poster
  1. Gueorgui S. Litvinchuk; Reis, Maurício D. L.. "The Generalized Hilbert Boundary Value Problem". Paper presented in Fourth European Congress of Mathematics, 2004.
Dictionary entry
  1. Reis, Maurício D. L.. "Litvinchuk, Gueorgui Semenovich". In Dicionário Enciclopédico da Madeira, 2013.
    In press
Journal article
  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.
    Open access • 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.
    Open access • Published • 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.
    Open access • Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
Thesis / Dissertation
  1. Reis, Maurício Duarte Luís. "On theory multiple contraction". PhD, Universidade da Madeira, 2011. http://hdl.handle.net/10400.13/255.
  2. Reis, Maurício D. L.. "O Problema de Hilbert Generalizado". Master, Universidade de Lisboa Instituto Superior Técnico, 2004.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Germany)
2009/08 On the semantics of Multiple Contraction Dagstuhl-Seminar on Information Processing, Rational Belief Change and Social Interaction
Schloss Dagstuhl (Wadern, Germany)
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, Germany)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2015/12/22 - 2017/11/20 Advances on Belief Base Dynamics
Supervisor
 Matemática (PhD)
Universidade da Madeira, Portugal

Association member

Society Organization name Role
2016/01 - Current Centro de Investigação em Matemática e Aplicações (CIMA)