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)
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:scopusCbkp_redibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study cbkp_redibility-limited improvement operators. The idea is to aPalabras 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