Mostrando 10 resultados de: 22
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(9)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(2)
Annals of Mathematics and Artificial Intelligence(1)
Artificial Intelligence(1)
European Journal of Operational Research(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(5)
Lingüística(4)
Programación informática, programas, datos, seguridad(4)
Principios generales de matemáticas(3)
Ciencias de la computación(2)
Área de conocimiento
Optimización matemática(7)
Lógica(4)
Filosofía del lenguaje(2)
Inteligencia artificial(2)
Modelo matemático(2)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(15)
ODS 9: Industria, innovación e infraestructura(14)
ODS 4: Educación de calidad(11)
ODS 10: Reducción de las desigualdades(4)
Origen
scopus(22)
A weak version of Barberà-Kelly's Theorem
ArticleAbstract: Lifting preferences over candidates to preferences over sets of candidates allows us to give a veryPalabras claves:manipulation, Merging, Preferences, Social choiceAutores:Leal J.F., 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:scopusConfluence operators
Conference ObjectAbstract: In the logic based framework of knowledge representation and reasoning many operators have been defiPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusConfluence operators and their relationships with revision, update and merging
ArticleAbstract: In this paper we introduce confluence operators, that are inspired by the existing links between belPalabras claves:Belief dynamics, Belief revision, Confluence, Merging, UpdateAutores:Konieczny S.E., Ramón Pino-PérezFuentes: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:scopusDuality between merging operators and social contraction operators
Conference ObjectAbstract: In the AGM (Alchourrón-Gärdenfors-Makinson) framework there exists a duality between revision operatPalabras claves:Autores:Chacón J.L., 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:scopusImpossibility in belief merging
Conference ObjectAbstract: With the aim of studying social properties of belief merging and having a better understanding of imPalabras claves:Autores:Amílcar Mata Díaz, 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:scopusExplanatory relations revisited: Links with credibility-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:scopus