Mostrando 10 resultados de: 20
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(9)
Artificial Intelligence(2)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(2)
Information Fusion(1)
Journal of Applied Non-Classical Logics(1)
Área temáticas
Ciencias de la computación(5)
Funcionamiento de bibliotecas y archivos(4)
Programación informática, programas, datos, seguridad(4)
Conocimiento(3)
Lingüística(3)
Área de conocimiento
Optimización matemática(7)
Ciencias de la computación(3)
Lógica(3)
Cognición(2)
Lógica matemática(2)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(14)
ODS 16: Paz, justicia e instituciones sólidas(12)
ODS 17: Alianzas para lograr los objetivos(11)
ODS 10: Reducción de las desigualdades(2)
ODS 8: Trabajo decente y crecimiento económico(1)
Origen
scopus(20)
A 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: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:scopusBelief 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 abstract property of confluence applied to the study of the lazy partial lambda calculus
Conference ObjectAbstract: The partial λ-calculus, introduced by E. Moggi, is a formalism well adapted to study the logic of prPalabras claves:Autores:Even C., 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: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:scopusLogic Based Merging
ArticleAbstract: Belief merging aims at combining several pieces of information coming from different sources. In thiPalabras claves:Arbitration, Belief change, Belief mergingAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus