Karam Younes Kharraz
Research Staff
Recent Publications
On Conflicts and Satisfiability in Metric Timed Normative Logics
Legal Knowledge and Information Systems - JURIX 2024: The Thirty-seventh Annual Conference, Brno, Czech Republic, 11-13 December 2024, 2024
Karam Younes Kharraz and Gerardo Schneider and Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, 2023
Karam Younes Kharraz and Shaun Azzopardi and Gerardo Schneider and Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View
CoRR, 2023
Karam Younes Kharraz and Shaun Azzopardi and Gerardo Schneider and Martin Leucker
Timed Dyadic Deontic Logic
Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021, 2021
Karam Younes Kharraz and Martin Leucker and Gerardo Schneider
Theses on Offer
Contact Information
karam.kharraz@isp.uni-luebeck.de
Address
3. Floor, Building MFC II
Phone
+49 451 310 16542