Mostrando 5 resultados de: 5
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Frontiers in Artificial Intelligence and Applications(1)
Journal of Applied Non-Classical Logics(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(2)
Ciencias de la computación(1)
Conocimiento(1)
Educación(1)
Métodos informáticos especiales(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(3)
ODS 9: Industria, innovación e infraestructura(3)
ODS 4: Educación de calidad(2)
ODS 16: Paz, justicia e instituciones sólidas(1)
Origen
scopus(5)
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
Conference ObjectAbstract: In the logic based framework of knowledge representation and reasoning many operators have been defiPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusCredibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study credibility-limited improvement operators. The idea is to accepPalabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusMerging with integrity constraints
Conference ObjectAbstract: We consider, in this paper, the problem of knowledge base merging with integrity constraints. We proPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusSome operators for iterated revision
Conference ObjectAbstract: We propose a construction that allows to define operators for iterated revision from "classical" AGMPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus