Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato. PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings. Volume 8249 of Lecture Notes in Computer Science, pages 60-72, Springer, 2013. [doi]
Abstract is missing.