Publication:4329351
From MaRDI portal
zbMath1010.68185MaRDI QIDQ4329351
Publication date: 29 April 2002
68T37: Reasoning under uncertainty in the context of artificial intelligence
Related Items
Unnamed Item, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, Merging First-Order Knowledge Using Dilation Operators, Morphologic for knowledge dynamics: revision, fusion and abduction, Morpho-logic from a topos perspective -- application to symbolic AI, Logic for physical space. From antiquity to present day, Logic based merging, Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology, Solving conflicts in information merging by a flexible interpretation of atomic propositions, Preferences and explanations, Analysing inconsistent information using distance-based measures, Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction, Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics, Logics for approximate and strong entailments, On some associations between mathematical morphology and artificial intelligence, Implementing semantic merging operators using binary decision diagrams, Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology, Implementing Prioritized Merging with ASP, Assertional Removed Sets Merging of DL-Lite Knowledge Bases, Merging Belief Bases Represented by Logic Programs