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)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(2)
ODS 4: Educación de calidad(2)
ODS 16: Paz, justicia e instituciones sólidas(1)
ODS 9: Industria, innovación e infraestructura(1)
Origen
scopus(3)
Credibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., 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: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:scopus