Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Belgian/Netherlands Artificial Intelligence Conference(1)
Journal of Applied Non-Classical Logics(1)
Journal of Philosophical Logic(1)
Journal of Symbolic Logic(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Conocimiento(1)
Economía(1)
Educación(1)
Área de conocimiento
Ciencias de la computación(1)
Inteligencia artificial(1)
Modelo matemático(1)
Optimización matemática(1)
Origen
scopus(6)
Cbkp_redibility-limited revision operators in propositional logic
Conference ObjectAbstract:Palabras claves:Autores:Booth R., Fermé E., Konieczny S.E., Ramón Pino-PérezFuentes:scopusDominance plausible rule and transitivity
Conference ObjectAbstract: In qualitative decision theory, a very natural way for defining preference relations over policies (Palabras claves:Dominance plausible rule, Qualitative decision theory, transitivityAutores:Franklin José Camacho, Ramón Pino-PérezFuentes:scopusOn representation theorems for nonmonotonic consequence relations
ArticleAbstract: One of the main tools in the study of nonmonotonic consequence relations is the representation of suPalabras claves:Autores:Ramón Pino-Pérez, Uzcátegui C.Fuentes: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: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: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