Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Belgian/Netherlands Artificial Intelligence Conference(1)
Journal of Philosophical Logic(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Ciencias de la computación(1)
Educación(1)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(3)
Cbkp_redibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusLogic Based Merging
ArticleAbstract: Belief merging aims at combining several pieces of information coming from different sources. In thiPalabras claves:Arbitration, Belief change, Belief mergingAutores: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