| On some systems of minimal predicate logic with history mechanism A Baghdasaryan, H Bolibekyan The Bulletin of Symbolic Logic 24 (2), 232-233, 2018 | 5 | 2018 |
| On some systems of propositional minimal logic with loop detection HR Bolibekyan, AR Baghdasaryan ՀՀ ԳԱԱ Զեկույցներ / Reports of NAS RA 119 (2), 110-115, 2019 | 4 | 2019 |
| Knowledge retrieval and diagnostics in cloud services with large language models A Baghdasaryan, T Bunarjyan, A Poghosyan, A Harutyunyan, J El-Zein Expert Systems with Applications 255, 124736, 2024 | 3 | 2024 |
| Methods and systems for proactive customer support using general purpose language models with transfer learning A Baghdasaryan, T Bunarjyan, A Poghosyan, AN Harutyunyan, ELZ Jad US Patent App. 17/572,960, 2023 | 2 | 2023 |
| On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic A Baghdasaryan, H Bolibekyan JUCS - Journal of Universal Computer Science 27 (11), 1193-1202, 2021 | 1 | 2021 |
| On the Minimal Fragment of S5 Modal Logic HR Bolibekyan, AR Baghdasaryan ՀՀ ԳԱԱ Զեկույցներ / Reports of NAS RA 121 (1), 7-12, 2021 | 1 | 2021 |
| On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic A Baghdasaryan, H Bolibekyan Collaborative Technologies and Data Science in Artificial Intelligence …, 2020 | 1 | 2020 |
| On AI-Driven Customer Support in Cloud Operations JEZ A. Baghdasaryan, T. Bunarjyan, A. Poghosyan, A. Harutyunyan CODASSCA 2022, 32-35, 2022 | | 2022 |
| ON SOME SYSTEMS OF MINIMAL MODAL LOGIC WITH HISTORY MECHANISM A Baghdasaryan Sciences of Europe, 35-37, 2021 | | 2021 |
| On Neural Network Based Automated Theorem Prover For Minimal Logic A Baghdasaryan, H Bolibekyan Tribute to Kurt Gödel 2020, 2020 | | 2020 |
| On machine learning based theorem prover for first order minimal logic AR Baghdasaryan ББК 22.251 я431+ 95.4 М341, 144, 2019 | | 2019 |
| Theorem Proving for Minimal Logic using Machine Learning Techniques A Baghdasaryan Polynomial Computer Algebra, 22-24, 2019 | | 2019 |
