Vol-4002⫷ Vol-4003 ⫸Vol-4004
urn:nbn:de:0074-4003-0


Vol-4003/paper18⫷Vol-4003/paper19⫸Vol-4003/paper20
Gabriele SaccoLoris BozzatoOliver Kutz

An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions