Rejecting inadmissible rules in reduced normal forms in S4. - Mojtaba Aghaei; Maryam Rostamigiv (CoRR, 2017)

About the unification type of K+☐☐⊥. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (UNIF, 2020)

About the unification types of the modal logics determined by classes of deterministic frames. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (CoRR, 2020)

About the type of modal logics for the unification problem. (A propos du type de logiques modales pour le problème d'unification). - Maryam Rostamigiv (2020)

Restricted Unification in the DL FL0 (Extended Abstract). - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (Description Logics, 2021)

Restricted Unification in the DL EL. - Franz Baader; Maryam Rostamigiv (Description Logics, 2021)

Restricted Unification in the DL ℱ0. - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (FroCoS, 2021)

About the Unification Type of Fusions of Modal Logic. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv (FLAP, 2021)

About the unification type of $ mathbf {K}+ square square bot $. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Ann. Math. Artif. Intell., 2022)

On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. - Shakil M. Khan 001; Maryam Rostamigiv (ECAI, 2023)

Explaining Agent Behaviour via Causal Analysis of Mental States. - Maryam Rostamigiv; Shakil M. Khan 001 (KoDis+CAKR@KR, 2023)

Remarks about the unification types of some locally tabular normal modal logics. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Log. J. IGPL, 2023)

Abstraction of Situation Calculus Concurrent Game Structures. - Yves Lespérance; Giuseppe De Giacomo; Maryam Rostamigiv; Shakil M. Khan 001 (AAAI, 2024)

A Logic of Actual Cause for Nondeterministic Domains. - Maryam Rostamigiv; Shakil M. Khan 001; Yves Lespérance; Mriana Yadkoo (EUMAS, 2024)

Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (CoRR, 2024)

Reasoning About Actual Causes in Nondeterministic Domains. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (AAAI, 2025)