( en | de | ru )

 

Disambiguierung von "Cassano, Valentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Data-Aware Hybrid Tableaux.

, , und . CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Valentin Döring

Valentin Hauck

Valentin Köhler

Valentin Kellermann

Valentin Kohl

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraic tools for default modal systems., , , und . J. Log. Comput., 33 (6): 1301-1325 (August 2023)Non-monotonic Reasoning via Dynamic Consequence., , und . WoLLIC, Volume 13468 von Lecture Notes in Computer Science, Seite 395-410. Springer, (2022)A Deontic Logic of Knowingly Complying., , , , und . AAMAS, Seite 364-372. ACM, (2023)The Definition and Assessment of a Safety Argument., und . ISSRE Workshops, Seite 180-185. IEEE Computer Society, (2014)Reasoning About Prescription and Description Using Prioritized Default Rules., , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 196-213. EasyChair, (2018)Data-Aware Hybrid Tableaux., , und . CoRR, (2024)A model management approach for assurance case reuse due to system evolution., , , , und . MoDELS, Seite 196-206. ACM, (2016)DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics., , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 37-48. Springer, (2023)Default Modal Systems as Algebraic Updates., , , und . DaLí, Volume 12569 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2020)Deontic Action Logics via Algebra., , , und . DEON, Seite 77-93. College Publications, (2021)