Standpoint Linear Temporal Logic

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

Nicola Gigante, Lucía Gómez Álvarez, Tim Lyon
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311-321, 2023. IJCAI Inc

Details
Bibtex

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

@inproceedings{G{L2023,
  author    = {Nicola Gigante and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and Tim
               Lyon},
  title     = {Standpoint Linear Temporal Logic},
  booktitle = {Proceedings of the 20th International Conference on Principles of
               Knowledge Representation and Reasoning},
  publisher = {IJCAI Inc},
  year      = {2023},
  pages     = {311-321},
  doi       = {10.24963/kr.2023/31}
}