scientific article; zbMATH DE number 1735982
From MaRDI portal
Publication:4329351
zbMath1010.68185MaRDI QIDQ4329351
Publication date: 29 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
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
This page was built for publication: