Vol-1349⫷ Vol-1350 ⫸Vol-1351
urn:nbn:de:0074-1350-0


Vol-1350/paper-51⫷Vol-1350/paper-52⫸Vol-1350/paper-53
Valentina GliozziLuca ViolantiGian Luca PozzatoLaura Giordano 0001Nicola Olivetti

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