Maurício D. Luís Reis

27 papers A* 4B 1Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators.
ACM Trans. Comput. Log.
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2024 J jnl
Generalized Partial Meet and Kernel contractions.
Rev. Symb. Log.
Marco Garapa, Maurício D. Luís Reis
2024 J jnl
Knowledge-driven profile dynamics.
Artif. Intell.
Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis, Yuri Almeida, Teresa Paulino, Mariana Rodrigues
2024 J jnl
Relevance, recovery and recuperation: A prelude to ring withdrawal.
Int. J. Approx. Reason.
Eduardo Fermé, Marco Garapa, Abhaya Nayak, Maurício D. Luís Reis
2023 — conf
Causes for Changing Profiles (Preliminary Report).
ENIGMA@KR
Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis
2023 — conf
Causes for changing profiles (Extended Abstract).
NMR
Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis
2023 J jnl
Levi and Harper identities for non-prioritized belief base change.
Artif. Intell.
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2023 B conf
System of Spheres-based Two Level Credibility-limited Revisions.
TARK
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2020 A* conf
Choosing What to Believe - New Results in Selective Revision.
KR
Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis
2020 J jnl
Credibility-limited Base Revision: New Classes and Their Characterizations.
J. Artif. Intell. Res.
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2020 J jnl
Residual Contraction.
J. Log. Lang. Inf.
Marco Garapa, Maurício D. Luís Reis
2019 A* conf
Shielded Base Contraction (Extended Abstract).
IJCAI
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2018 J jnl
Shielded base contraction.
Artif. Intell.
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2018 A* conf
Studies in Credibility-Limited Base Revision.
KR
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2017 A* conf
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract).
IJCAI
Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas
2017 J jnl
On ensconcement and contraction.
J. Log. Comput.
Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis
2017 J jnl
Studies on Brutal Contraction and Severe Withdrawal.
Stud Logica
Marco Garapa, Eduardo L. Fermé, Maurício D. Luís Reis
2016 J jnl
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result.
Artif. Intell.
Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas
2016 J jnl
Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report.
CoRR
Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis
2016 J jnl
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions.
Ann. Math. Artif. Intell.
Maurício D. Luís Reis, Pavlos Peppas, Eduardo Fermé
2014 J jnl
On the interrelation between systems of spheres and epistemic entrenchment relations.
Log. J. IGPL
Maurício D. Luís Reis
2013 J jnl
Epistemic Entrenchment-based Multiple contractions.
Rev. Symb. Log.
Eduardo Fermé, Maurício D. Luís Reis
2012 J jnl
Possible Worlds Semantics for Partial Meet Multiple Contraction.
J. Philos. Log.
Maurício D. Luís Reis, Eduardo Fermé
2012 J jnl
Prioritized and Non-prioritized Multiple Change on Belief Bases.
J. Philos. Log.
Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. Luís Reis, Guillermo Ricardo Simari
2012 J jnl
System of Spheres-based Multiple Contractions.
J. Philos. Log.
Eduardo Fermé, Maurício D. Luís Reis
2008 J jnl
An Axiomatic Characterization of Ensconcement-Based Contraction.
J. Log. Comput.
Eduardo Fermé, Martín Krevneris, Maurício D. Luís Reis
2008 — conf
Towards a Collaborative Model for Wireless Sensor Networks.
Virtual Enterprises and Collaborative Networks
Lina M. Pestana Leão de Brito, Laura Margarita Rodríguez Peralta, Maurício D. Luís Reis