Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus

DOI10.1007/978-3-642-02716-1_3zbMath1260.68386arXiv0902.0899OpenAlexW1671333258MaRDI QIDQ3648718

Nicola Olivetti, Régis Alenda, Camilla B. Schwind

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0902.0899

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Logic of approximate entailment in quasimetric spaces ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces ⋮ Logics for approximate entailment in ordered universes of discourse

This page was built for publication: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus