Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Article(3)
Publisher
Annals of Mathematics and Artificial Intelligence(1)
Journal of Applied Non-Classical Logics(1)
Journal of Logic and Computation(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(3)
Ciencias de la computación(1)
Conocimiento(1)
Filosofía y teoría(1)
Programación informática, programas, datos, seguridad(1)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(1)
ODS 17: Alianzas para lograr los objetivos(1)
ODS 9: Industria, innovación e infraestructura(1)
Origen
scopus(3)
A framework for iterated revision
ArticleAbstract: We consider in this work the problem of iterated belief revision. We propose a family of belief reviPalabras claves:Belief revision, Iterated Belief revisionAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusConfluence operators and their relationships with revision, update and merging
ArticleAbstract: In this paper we introduce confluence operators, that are inspired by the existing links between belPalabras claves:Belief dynamics, Belief revision, Confluence, Merging, UpdateAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusMerging information under constraints: A logical framework
ArticleAbstract: The paper considers the problem of merging several belief bases in the presence of integrity constraPalabras claves:Belief revision, integrity constraints, Logic-based mergingAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus