Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of the International Conference on Knowledge Representation and Reasoning(1)
Origen
scopus(2)
On iterated contraction: Syntactic characterization, representation theorem and limitations of the levi identity
Conference ObjectAbstract: In this paper we study iterated contraction in the epistemic state framework, offering a counterpartPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusTaxonomy of improvement operators and the problem of minimal change
Conference ObjectAbstract: Improvement operators is a class of belief change operators that is a generalization of the usual clPalabras claves:Autores:Grespan M.M., Konieczny S.E., Ramón Pino-PérezFuentes:scopus