%0 Conference Paper %1 Alenda2010 %A Alenda, Régis %A Olivetti, Nicola %B LPAR (Yogyakarta) %D 2010 %K myown ComparativeSimilarity Comparative Similarity ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential %P 52-66 %T Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces

@inproceedings{Alenda2010, added-at = {2012-07-05T12:39:21.000+0200}, author = {Alenda, R{\'e}gis and Olivetti, Nicola}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/26fb32ddc1f6c0450baaa73a7b0632dd0/ralenda}, booktitle = {LPAR (Yogyakarta)}, crossref = {DBLP:conf/lpar/2010y}, ee = {http://dx.doi.org/10.1007/978-3-642-16242-8_5}, file = {Alenda2010-LPAR2010.pdf:MyPapers/Alenda2010-LPAR2010.pdf:PDF}, groups = {public}, interhash = {18025b2468d65524f32049feedaf6460}, intrahash = {6fb32ddc1f6c0450baaa73a7b0632dd0}, keywords = {myown ComparativeSimilarity Comparative Similarity ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential}, pages = {52-66}, timestamp = {2012-07-05T12:39:21.000+0200}, title = {Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces}, username = {ralenda}, year = 2010 }