The following pages link to Sanjiang Li (Q420804):
Displaying 43 items.
- Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
- On standard models of fuzzy region connection calculus (Q433513) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- The quintuple implication principle of fuzzy reasoning (Q527212) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- On the complemented disk algebra (Q817585) (← links)
- On topological consistency and realization (Q850454) (← links)
- On redundant topological constraints (Q891795) (← links)
- Soft constraint abstraction based on semiring homomorphism (Q944369) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- A representation theorem for minmax regret policies (Q1028893) (← links)
- On tree-preserving constraints (Q1688715) (← links)
- Generalized Lowen functors (Q1858398) (← links)
- A negative answer to T. Kubiak's question (Q1858402) (← links)
- \(\mathbf{FNS}\) is not isomorphic to \(\mathbf{FTS}\) (Q1873686) (← links)
- A note on stratified \(L\)-real line and unit \(L\)-interval (Q1887107) (← links)
- On constructing the largest and smallest uninorms on bounded lattices (Q2042884) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- On quotients of formal power series (Q2672254) (← links)
- (Q2725211) (← links)
- (Q2732537) (← links)
- (Q2735529) (← links)
- (Q2748346) (← links)
- REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION (Q2857285) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects (Q2929588) (← links)
- Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search (Q3390112) (← links)
- (Q3455580) (← links)
- (Q3455606) (← links)
- (Q3616140) (← links)
- (Q4432966) (← links)
- (Q4489746) (← links)
- On Redundancy in Simple Temporal Networks (Q4576217) (← links)
- (Q4659256) (← links)
- A Non-topologically Generated Hutton-lowen Uniformizable Space (Q4820587) (← links)
- (Q4982401) (← links)
- Verification of Distributed Quantum Programs (Q5072611) (← links)
- (Q5472862) (← links)
- (Q5472929) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
