Maryam Rostamigiv

University of Regina — Canada

Computer Science · Physical Sciences

2h-index13citations19works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, Reasoning, and Knowledge(13), Logic, programming, and type systems(8), Semantic Web and Ontologies(5), Advanced Algebra and Logic(4), Formal Methods in Verification(3)

Publications19 total

Reasoning About Causal Knowledge in Nondeterministic Domains
2025
Reasoning About Actual Causes in Nondeterministic Domains
Proceedings of the AAAI Conference on Artificial Intelligence·2025· 1 citedOpen Access
A Logic of Actual Cause for Nondeterministic Domains
Lecture notes in computer science·2025
Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
arXiv (Cornell University)·2024Open Access
Abstraction of Situation Calculus Concurrent Game Structures
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 2 citedOpen Access
On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind
Frontiers in artificial intelligence and applications·2023· 2 citedOpen Access
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of IGPL·2022· 2 citedOpen Access
About the unification type of K + Box Box false
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
About the unification type of $\mathbf {K}+\square \square \bot $
Annals of Mathematics and Artificial Intelligence·2021· 1 citedOpen Access
About the unification type of fusions of modal logics
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
About the Unification Type of Fusions of Modal Logic.
FLAP·2021
Restricted Unification in the DL FL0 (Extended Abstract).
Description Logics·2021
Restricted Unification in the DL EL.
Description Logics·2021
Restricted Unification in the DL FL₀ (Extended Version)
2021
Restricted Unification in the DL $$\mathcal {FL}_0$$
Lecture notes in computer science·2021· 2 cited
About the type of modal logics for the unification problem
Thèses en ligne de l'Université Toulouse III (Université Toulouse III)·2020· 1 citedOpen Access
About the unification types of the modal logics determined by classes of deterministic frames
arXiv (Cornell University)·2020· 2 citedOpen Access
A gentle introduction to unification in modal logics
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
Rejecting inadmissible rules in reduced normal forms in S4
arXiv (Cornell University)·2017Open Access

Frequent Co-authors

Philippe Balbiani(7), Çiğdem Gencer(7), Shakil M. Khan(6), Tinko Tinchev(5), Yves Lespérance(5), Franz Baader(4), Oliver Fernández Gil(3), Giuseppe De Giacomo(1), Mriana Yadkoo(1), Mojtaba Aghaei(1), Mojtaba Mojtahedi(1)