Maryam Rostamigiv

According to our database, Maryam Rostamigiv authored at least 13 papers between 2017 and 2024.

Collaborative distances:

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

2024

Abstraction of Situation Calculus Concurrent Game Structures.

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Remarks about the unification types of some locally tabular normal modal logics.

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev

Log. J. IGPL, January, 2023

Explaining Agent Behaviour via Causal Analysis of Mental States.

Maryam Rostamigiv, Shakil M. Khan

Proceedings of the Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023

On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind.

Shakil M. Khan, Maryam Rostamigiv

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

About the unification type of $\mathbf {K}+\square \square \bot $.

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev

Ann. Math. Artif. Intell., 2022

2021

About the Unification Type of Fusions of Modal Logic.

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv

FLAP, 2021

Restricted Unification in the DL ℱ₀.

Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Restricted Unification in the DL EL.

Franz Baader, Maryam Rostamigiv

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Restricted Unification in the DL FL0 (Extended Abstract).

Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

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

PhD thesis, 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 unification type of K+☐☐⊥.

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev

Proceedings of the 34th International Workshop on Unification, 2020

2017

Rejecting inadmissible rules in reduced normal forms in S4.

Mojtaba Aghaei, Maryam Rostamigiv

CoRR, 2017