Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.

Rgis Alenda, Nicola Olivetti, Camilla Schwind

Browse the full TABLEAUX paper archive.