Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities.

Luca Gmez lvarez, Sebastian Rudolph

Browse the full KR paper archive.