Pages that link to "Item:Q835806"
From MaRDI portal
The following pages link to Spatial reasoning in a fuzzy region connection calculus (Q835806):
Displaying 14 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- On standard models of fuzzy region connection calculus (Q433513) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Modeling imprecise and bipolar algebraic and topological relations using morphological dilations (Q2054414) (← links)
- A logic framework for reasoning with movement based on fuzzy qualitative representation (Q2350485) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search (Q2938524) (← links)
- (Q4603449) (← links)
- Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology (Q5270531) (← links)