N. Gigante, L. Álvarez, und T. Lyon. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Seite 311--321. IJCAI Inc, (2023)
DOI: 10.24963/kr.2023/31
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 gigante2023standpoint
%A Gigante, Nicola
%A Álvarez, Luc\'ıa Gómez
%A Lyon, Tim
%B Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
%D 2023
%I IJCAI Inc
%K imported
%P 311--321
%R 10.24963/kr.2023/31
%T Standpoint Linear Temporal Logic
@inproceedings{gigante2023standpoint,
added-at = {2024-10-02T13:52:45.000+0200},
author = {Gigante, Nicola and {\'{A}}lvarez, Luc{\'{\i}}a G{\'{o}}mez and Lyon, Tim},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2ec1b5fb19bdee883ca40ec43e7d1dd46/scadsfct},
booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning},
doi = {10.24963/kr.2023/31},
interhash = {d6ddc7d4d382914679c231d00294800b},
intrahash = {ec1b5fb19bdee883ca40ec43e7d1dd46},
keywords = {imported},
pages = {311--321},
publisher = {IJCAI Inc},
timestamp = {2024-10-02T13:52:45.000+0200},
title = {Standpoint Linear Temporal Logic},
year = 2023
}
