Automating Reasoning with Standpoint Logic via Nested Sequents
From International Center for Computational Logic
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
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
- 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},
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}
}
