Standpoint Linear Temporal Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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, to appear. IJCAI Inc
@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}
}