Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Journal of Philosophical Logic(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Educación(2)
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Filosofía y teoría(1)
Funcionamiento de bibliotecas y archivos(1)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(4)
ODS 17: Alianzas para lograr los objetivos(4)
ODS 9: Industria, innovación e infraestructura(4)
Origen
scopus(6)
Analysing rational properties of change operators based on forward chaining
Conference ObjectAbstract: We propose an abstract framework to analyse the rationality of change operators defined in a syntactPalabras claves:Autores:Bezzazi H., Janot S., 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: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:scopusPutting more dynamics in revision with memory
Conference ObjectAbstract: We have proposed in previous works [14, 15] a construction that allows to define operators for iteraPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusOn 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: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