Automating Reasoning with Standpoint Logic via Nested Sequents.

Tim LyonTim Lyon, Lucía Gómez ÁlvarezLucía Gómez Álvarez

Download

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

Details
Bibtex

Projekt:Project: DeciGUT, ScaDS.AI
Forschungsgruppe:Research Group: Computational LogicComputational Logic

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