Timed Dyadic Deontic Logic
Paper i proceeding, 2021
Författare
Karam Kharraz
Universitaet Zu Lübeck
Martin Leucker
Universitaet Zu Lübeck
Gerardo Schneider
Göteborgs universitet
Data Science och AI
Frontiers in Artificial Intelligence and Applications
0922-6389 (ISSN) 18798314 (eISSN)
Vol. 346 197-204978-164368252-5 (ISBN)
Virtual, Online, Lithuania,
Ämneskategorier (SSIF 2025)
Datavetenskap (datalogi)
Algebra och logik
DOI
10.3233/FAIA210336