Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)
Frontiers in Artificial Intelligence and Applications(1)
Journal of Logic and Computation(1)
Área temáticas
Filosofía y teoría(1)
Funcionamiento de bibliotecas y archivos(1)
Gramática(1)
Inglés e inglés antiguo (anglosajón)(1)
Interacción social(1)
Área de conocimiento
Filosofía de la ciencia(1)
Filosofía del lenguaje(1)
Lingüística(1)
Optimización matemática(1)
Origen
scopus(5)
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:scopusExploring the rationality of some syntactic merging operators
Conference ObjectAbstract: Most merging operators are defined by semantics methods which have very high computational complexitPalabras claves:Belief revision, Information Fusion, Merging operators, Postulates of rationality, Syntactic logic based belief changeAutores:Chacón J.L., Ramón Pino-PérezFuentes:scopusExplanatory relations revisited: Links with cbkp_redibility-limited revision
Conference ObjectAbstract: We study binary relations ⊳ over propositional formulas built over a finite set of variables. The mePalabras claves:Autores:León M., 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:scopusMediation in the framework of morpho-logic
ArticleAbstract: In this paper we introduce a median operator between two sets of interpretations (worlds) in a finitPalabras claves:Autores:Bloch I., Ramón Pino-Pérez, Uzcátegui C.Fuentes:scopus