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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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ß
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
@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}
}