%0 Journal Article %1 Alenda2010a %A Alenda, Régis %A Olivetti, Nicola %A Pozzato, Gian Luca %D 2010 %J Electronic Notes in Theoretical Computer Science %K myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential TheoremProver Theorem Prover Lean Prolog %P 3-16 %T CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity %V 262

@article{Alenda2010a, added-at = {2012-07-01T20:48:54.000+0200}, author = {Alenda, R{\'e}gis and Olivetti, Nicola and Pozzato, Gian Luca}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2ec909dd9736e76de6a4cd9a7c56095ba/ralenda}, ee = {http://dx.doi.org/10.1016/j.entcs.2010.04.002}, file = {Alenda2010a-M4M09.pdf:MyPapers/Alenda2010a-M4M09.pdf:PDF}, groups = {public}, interhash = {f826ac880d760420d228c1871b7a33c7}, intrahash = {ec909dd9736e76de6a4cd9a7c56095ba}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential TheoremProver Theorem Prover Lean Prolog}, pages = {3-16}, timestamp = {2012-07-06T11:02:27.000+0200}, title = {CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity}, username = {ralenda}, volume = 262, year = 2010 }