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)
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