Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.

Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass

Browse the full KR paper archive.