Mostrando 10 resultados de: 15
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
Proceedings of the International Conference on Knowledge Representation and Reasoning(2)
Annals of Mathematics and Artificial Intelligence(1)
Belgian/Netherlands Artificial Intelligence Conference(1)
European Journal of Operational Research(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(5)
Programación informática, programas, datos, seguridad(5)
Ciencias de la computación(4)
Métodos informáticos especiales(3)
Conocimiento(2)
Área de conocimiento
Algoritmo(3)
Ciencias de la computación(3)
Lógica(3)
Optimización matemática(2)
Base de datos(1)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(8)
ODS 17: Alianzas para lograr los objetivos(8)
ODS 9: Industria, innovación e infraestructura(8)
ODS 4: Educación de calidad(6)
Origen
scopus(15)
A framework for iterated revision
ArticleAbstract: We consider in this work the problem of iterated belief revision. We propose a family of belief reviPalabras claves:Belief revision, Iterated Belief revisionAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusAnalysing 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:scopusConfluence operators
Conference ObjectAbstract: In the logic based framework of knowledge representation and reasoning many operators have been defiPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusConfluence operators and their relationships with revision, update and merging
ArticleAbstract: In this paper we introduce confluence operators, that are inspired by the existing links between belPalabras claves:Belief dynamics, Belief revision, Confluence, Merging, UpdateAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusCredibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study credibility-limited improvement operators. The idea is to accepPalabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusCredibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusImprovement operators
Conference ObjectAbstract: We introduce a new class of change operators. They are a generalization of usual iterated belief revPalabras 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: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: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:scopus