Maurício Duarte Luís Reis
AuthID: R-000-NV6
1
TITLE: Levi and Harper identities for non-prioritized belief base change
AUTHORS: Garapa, Marco; Ferme, Eduardo; Reis, Mauricio D. L.;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 319
AUTHORS: Garapa, Marco; Ferme, Eduardo; Reis, Mauricio D. L.;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 319
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: System of Spheres-based Two Level Credibility-limited Revisions Full Text
AUTHORS: Garapa, Marco; Ferme, Eduardo; Reis, Mauricio D. L.;
PUBLISHED: 2023, SOURCE: 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 379
AUTHORS: Garapa, Marco; Ferme, Eduardo; Reis, Mauricio D. L.;
PUBLISHED: 2023, SOURCE: 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 379
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Causes for Changing Profiles
AUTHORS: Fermé Eduardo; Garapa Marco; Maurício L Reis;
PUBLISHED: 2023, SOURCE: 21st International Workshop on Non-Monotonic Reasoning, NMR 2023 in CEUR Workshop Proceedings, VOLUME: 3464
AUTHORS: Fermé Eduardo; Garapa Marco; Maurício L Reis;
PUBLISHED: 2023, SOURCE: 21st International Workshop on Non-Monotonic Reasoning, NMR 2023 in CEUR Workshop Proceedings, VOLUME: 3464
INDEXED IN: Scopus
Scopus4
TITLE: GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS
AUTHORS: Garapa, Marco; Reis, Maurico D. L.;
PUBLISHED: 2022, SOURCE: REVIEW OF SYMBOLIC LOGIC
AUTHORS: Garapa, Marco; Reis, Maurico D. L.;
PUBLISHED: 2022, SOURCE: REVIEW OF SYMBOLIC LOGIC
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Residual Contraction Full Text
AUTHORS: Marco Garapa; Mauricio D L Reis;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 29, ISSUE: 2
AUTHORS: Marco Garapa; Mauricio D L Reis;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Residue Analysis of Insecticides in Potatoes by QuEChERS-dSPE/UHPLC-PDA
AUTHORS: Reis, D; Silva, P; Perestrelo, R ; Camara, JS ;
PUBLISHED: 2020, SOURCE: FOODS, VOLUME: 9, ISSUE: 8
AUTHORS: Reis, D; Silva, P; Perestrelo, R ; Camara, JS ;
PUBLISHED: 2020, SOURCE: FOODS, VOLUME: 9, ISSUE: 8
7
TITLE: Credibility-limited base revision: New classes and their characterizations Full Text
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2020, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 69
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2020, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 69
INDEXED IN: Scopus
Scopus8
TITLE: Yield Stress in Injection Grouts for Strengthening of Stone Masonry Walls
AUTHORS: Baltazar, LG; Henriques, FMA; Reis, D; Cidade, MT;
PUBLISHED: 2020, SOURCE: 7th Iberian Meeting on Rheology (IBEREO) of the Spanish-Group-of-Rheology (GER) and Portuguese-Society-of-Rheology (SPR) in PROCEEDINGS OF THE IBERIAN MEETING ON RHEOLOGY (IBEREO 2019)
AUTHORS: Baltazar, LG; Henriques, FMA; Reis, D; Cidade, MT;
PUBLISHED: 2020, SOURCE: 7th Iberian Meeting on Rheology (IBEREO) of the Spanish-Group-of-Rheology (GER) and Portuguese-Society-of-Rheology (SPR) in PROCEEDINGS OF THE IBERIAN MEETING ON RHEOLOGY (IBEREO 2019)
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Shielded base contraction
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2018, SOURCE: Artificial Intelligence, VOLUME: 259
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2018, SOURCE: Artificial Intelligence, VOLUME: 259
INDEXED IN: Scopus
Scopus10
TITLE: Studies in Credibility-Limited Base Revision
AUTHORS: Marco Garapa; Eduardo Ferme; Mauricio D L Reis;
PUBLISHED: 2018, SOURCE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
AUTHORS: Marco Garapa; Eduardo Ferme; Mauricio D L Reis;
PUBLISHED: 2018, SOURCE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
INDEXED IN: WOS
WOS