Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Belgian/Netherlands Artificial Intelligence Conference(1)
Frontiers in Artificial Intelligence and Applications(1)
Journal of Logic and Computation(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Filosofía y teoría(1)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(4)
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:scopusCbkp_redibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study cbkp_redibility-limited improvement operators. The idea is to aPalabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusCbkp_redibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusMerging information under constraints: A logical framework
ArticleAbstract: The paper considers the problem of merging several belief bases in the presence of integrity constraPalabras claves:Belief revision, integrity constraints, Logic-based mergingAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus