Mostrando 10 resultados de: 21
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)
Annals of Mathematics and Artificial Intelligence(1)
European Journal of Operational Research(1)
Área temáticas
Ciencias de la computación(5)
Funcionamiento de bibliotecas y archivos(5)
Programación informática, programas, datos, seguridad(4)
Conocimiento(3)
Lingüística(3)
Área de conocimiento
Optimización matemática(6)
Filosofía del lenguaje(3)
Lógica(3)
Algoritmo(2)
Ciencias de la computación(2)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(14)
ODS 4: Educación de calidad(14)
ODS 16: Paz, justicia e instituciones sólidas(13)
ODS 8: Trabajo decente y crecimiento económico(1)
Origen
scopus(21)
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: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: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: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:scopusExploring 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: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:scopusJumping to explanations versus jumping to conclusions
ArticleAbstract: Abduction is usually defined as the process of inferring the best explanation of an observation. ThePalabras claves:Abduction, Explanatory and nonmonotonic reasoning, Nonmonotonic consequence relationsAutores:Ramón Pino-Pérez, Uzcátegui C.Fuentes:scopus