Atefeh Rohani

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Inference Rules

Situation Calculus

Prime Implicates

Top Venues

Publications

Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer
Conditional Obligations in Justification Logic. WoLLIC (2023)
Atefeh Rohani, Thomas Studer
Explicit non-normal modal logic. CoRR (2021)
Atefeh Rohani, Thomas Studer
Explicit Non-normal Modal Logic. WoLLIC (2021)