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

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass. Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. pages 333-343, 2023. [doi]

Abstract

Abstract is missing.