%0 Conference Paper %1 conf/aiia/GiordanoGOPV15 %A Giordano, Laura %A Gliozzi, Valentina %A Olivetti, Nicola %A Pozzato, Gian Luca %A Violanti, Luca %B AI*IA %D 2015 %E Gavanelli, Marco %E Lamma, Evelina %E Riguzzi, Fabrizio %I Springer %K dblp %P 164-178 %T A Multi-engine Theorem Prover for a Description Logic of Typicality. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2015.html#GiordanoGOPV15 %V 9336 %@ 978-3-319-24308-5

@inproceedings{conf/aiia/GiordanoGOPV15, added-at = {2018-11-14T00:00:00.000+0100}, author = {Giordano, Laura and Gliozzi, Valentina and Olivetti, Nicola and Pozzato, Gian Luca and Violanti, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2198015b61d7e6370468bbabef96dfff6/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2015}, editor = {Gavanelli, Marco and Lamma, Evelina and Riguzzi, Fabrizio}, ee = {https://www.wikidata.org/entity/Q58207588}, interhash = {c3489b08eab7a72b436f34304217b0aa}, intrahash = {198015b61d7e6370468bbabef96dfff6}, isbn = {978-3-319-24308-5}, keywords = {dblp}, pages = {164-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:27.000+0200}, title = {A Multi-engine Theorem Prover for a Description Logic of Typicality.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2015.html#GiordanoGOPV15}, volume = 9336, year = 2015 }