Mostrando 10 resultados de: 38
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(12)
Artificial Intelligence(2)
Frontiers in Artificial Intelligence and Applications(2)
Journal of Applied Non-Classical Logics(2)
Journal of Logic and Computation(2)
Área temáticas
Ciencias de la computación(8)
Funcionamiento de bibliotecas y archivos(8)
Programación informática, programas, datos, seguridad(8)
Lingüística(5)
Principios generales de matemáticas(5)
Área de conocimiento
Optimización matemática(10)
Lógica(6)
Ciencias de la computación(4)
Algoritmo(3)
Filosofía del lenguaje(3)
Objetivos de Desarrollo Sostenible
ODS 16: Paz, justicia e instituciones sólidas(28)
ODS 17: Alianzas para lograr los objetivos(26)
ODS 9: Industria, innovación e infraestructura(21)
ODS 4: Educación de calidad(20)
ODS 10: Reducción de las desigualdades(11)
Origen
scopus(38)
Exploring 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:scopusDecidability of the restriction equational theory in the partial lambda calculus
ArticleAbstract: In his thesis about partially and λ-calculus Eugenio Moggi raised the following conjecture: the equaPalabras 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:scopusCredibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study credibility-limited improvement operators. The idea is to accepPalabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusCredibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusA framework for iterated revision
ArticleAbstract: We consider in this work the problem of iterated belief revision. We propose a family of belief reviPalabras claves:Belief revision, Iterated Belief revisionAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusA qualitative framework for resource allocation
ArticleAbstract: We use an algebraic viewpoint, namely a matrix framework to deal with the problem of resource allocaPalabras claves:Qualitative optimal allocations, Qualitative social welfare, Resource allocationAutores:Chacón G., Franklin José Camacho, Ramón Pino-PérezFuentes:scopusA 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:scopus