Maryam Rostamigiv

17 papers A* 3A 1C 1Journal 6Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Reasoning About Actual Causes in Nondeterministic Domains. AAAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2025	A*	`conf`	Reasoning About Causal Knowledge in Nondeterministic Domains. IJCAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2024	C	`conf`	A Logic of Actual Cause for Nondeterministic Domains. EUMAS Maryam Rostamigiv, Shakil M. Khan, Yves Lespérance, Mriana Yadkoo
2024	A*	`conf`	Abstraction of Situation Calculus Concurrent Game Structures. AAAI Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
2024	J	`jnl`	Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. CoRR Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2023	—	`conf`	Explaining Agent Behaviour via Causal Analysis of Mental States. KoDis+CAKR@KR Maryam Rostamigiv, Shakil M. Khan
2023	A	`conf`	On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. ECAI Shakil M. Khan, Maryam Rostamigiv
2023	J	`jnl`	Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2022	J	`jnl`	About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2021	J	`jnl`	About the Unification Type of Fusions of Modal Logic. FLAP Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL EL. Description Logics Franz Baader, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL FL0 (Extended Abstract). Description Logics Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL ℱ FroCoS Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
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	—	`conf`	About the unification type of K+☐☐⊥. UNIF Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2020	J	`jnl`	About the unification types of the modal logics determined by classes of deterministic frames. CoRR Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2017	J	`jnl`	Rejecting inadmissible rules in reduced normal forms in S4. CoRR Mojtaba Aghaei, Maryam Rostamigiv