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)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(2)
ODS 17: Alianzas para lograr los objetivos(2)
ODS 4: Educación de calidad(1)
ODS 9: Industria, innovación e infraestructura(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