Automating Reasoning with Standpoint Logic via Nested Sequents

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

Toggle side column

Automating Reasoning with Standpoint Logic via Nested Sequents

Tim LyonTim Lyon,  Lucía Gómez ÁlvarezLucía Gómez Álvarez
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
@inproceedings{L{2022,
  author    = {Tim Lyon and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez},
  title     = {Automating Reasoning with Standpoint Logic via Nested Sequents},
  editor    = {Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer},
  booktitle = {Proceedings of the 19th International Conference on the
               Principles of Knowledge Representation and Reasoning (KR'22)},
  publisher = {IJCAI Organization},
  year      = {2022}
}