Maurício D. Luís Reis

Orcid: 0000-0001-7437-8354

Affiliations:
  • University of Madeira, Department of Mathematics, Portugal


According to our database1, Maurício D. Luís Reis authored at least 26 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Relevance, recovery and recuperation: A prelude to ring withdrawal.
Int. J. Approx. Reason., March, 2024

Generalized Partial Meet and Kernel contractions.
Rev. Symb. Log., 2024

Knowledge-driven profile dynamics.
Artif. Intell., 2024

2023
Levi and Harper identities for non-prioritized belief base change.
Artif. Intell., June, 2023

System of Spheres-based Two Level Credibility-limited Revisions.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Causes for changing profiles (Extended Abstract).
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Causes for Changing Profiles (Preliminary Report).
Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, 2023

2020
Residual Contraction.
J. Log. Lang. Inf., 2020

Credibility-limited Base Revision: New Classes and Their Characterizations.
J. Artif. Intell. Res., 2020

Choosing What to Believe - New Results in Selective Revision.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019
Shielded Base Contraction (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Shielded base contraction.
Artif. Intell., 2018

Studies in Credibility-Limited Base Revision.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
Studies on Brutal Contraction and Severe Withdrawal.
Stud Logica, 2017

On ensconcement and contraction.
J. Log. Comput., 2017

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report.
CoRR, 2016

Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions.
Ann. Math. Artif. Intell., 2016

Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result.
Artif. Intell., 2016

2014
On the interrelation between systems of spheres and epistemic entrenchment relations.
Log. J. IGPL, 2014

2013
Epistemic Entrenchment-based Multiple contractions.
Rev. Symb. Log., 2013

2012
Possible Worlds Semantics for Partial Meet Multiple Contraction.
J. Philos. Log., 2012

System of Spheres-based Multiple Contractions.
J. Philos. Log., 2012

Prioritized and Non-prioritized Multiple Change on Belief Bases.
J. Philos. Log., 2012

2008
An Axiomatic Characterization of Ensconcement-Based Contraction.
J. Log. Comput., 2008

Towards a Collaborative Model for Wireless Sensor Networks.
Proceedings of the Pervasive Collaborative Networks, 2008


  Loading...