| Case-based reasoning for medical decision support tasks: The Inreca approach KD Althoff, R Bergmann, S Wess, M Manago, E Auriol, OI Larichev, ... Artificial Intelligence in Medicine 12 (1), 25-41, 1998 | 103 | 1998 |
| A clausal resolution method for CTL branching-time temporal logic A Bolotov Journal of Experimental & Theoretical Artificial Intelligence 11 (1), 77-93, 1999 | 86 | 1999 |
| Natural deduction calculus for linear-time temporal logic A Bolotov, A Basukoski, O Grigoriev, V Shangin Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006 | 42 | 2006 |
| Automated first order natural deduction A Bolotov, V Bocharov, A Gorchakov, V Shangin ISCAI, 2005 | 36 | 2005 |
| Automated natural deduction for propositional linear-time temporal logic A Bolotov, O Grigoriev, V Shangin 14th International Symposium on Temporal Representation and Reasoning (TIME …, 2007 | 35 | 2007 |
| Clausal resolution in a logic of rational agency C Dixon, M Fisher, A Bolotov Artificial Intelligence 139 (1), 47-89, 2002 | 29 | 2002 |
| Clausal resolution for branching-time temporal logic. A Bolotov Manchester Metropolitan University, 2000 | 29 | 2000 |
| Natural deduction system in paraconsistent setting: Proof search for PCont A Bolotov, V Shangin Journal of Intelligent Systems 21 (1), 1-24, 2012 | 27 | 2012 |
| Resolution for branching time temporal logics: Applying the temporal resolution rule A Bolotov, C Dixon Proceedings Seventh International Workshop on Temporal Representation and …, 2000 | 21 | 2000 |
| Natural deduction calculus for computation tree logic A Bolotov, O Grigoriev, V Shangin IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing …, 2006 | 20 | 2006 |
| On the Relationship between ω‐automata and Temporal Logic Normal Forms A Bolotov, M Fisher, C Dixon Journal of Logic and Computation 12 (4), 561-581, 2002 | 20 | 2002 |
| A clausal resolution method for branching-time logic ECTL+ A Bolotov, A Basukoski Annals of Mathematics and Artificial Intelligence 46, 235-263, 2006 | 15 | 2006 |
| Let the computer prove it A Bolotov, V Bocharov, A Gorchakov, V Makarov, V Shangin Nauka, 2004 | 15 | 2004 |
| A clausal resolution for extended computation tree logic ECTL A Bolotov Proceedings of the 10th International Symposium on Temporal Representation …, 2003 | 15 | 2003 |
| Computational modelling for bankruptcy prediction: Semantic data analysis integrating graph database and financial ontology N Yerashenia, A Bolotov 2019 IEEE 21st Conference on Business Informatics (CBI) 1, 84-93, 2019 | 13 | 2019 |
| Resolution in a logic of rational agency C Dixon, M Fisher, A Bolotov ECAI, 358-362, 2000 | 11 | 2000 |
| System DIFKLASS: construction of full and consistent bases of expert knowledge in problems of differential classification O Larichev, A Bolotov The scientific and technical information, a series 2, 1996 | 10 | 1996 |
| Clausal resolution for ctl A Bolotov, C Dixon, M Fisher Mathematical Foundations of Computer Science 1999: 24th International …, 1999 | 9 | 1999 |
| Towards gcm re-configuration-extending specification by norms M Danelutto, P Fragopoulou, V Getov, A Basso, A Bolotov Making Grids Work: Proceedings of the CoreGRID Workshop on Programming …, 2008 | 8 | 2008 |
| Towards certified model checking for PLTL using one-pass tableaux A Abuin, A Bolotov, U Díaz de Cerio, M Hermo, P Lucio 26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019 | 7 | 2019 |
