Inproceedings3322

PublikationenPublications

• Nach AutorBy Author
  • Tim LyonTim Lyon
  • Lucía Gómez ÁlvarezLucía Gómez Álvarez
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

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

• 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},
  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}
}