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


Vol-1350/paper-07⫷Vol-1350/paper-08⫸Vol-1350/paper-09
Boris MotikFrantisek SimancikBernardo Cuenca GrauAndrew BateIan Horrocks 0001

Extending Consequence-Based Reasoning to SHIQ