Mostrando 10 resultados de: 18
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 Artificial Intelligence Research(1)
Área temáticas
Ciencias de la computación(5)
Funcionamiento de bibliotecas y archivos(3)
Principios generales de matemáticas(3)
Ciencias sociales(2)
Conocimiento(2)
Á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 17: Alianzas para lograr los objetivos(11)
ODS 16: Paz, justicia e instituciones sólidas(10)
ODS 8: Trabajo decente y crecimiento económico(1)
Origen
scopus(18)
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: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: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:scopusSome operators for iterated revision
Conference ObjectAbstract: We propose a construction that allows to define operators for iterated revision from "classical" AGMPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusOn iterated contraction: Syntactic characterization, representation theorem and limitations of the levi identity
Conference ObjectAbstract: In this paper we study iterated contraction in the epistemic state framework, offering a counterpartPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus