Mostrando 10 resultados de: 10
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Information Fusion(1)
Journal of Applied Non-Classical Logics(1)
Journal of Artificial Intelligence Research(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Ciencias de la computación(3)
Principios generales de matemáticas(3)
Ciencias sociales(1)
Conocimiento(1)
Economía(1)
Área de conocimiento
Lógica matemática(2)
Ciencias de la computación(1)
Filosofía del lenguaje(1)
Lógica(1)
Modelo matemático(1)
Origen
scopus(10)
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
ArticleAbstract: In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and preciPalabras claves:Autores:Nerio Borges, Ramón Pino-PérezFuentes:scopusAn extensional partial combinatory algebra based on λ-terms
Conference ObjectAbstract: We build an extensional partial combinatory algebra on λ-terms. The main tool for our construction iPalabras claves:Autores:Ramón Pino-PérezFuentes:scopusAn abstract property of confluence applied to the study of the lazy partial lambda calculus
Conference ObjectAbstract: The partial λ-calculus, introduced by E. Moggi, is a formalism well adapted to study the logic of prPalabras claves:Autores:Even C., Ramón Pino-PérezFuentes:scopusExplanatory relations based on mathematical morphology
Conference ObjectAbstract: Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMUPalabras claves:Autores:Bloch I., Ramón Pino-Pérez, Uzcátegui C.Fuentes:scopusDominance plausible rule and transitivity
Conference ObjectAbstract: In qualitative decision theory, a very natural way for defining preference relations over policies (Palabras claves:Dominance plausible rule, Qualitative decision theory, transitivityAutores:Franklin José Camacho, 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:scopusMerging operators: Beyond the finite case
ArticleAbstract: We extend the results of Konieczny and Pino Pérez (Journal of Logic and Computation, 2002) concerninPalabras claves:Belief revision, integrity constraints, Merging operators, Syncretic assignmentAutores:Chacón J.L., Ramón Pino-PérezFuentes:scopusLeximax relations in decision making through the dominance plausible rule
Conference ObjectAbstract: In qualitative decision theory, a very natural way of defining preference relations over the policiePalabras claves:Autores:Franklin José Camacho, 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:scopusTaxonomy of improvement operators and the problem of minimal change
Conference ObjectAbstract: Improvement operators is a class of belief change operators that is a generalization of the usual clPalabras claves:Autores:Grespan M.M., Konieczny S.E., Ramón Pino-PérezFuentes:scopus