Pages that link to "Item:Q5387872"
From MaRDI portal
The following pages link to Comparative Similarity, Tree Automata, and Diophantine Equations (Q5387872):
Displaying 5 items.
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Inducing semantic relations from conceptual spaces: a data-driven approach to plausible reasoning (Q896431) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)