Mostrando 8 resultados de: 8
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Frontiers in Artificial Intelligence and Applications(1)
Journal of Applied Non-Classical Logics(1)
Journal of Logic and Computation(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(2)
Apologética y polémica(1)
Ciencias de la computación(1)
Conocimiento(1)
Economía(1)
Área de conocimiento
Lógica(2)
Base de datos(1)
Ciencia de la computación teórica(1)
Filosofía de la ciencia(1)
Inteligencia artificial(1)
Origen
scopus(8)
Beyond 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: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: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: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:scopusDecidability of the restriction equational theory in the partial lambda calculus
ArticleAbstract: In his thesis about partially and λ-calculus Eugenio Moggi raised the following conjecture: the equaPalabras claves:Autores:Ramón Pino-PérezFuentes:scopusManipulability in logic-based fusion of belief bases: Indexes vs. liftings
ArticleAbstract: In this paper, we will compare the notion of manipulability related to indexes introduced by EveraerPalabras claves:Belief bases, Lifting over formulas, Logic-based merging, Manipulability, Satisfaction indexesAutores:Amílcar Mata Díaz, Ramón Pino-PérezFuentes:scopusMerging with integrity constraints
Conference ObjectAbstract: We consider, in this paper, the problem of knowledge base merging with integrity constraints. We proPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes: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:scopus