| A Teamwork communication model based on spiritual intelligence by fuzzy logic M Kadkhoda, SA Mirsanei, H Jahani 2013 13th Iranian Conference on Fuzzy Systems (IFSC), 1-6, 2013 | 3 | 2013 |
| کاربرد منطقهای ابداکشنی توصیفی در توسعهی هوش مصنوعی SA Μirsanei The 11th TMU international Student Philosophy Conference / https://jphil.ir …, 2024 | | 2024 |
| A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN A Shahbazi, SA Mirsanei, MHKM Sarraf, B Minaei Bidgoli arXiv:2401.07890, 2024 | | 2024 |
| ابداکشن گزینشی در انتخاب فرضیات و نسبت آن با استنتاج بهتبیینی (IBE) میرصانعی فلسفه تحلیلی 19 (41), 325-344, 2022 | | 2022 |
| Non-standard completeness of first-order MTL's extension using single-chain method SA Mirsanei Ninth Annual Conference of the Iranian Association for Logic, https …, 2022 | | 2022 |
| Propositional Provability Logics SA Mirsanei, L Nabavi | | 2022 |
| Tableau-resolution based description abduction logics: An A-Box Abduction Problem Solver in Artificial Intelligence SA Mirsanei The 9th International TMU Student Philosophy Conference, http://jphil.ir/, 2022 | | 2022 |
| Selective Abduction in the Selection of Hypotheses and its Relationship with Inference to the Best Explanation (IBE) SA Mirsanei Analytic Philosophy 19 (41), 325-344, 2022 | | 2022 |
| Proof Theory for Provability logics SA Mirsanei Philosophical Thought, 2021 | | 2021 |
| Relevance and Vagueness: A Proof Theoretic approach to fuzzy relevance logics SA Mirsanei The 8th TMU Student Philosophy Conference, 2021 | | 2021 |
| Non-classical Comparative Logic I: Standard Categorical Logic–from SLe to IFLe A Amikhteh, SA Mirsanei Logical Studies 12 (1), 1-24, 2021 | | 2021 |
| منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد-از SLe تا IFLe آمیخته, عامر, میرصانعی منطقپژوهی 12 (1), 1-24, 2021 | | 2021 |
| First order abduction's proof theory SA Mirsanei Eighth annual conference of Iranian Association for Logic (IAL), 2021 | | 2021 |
| Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules SA Mirsanei | | 2021 |
| A Reasoning Method based on Spatio-Temporal SA Mirsanei, M Kadkhoda | | 2016 |
| The role of the police 110 emergency system in the sense of security Case study: the citizens of Qom H Haji Mollam-Mirzayi, SA Mirsanei, A Reza Maleki journal of qom police danesh-e-entezami 1393 (2), 118-143, 2014 | | 2014 |
| A Teamwork communication model based on spiritual intelligence by fuzzy logic SA Mirsanei, M Kadkhoda, J Hooriyeh | | 2013 |