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)
Origen
scopus(38)
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:scopusBeyond 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: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:scopusAnalysing rational properties of change operators based on forward chaining
Conference ObjectAbstract: We propose an abstract framework to analyse the rationality of change operators defined in a syntactPalabras claves:Autores:Bezzazi H., Janot S., 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: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:scopusCbkp_redibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study cbkp_redibility-limited improvement operators. The idea is to aPalabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopus