Mostrando 10 resultados de: 38
Filtros aplicados
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)
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