Mostrando 3 resultados de: 3
Publisher
Journal of Logic and Computation(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of The International Symposium on Multiple-Valued Logic(1)
Área temáticas
Ciencias de la computación(1)
Lingüística(1)
Principios generales de matemáticas(1)
Programación informática, programas, datos, seguridad(1)
Relaciones internacionales(1)
Área de conocimiento
Algoritmo(1)
Ciencias de la computación(1)
Filosofía de la ciencia(1)
Optimización matemática(1)
Origen
scopus(3)
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: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:scopusRational transitivity and its models
Conference ObjectAbstract: We study here the Preferential Logic enriched by a rule called rational transitivity. We prove thatPalabras claves:Autores:Bezzazi H., Ramón Pino-PérezFuentes:scopus