Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics.

Umberto Straccia

Browse the full IJCAI paper archive.