Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Belgian/Netherlands Artificial Intelligence Conference(1)
Frontiers in Artificial Intelligence and Applications(1)
Information Fusion(1)
Journal of Logic and Computation(1)
Área temáticas
Filosofía y teoría(1)
Fuerzas aéreas y otras fuerzas especializadas(1)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ciencias de la computación(3)
Optimización matemática(3)
Algoritmo(2)
Lógica matemática(2)
Epistemología(1)
Origen
scopus(8)
An 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: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:scopusCbkp_redibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., 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:scopusMerging information under constraints: A logical framework
ArticleAbstract: The paper considers the problem of merging several belief bases in the presence of integrity constraPalabras claves:Belief revision, integrity constraints, Logic-based mergingAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusMerging operators: Beyond the finite case
ArticleAbstract: We extend the results of Konieczny and Pino Pérez (Journal of Logic and Computation, 2002) concerninPalabras claves:Belief revision, integrity constraints, Merging operators, Syncretic assignmentAutores:Chacón J.L., Ramón Pino-PérezFuentes:scopusLogic-based fusion of complex epistemic states
Conference ObjectAbstract: In this work we extend the framework of logic-based fusion by Konieczny and Pino Pérez [8,9,10,11] tPalabras claves:Autores:Amílcar Mata Díaz, Ramón Pino-PérezFuentes:scopus