Maryam Rostamigiv

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Extended Abstract

Top Venues

Description Logics

Ann. Math. Artif. Intell.

Publications

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
Abstraction of Situation Calculus Concurrent Game Structures. AAAI (2024)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL 31 (1) (2023)
Shakil M. Khan, Maryam Rostamigiv
On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. ECAI (2023)
Maryam Rostamigiv, Shakil M. Khan
Explaining Agent Behaviour via Causal Analysis of Mental States. KoDis+CAKR@KR (2023)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90 (5) (2022)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics (2021)
Franz Baader, Maryam Rostamigiv
Restricted Unification in the DL EL. Description Logics (2021)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
. FroCoS (2021)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
About the Unification Type of Fusions of Modal Logic. FLAP 8 (3) (2021)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification types of the modal logics determined by classes of deterministic frames. CoRR (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K+☐☐⊥. UNIF (2020)
Mojtaba Aghaei, Maryam Rostamigiv
Rejecting inadmissible rules in reduced normal forms in S4. CoRR (2017)