%0 Conference Paper %1 conf/aiia/GiordanoGJOP13 %A Giordano, Laura %A Gliozzi, Valentina %A Jalal, Adam %A Olivetti, Nicola %A Pozzato, Gian Luca %B AI*IA %D 2013 %E Baldoni, Matteo %E Baroglio, Cristina %E Boella, Guido %E Micalizio, Roberto %I Springer %K dblp %P 60-72 %T PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2013.html#GiordanoGJOP13 %V 8249 %@ 978-3-319-03523-9

@inproceedings{conf/aiia/GiordanoGJOP13, added-at = {2018-11-14T00:00:00.000+0100}, author = {Giordano, Laura and Gliozzi, Valentina and Jalal, Adam and Olivetti, Nicola and Pozzato, Gian Luca}, biburl = {https://www.bibsonomy.org/bibtex/2f2d7a19dfac25730851254bd9f20a65c/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2013}, editor = {Baldoni, Matteo and Baroglio, Cristina and Boella, Guido and Micalizio, Roberto}, ee = {https://www.wikidata.org/entity/Q58207600}, interhash = {c54180a521c2c1cce38e5bc07783daa2}, intrahash = {f2d7a19dfac25730851254bd9f20a65c}, isbn = {978-3-319-03523-9}, keywords = {dblp}, pages = {60-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:20.000+0200}, title = {PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2013.html#GiordanoGJOP13}, volume = 8249, year = 2013 }