DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

This author has not been identified. Look up 'Laura Giordano' in GoogleThis author has not been identified. Look up 'Valentina Gliozzi' in GoogleThis author has not been identified. Look up 'Nicola Olivetti' in GoogleThis author has not been identified. Look up 'Gian Luca Pozzato' in GoogleThis author has not been identified. Look up 'Luca Violanti' in Google

runs on WebDSL