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.
Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), to appear
@inproceedings{L{2022,
  author    = {Tim Lyon and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez},
  title     = {Automating Reasoning with Standpoint Logic via Nested Sequents.},
  booktitle = {Proceedings of the 19th International Conference on the
               Principles of Knowledge Representation and Reasoning (KR'22)},
  year      = {2022}
}