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)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(3)
ODS 4: Educación de calidad(3)
ODS 10: Reducción de las desigualdades(1)
ODS 17: Alianzas para lograr los objetivos(1)
ODS 9: Industria, innovación e infraestructura(1)
Origen
scopus(3)
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:scopusBeyond 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: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