| About the unification type of K+[][]⊥ P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev UNIF, 2020 | 15 | 2020 |
| 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 | 7 | 2020 |
| 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 | 6 | 2023 |
| About the type of modal logics for the unification problem M Rostamigiv University of Paul Sabatier (IRIT), 2020 | 5 | 2020 |
| 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 | 2 | 2023 |
| 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 | 1 | 2024 |
| 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 | 1 | 2021 |
| 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 |
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
