Maurício Duarte Luís Reis
AuthID: R-000-NV6
11
TITLE: Studies in credibility-limited base revision
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2018, SOURCE: 16th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2018 in Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
AUTHORS: Garapa, M; Fermé, E; Reis, MDL;
PUBLISHED: 2018, SOURCE: 16th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2018 in Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
INDEXED IN: 
Scopus
Scopus12
TITLE: Studies on Brutal Contraction and Severe Withdrawal Full Text
AUTHORS: Garapa, M; Ferme, E; Reis, MDL;
PUBLISHED: 2017, SOURCE: STUDIA LOGICA, VOLUME: 105, ISSUE: 2
AUTHORS: Garapa, M; Ferme, E; Reis, MDL;
PUBLISHED: 2017, SOURCE: STUDIA LOGICA, VOLUME: 105, ISSUE: 2
INDEXED IN: 
WOS
WOS13
TITLE: On ensconcement and contraction
AUTHORS: Eduardo Ferme; Marco Garapa; Mauricio D L Reis;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
AUTHORS: Eduardo Ferme; Marco Garapa; Mauricio D L Reis;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
INDEXED IN: WOS
WOS14
TITLE: Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
AUTHORS: Reis, MDL; Fermé, E; Peppas, P;
PUBLISHED: 2017, SOURCE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in IJCAI International Joint Conference on Artificial Intelligence
AUTHORS: Reis, MDL; Fermé, E; Peppas, P;
PUBLISHED: 2017, SOURCE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus15
TITLE: Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions Full Text
AUTHORS: Mauricio D L Reis; Pavlos Peppas; Eduardo Ferme;
PUBLISHED: 2016, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 78, ISSUE: 3-4
AUTHORS: Mauricio D L Reis; Pavlos Peppas; Eduardo Ferme;
PUBLISHED: 2016, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 78, ISSUE: 3-4
16
TITLE: Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result Full Text
AUTHORS: Mauricio D L Reis; Eduardo Ferme; Pavlos Peppas;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
AUTHORS: Mauricio D L Reis; Eduardo Ferme; Pavlos Peppas;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
17
TITLE: On the interrelation between systems of spheres and epistemic entrenchment relations Full Text
AUTHORS: Mauricio D L Reis;
PUBLISHED: 2014, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 22, ISSUE: 1
AUTHORS: Mauricio D L Reis;
PUBLISHED: 2014, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 22, ISSUE: 1
18
TITLE: EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS Full Text
AUTHORS: Eduardo Ferme ; Mauricio D L Reis;
PUBLISHED: 2013, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 6, ISSUE: 3
AUTHORS: Eduardo Ferme ; Mauricio D L Reis;
PUBLISHED: 2013, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS19
TITLE: EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS Full Text
AUTHORS: EDUARDO FERMÉ; MAURÍCIO D L REIS;
PUBLISHED: 2013, SOURCE: The Review of Symbolic Logic, VOLUME: 6, ISSUE: 03
AUTHORS: EDUARDO FERMÉ; MAURÍCIO D L REIS;
PUBLISHED: 2013, SOURCE: The Review of Symbolic Logic, VOLUME: 6, ISSUE: 03
20
TITLE: Possible Worlds Semantics for Partial Meet Multiple Contraction Full Text
AUTHORS: Mauricio D L Reis; Eduardo Ferme ;
PUBLISHED: 2012, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 41, ISSUE: 1
AUTHORS: Mauricio D L Reis; Eduardo Ferme ;
PUBLISHED: 2012, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 41, ISSUE: 1
