%0 Journal Article %1 journals/amai/ZeseBRCL18 %A Zese, Riccardo %A Bellodi, Elena %A Riguzzi, Fabrizio %A Cota, Giuseppe %A Lamma, Evelina %D 2018 %J Ann. Math. Artif. Intell. %K dblp %N 1-3 %P 101-130 %T Tableau reasoning for description logics and its extension to probabilities. %U http://dblp.uni-trier.de/db/journals/amai/amai82.html#ZeseBRCL18 %V 82

@article{journals/amai/ZeseBRCL18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Zese, Riccardo and Bellodi, Elena and Riguzzi, Fabrizio and Cota, Giuseppe and Lamma, Evelina}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25771938d679b15d4651073ffd9b27ff1/dblp}, ee = {https://www.wikidata.org/entity/Q58063511}, interhash = {22550c51527de54a8d30888c0599c721}, intrahash = {5771938d679b15d4651073ffd9b27ff1}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {101-130}, timestamp = {2019-09-27T07:36:57.000+0200}, title = {Tableau reasoning for description logics and its extension to probabilities.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai82.html#ZeseBRCL18}, volume = 82, year = 2018 }