The following pages link to (Q4329351):
Displaying 19 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Logic based merging (Q535328) (← links)
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology (Q545330) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- Preferences and explanations (Q814503) (← links)
- Analysing inconsistent information using distance-based measures (Q1680685) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Logics for approximate and strong entailments (Q1759706) (← links)
- On some associations between mathematical morphology and artificial intelligence (Q2061838) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology (Q2488623) (← links)
- Implementing Prioritized Merging with ASP (Q3163981) (← links)
- Assertional Removed Sets Merging of DL-Lite Knowledge Bases (Q3297810) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- (Q5093392) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Merging First-Order Knowledge Using Dilation Operators (Q5445298) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
