Follow
Maryam Rostamigiv
Maryam Rostamigiv
Verified email at uregina.ca
Title
Cited by
Cited by
Year
About the unification type of K+[][]⊥
P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev
UNIF, 2020
152020
Restricted unification in the description logic FL0
F Baader, OF Gil, M Rostamigiv
Proc. of the 13th International Symposium on Frontiers of Combining Systems …, 2021
9*2021
About the unification types of the modal logics determined by classes of deterministic frames
P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev
arXiv preprint arXiv:2004.07904, 2020
72020
On explaining agent behaviour via root cause analysis: A formal account grounded in theory of mind
SM Khan, M Rostamigiv
ECAI 2023, 1239-1247, 2023
62023
About the type of modal logics for the unification problem
M Rostamigiv
University of Paul Sabatier (IRIT), 2020
52020
Remarks about the unification types of some locally tabular normal modal logics
P Balbiani, ÇĞ Gencer, M Rostamigiv, T Tinchev
Logic Journal of the IGPL 31 (1), 115-139, 2023
22023
Abstraction of Situation Calculus Concurrent Game Structures
Y Lespérance, G De Giacomo, M Rostamigiv, SM Khan
Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10624 …, 2024
12024
About the unification type of fusions of modal logics
P Balbiani, C Gencer, M Rostamigiv
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications, 2021
12021
Remarks about the unification types of some locally tabular modal logics
P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev
Logic Journal of the IGPL, to appear, 0
1
Explaining Agent Behaviour via Causal Analysis of Mental States (Extended Abstract)
SMK Maryam Rostamigiv
Jesse Heyninck and Thomas Meyer (eds), Working Notes of the 2nd Workshop on …, 2023
2023
Explaining Agent Behaviour via Causal Analysis of Mental States (Extended Abstract)
M Rostamigiv, SM Khan
Franz Baader, Bart Bogaerts, Gerhard Brewka, Joerg Hoffmann, Thomas …, 2023
2023
Restricted unification in the description logic EL
FBM Rostamigiv
n Description Logics, 2021
2021
Restricted Unification in the DL FL₀
F Baader, OF Gil, M Rostamigiv
2021
Simple epistemic planning problem: a unification approach
P Balbiani, G Gencer, M Rostamigiv
EPIP, 2020
2020
A gentle introduction to unification in modal logics
P Balbiani, C Gencer, M Mojtahedi, M Rostamigiv, T Tinchev
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), 2019
2019
Rejecting inadmissible rules in reduced normal forms in S4
M Aghaei, M Rostamigiv
arXiv preprint arXiv:1701.05138, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–16