Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias de la computación(1)
Filosofía y teoría(1)
Funcionamiento de bibliotecas y archivos(1)
Lingüística(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
Beyond rational monotony: Some strong non-horn rules for nonmonotonic inference relations
ArticleAbstract: Lehmann, Magidor and others have investigated the effects of adding the non-Horn rule of rational moPalabras claves:Nonmonotonic reasoning, Preferential models, Rational monotonyAutores:Bezzazi H., Makinson D., 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