Eduardo L. Fermé

Sébastien Konieczny

Ramón Pino Pérez

Nicolas Schwind

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Causes for Changing Profiles (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, 2023

2022

Belief Revision and Computational Argumentation: A Critical Comparison.

[BibT_eX]

[DOI]

Pietro Baroni

Massimiliano Giacomin

Guillermo Ricardo Simari

J. Log. Lang. Inf., 2022

Coherence of probabilistic constraints on Nash equilibria.

[BibT_eX]

[DOI]

Sandro Preto

Marcelo Finger

J. Braz. Comput. Soc., 2022

2020

Credibility-limited Base Revision: New Classes and Their Characterizations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Choosing What to Believe - New Results in Selective Revision.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yuri Almeida

Manisha Sanjay Sirsat

Sergi Bermúdez i Badia

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.

[BibT_eX]

[DOI]

Guillermo Ricardo Simari

Ann. Math. Artif. Intell., 2019

Shielded Base Contraction (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Belief Change - Introduction and Overview

[BibT_eX]

[DOI]

Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-60533-3, 2018

On the logic of theory change: iteration of expansion.

[BibT_eX]

[DOI]

Renata Wassermann

J. Braz. Comput. Soc., 2018

Shielded base contraction.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Studies in Credibility-Limited Base Revision.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Arthur Casals

Anarosa A. F. Brandão

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Contributions from ADBIS 2018 Workshops.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2018

2017

Studies on Brutal Contraction and Severe Withdrawal.

[BibT_eX]

[DOI]

Stud Logica, 2017

On ensconcement and contraction.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract).

[BibT_eX]

[DOI]

Pavlos Peppas

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Iterated Belief Change the Case of Expansion Into Inconsistency.

[BibT_eX]

[DOI]

Renata Wassermann

Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 2017

2016

Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2016

Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions.

[BibT_eX]

[DOI]

Pavlos Peppas

Ann. Math. Artif. Intell., 2016

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

[BibT_eX]

[DOI]

Pavlos Peppas

Artif. Intell., 2016

Towards Activity Theory - Preliminary Report: Ambient Intelligence Applied to Smart Education.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems Design and Applications, 2016

Emerging Opportunities for Ambient Intelligence in Creativity Support Tools.

[BibT_eX]

[DOI]

Frederica Gonçalves

João Ferreira

Proceedings of the Intelligent Systems Design and Applications, 2016

On the Iteration of KM-Update.

[BibT_eX]

Sara Gonçalves

Proceedings of the Computational Models of Rationality, 2016

2014

Credibility-Limited Improvement Operators.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2013

2012

Possible Worlds Semantics for Partial Meet Multiple Contraction.

[BibT_eX]

[DOI]

J. Philos. Log., 2012

System of Spheres-based Multiple Contractions.

[BibT_eX]

[DOI]

J. Philos. Log., 2012

Credibility-Limited Revision Operators in Propositional Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Editorial Introduction - 25 Years of AGM Theory.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

2008

An Axiomatic Characterization of Ensconcement-Based Contraction.

[BibT_eX]

[DOI]

Martín Krevneris

J. Log. Comput., 2008

2007

Belief Revision.

[BibT_eX]

[DOI]

Inteligencia Artif., 2007

2006

On the Logic of Theory Change: Relations Between Incision and Selection Functions.

[BibT_eX]

Marcelo A. Falappa

Gabriele Kern-Isberner

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004

Revision by comparison.

[BibT_eX]

[DOI]

Hans Rott

Artif. Intell., 2004

2003

Multiple Kernel Contraction.

[BibT_eX]

[DOI]

Karina Saez

Pablo Sanz

Stud Logica, 2003

Credibility-limited Functions for Belief Bases.

[BibT_eX]

[DOI]

Juan Mikalef

Jorge Taboada

J. Log. Comput., 2003

2001

Credibility Limited Revision.

[BibT_eX]

[DOI]

J. Symb. Log., 2001

2000

Irrevocable Belief Revision and Epistemic Entrenchment.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

1999

Selective Revision.

[BibT_eX]

[DOI]

Stud Logica, 1999

1998

Semi-Contraction: Axioms and Construction.

[BibT_eX]

[DOI]

Ricardo Oscar Rodríguez

Notre Dame J. Formal Log., 1998

On the Logic of Theory Change: Contraction without Recovery.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1998

A Brief Note About Rott Contraction.

[BibT_eX]

[DOI]