A Multi-engine Theorem Prover for a Description Logic of Typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (AI*IA, 2015)

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (Description Logics, 2015)