Eduardo L. Fermé

Orcid: 0000-0002-9618-2421

Affiliations:
  • University of Madeira, Portugal


According to our database1, Eduardo L. Fermé authored at least 50 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • 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

2023
On the logic of theory change iteration of KM-update.
Int. J. Approx. Reason., November, 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

Credible Models of Belief Update.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

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

2022
Belief Revision and Computational Argumentation: A Critical Comparison.
J. Log. Lang. Inf., 2022

Coherence of probabilistic constraints on Nash equilibria.
J. Braz. Comput. Soc., 2022

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

AI-Rehab: A Framework for AI Driven Neurorehabilitation Training - The Profiling Challenge.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2019
Introduction to the special issue on belief revision, argumentation, ontologies, and norms.
Ann. Math. Artif. Intell., 2019

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

2018
Belief Change - Introduction and Overview
Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-60533-3, 2018

On the logic of theory change: iteration of expansion.
J. Braz. Comput. Soc., 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

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Domain-specific Trust for Context-aware BDI Agents - Preliminary Work.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 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

Iterated Belief Change the Case of Expansion Into Inconsistency.
Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 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

Towards Activity Theory - Preliminary Report: Ambient Intelligence Applied to Smart Education.
Proceedings of the Intelligent Systems Design and Applications, 2016

Emerging Opportunities for Ambient Intelligence in Creativity Support Tools.
Proceedings of the Intelligent Systems Design and Applications, 2016

On the Iteration of KM-Update.
Proceedings of the Computational Models of Rationality, 2016

2014
Credibility-Limited Improvement Operators.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 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

Credibility-Limited Revision Operators in Propositional Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
AGM 25 Years - Twenty-Five Years of Research in Belief Change.
J. Philos. Log., 2011

Editorial Introduction - 25 Years of AGM Theory.
J. Philos. Log., 2011

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

2007
Belief Revision.
Inteligencia Artif., 2007

2006
On the Logic of Theory Change: Relations Between Incision and Selection Functions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004
Revision by comparison.
Artif. Intell., 2004

2003
Multiple Kernel Contraction.
Stud Logica, 2003

Credibility-limited Functions for Belief Bases.
J. Log. Comput., 2003

2001
Credibility Limited Revision.
J. Symb. Log., 2001

2000
Irrevocable Belief Revision and Epistemic Entrenchment.
Log. J. IGPL, 2000

1999
Selective Revision.
Stud Logica, 1999

1998
Semi-Contraction: Axioms and Construction.
Notre Dame J. Formal Log., 1998

On the Logic of Theory Change: Contraction without Recovery.
J. Log. Lang. Inf., 1998

A Brief Note About Rott Contraction.
Log. J. IGPL, 1998


  Loading...