Inproceedings3351: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lucía Gómez Álvarez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicola |ErsterAutorNachname=Gigante |FurtherAuthors=Lucía Gómez Álvarez; Tim Lyon }} {{Inproceedings |Referie…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Standpoint Linear Temporal Logic | |Title=Standpoint Linear Temporal Logic | ||
|To appear= | |To appear=0 | ||
|Year=2023 | |Year=2023 | ||
|Booktitle=Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning | |Booktitle=Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning | ||
|Pages=311-321 | |||
|Publisher=IJCAI Inc | |Publisher=IJCAI Inc | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Download=2304.14243.pdf | |Download=2304.14243.pdf | ||
|DOI Name=10.24963/kr.2023/31 | |||
|Projekt=ScaDS.AI | |Projekt=ScaDS.AI | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
}} | }} | ||
Aktuelle Version vom 4. Oktober 2023, 12:13 Uhr
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
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311-321, 2023. IJCAI Inc
- 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}
}
