Karam Younes Kharraz

According to our database, Karam Younes Kharraz authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Conflicts and Satisfiability in Metric Timed Normative Logics.

Karam Younes Kharraz, Gerardo Schneider, Martin Leucker

Proceedings of the Legal Knowledge and Information Systems, 2024

2023

Synchronous Agents, Verification, and Blame - A Deontic View.

Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2021

Timed Dyadic Deontic Logic.

Karam Younes Kharraz, Martin Leucker, Gerardo Schneider

Proceedings of the Legal Knowledge and Information Systems, 2021