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