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

Lucía Gómez ÁlvarezLucía Gómez Álvarez, Sebastian RudolphSebastian Rudolph, Hannes StraßHannes Straß

Download

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Inc

Details
Bibtex

Projekt:Project: ScaDS.AI
Forschungsgruppe:Research Group: Computational Logic

@inproceedings{{RS2023,
  author    = {Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and Sebastian Rudolph and
               Hannes Stra{\ss}},
  title     = {Pushing the Boundaries of Tractable Multiperspective Reasoning: A
               Deduction Calculus for Standpoint {EL+}},
  booktitle = {Proceedings of the 20th International Conference on Principles of
               Knowledge Representation and Reasoning},
  publisher = {IJCAI Inc},
  year      = {2023}
}