Evidence algorithm and sequent logical inference search AI Degtyarev, AV Lyaletski, MK Morokhovets International Conference on Logic for Programming Artificial Intelligence …, 1999 | 52 | 1999 |
System for Automated Deduction (SAD): a tool for proof verification K Verchinine, A Lyaletski, A Paskevich International Conference on Automated Deduction, 398-403, 2007 | 46 | 2007 |
System for Automated Deduction (SAD): Linguistic and deductive peculiarities A Lyaletski, K Verchinine, A Degtyarev, A Paskevich Intelligent Information Systems 2002: Proceedings of the IIS’2002 Symposium …, 2002 | 32 | 2002 |
On correctness of mathematical texts from a logical and practical point of view K Verchinine, A Lyaletski, A Paskevich, A Anisimov Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008 | 29 | 2008 |
Theorem proving and proof verification in the system SAD A Lyaletski, A Paskevich, K Verchinine International Conference on Mathematical Knowledge Management, 236-250, 2004 | 28 | 2004 |
Gentzen calculi and admissible substitutions A Lyaletski Actes preliminaries, du Simposium Franco-Sovetique" Informatika-91 …, 1991 | 22 | 1991 |
On the EA-style integrated processing of self-contained mathematical texts AI Degtyarev, AV Lyaletski, MK Morokhovets Symbolic Computation and Automated Reasoning, 126-141, 2001 | 20 | 2001 |
SAD as a mathematical assistant—how should we go from here to there? A Lyaletski, A Paskevich, K Verchinine Journal of Applied Logic 4 (4), 560-591, 2006 | 16 | 2006 |
Goal-driven inference search in classical propositional logic A Lyaletski, A Paskevich Proc. of the Inter. Workshop STRATEGIES, 2001 | 15 | 2001 |
Kyiv school of automated theorem proving: a historical chronicle A Lyaletski, M Morokhovets, A Paskevich Logic in Central and Eastern Europe: History, Science, and Discourse, 431-439, 2012 | 14 | 2012 |
Evidence Algorithm and System for Automated Deduction: A Retrospective View: (In Honor of 40 Years of the EA Announcement) A Lyaletski, K Verchinine International Conference on Intelligent Computer Mathematics, 411-426, 2010 | 14 | 2010 |
Linguistic tools and deductive technique of the System for Automated Deduction Z Aselderov, K Verchinine, A Degtyarev, A Lyaletski, A Paskevich, ... Proceedings of of the 3rd International Workshop on the Implementation of …, 2002 | 13 | 2002 |
Logical inference in SAD A Degtyarev, A Lyaletski Matematicheskiye osnovy sistem iskusstvennogo intellekta, Institute of …, 1981 | 13 | 1981 |
Mathematical text processing in EA-style: a sequent aspect A Lyaletski Journal of Formalized Reasoning 9 (1), 235-264, 2016 | 11 | 2016 |
On verification tools implemented in the System for Automated Deduction A Lyaletski, K Verchinine, A Paskevich Proc. 2nd CoLogNet Workshop on Implementation Technology for Computational …, 2003 | 11 | 2003 |
Sequent forms of Herbrand theorem and their applications A Lyaletski Annals of Mathematics and Artificial Intelligence 46 (1), 191-230, 2006 | 10 | 2006 |
SAD, a System for Automated Deduction: a current state K Verchinine, A Degtyarev, A Lyaletski, A Paskevich Proceedings of the Workshop on 35, 2002 | 10 | 2002 |
Evidential paradigm: a current state A Lyaletski, M Morokhovets Programme of the International Conference “Mathematical Challenges of the …, 2000 | 10 | 2000 |
Glushkov’s evidence algorithm AA Letichevsky, AV Lyaletski, MK Morokhovets Cybernetics and Systems Analysis 49, 489-500, 2013 | 9 | 2013 |
On some problems of efficient inference search in first-order cut-free modal sequent calculi A Lyaletski 2008 10th International Symposium on Symbolic and Numeric Algorithms for …, 2008 | 8 | 2008 |