Sciweavers

TABLEAUX
2009
Springer
14 years 1 months ago
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
Régis Alenda, Nicola Olivetti, Camilla Schw...