The following pages link to (Q4329351):
Displayed 11 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)
- Logics for approximate and strong entailments (Q1759706) (← 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)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- Merging First-Order Knowledge Using Dilation Operators (Q5445298) (← links)