Sakharov, Alexander Calculi and models for non-Horn knowledge bases containing neural and evaluable predicates. (English) Zbl 07582520 Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 24-35 (2022). MSC: 68-06 68T27 68T07 PDFBibTeX XMLCite \textit{A. Sakharov}, in: Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10--12, 2022. London: College Publications. 24--35 (2022; Zbl 07582520)
Sakharov, A. V. Dynamics of a point in the axisymmetric gravitational potential of a massive fixed ring and center. (English. Russian original) Zbl 1476.70052 Theor. Math. Phys. 207, No. 2, 678-688 (2021); translation from Teor. Mat. Fiz. 207, No. 2, 319-330 (2021). MSC: 70F15 PDFBibTeX XMLCite \textit{A. V. Sakharov}, Theor. Math. Phys. 207, No. 2, 678--688 (2021; Zbl 1476.70052); translation from Teor. Mat. Fiz. 207, No. 2, 319--330 (2021) Full Text: DOI
Sakharov, Alexander Annotated regular expressions and input-driven languages. (English) Zbl 1441.68129 Inf. Process. Lett. 159-160, Article ID 105958, 5 p. (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Sakharov}, Inf. Process. Lett. 159--160, Article ID 105958, 5 p. (2020; Zbl 1441.68129) Full Text: DOI
Sakharov, Aleksandr V. Some trajectories of a point in the potential of a fixed ring and center. (English) Zbl 1439.70023 Russ. J. Nonlinear Dyn. 15, No. 4, 587-592 (2019). MSC: 70F15 70G10 PDFBibTeX XMLCite \textit{A. V. Sakharov}, Russ. J. Nonlinear Dyn. 15, No. 4, 587--592 (2019; Zbl 1439.70023) Full Text: DOI MNR
Sakharov, Alexander One-counter automata for parsing and language approximation. (English) Zbl 1509.68138 Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 299-311 (2018). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{A. Sakharov}, Lect. Notes Comput. Sci. 10977, 299--311 (2018; Zbl 1509.68138) Full Text: DOI
Sakharov, Alexander; Sakharov, Timothy The Viterbi algorithm for subsets of stochastic context-free languages. (English) Zbl 1476.68137 Inf. Process. Lett. 135, 68- 72 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Sakharov} and \textit{T. Sakharov}, Inf. Process. Lett. 135, 68- 72 (2018; Zbl 1476.68137) Full Text: DOI
Sakharov, A. V. Rotation of a body with two movable internal masses on a rough plane. (English. Russian original) Zbl 1347.70009 J. Appl. Math. Mech. 79, No. 2, 132-141 (2015); translation from Prikl. Mat. Mekh. 79, No. 2, 196–209 (2015). MSC: 70E18 70E60 PDFBibTeX XMLCite \textit{A. V. Sakharov}, J. Appl. Math. Mech. 79, No. 2, 132--141 (2015; Zbl 1347.70009); translation from Prikl. Mat. Mekh. 79, No. 2, 196--209 (2015) Full Text: DOI
Sakharov, Alexander V. Rotation of the body with movable internal masses around the center of mass on a rough plane. (English) Zbl 1358.70009 Regul. Chaotic Dyn. 20, No. 4, 428-440 (2015). MSC: 70E18 70E55 70E60 PDFBibTeX XMLCite \textit{A. V. Sakharov}, Regul. Chaotic Dyn. 20, No. 4, 428--440 (2015; Zbl 1358.70009) Full Text: DOI
Sakharov, Alexander Intuitionistic predicate logic with decidable propositional atoms. (English) Zbl 1134.03008 Rep. Math. Logic 42, 153-169 (2007). Reviewer: Osamu Sonobe (Follonica) MSC: 03B20 03B25 03F05 PDFBibTeX XMLCite \textit{A. Sakharov}, Rep. Math. Logic 42, 153--169 (2007; Zbl 1134.03008) Full Text: arXiv
Sakharov, Alexander Heuristic search under multiple evaluations. (English) Zbl 0784.68081 Comput. Artif. Intell. 11, No. 6, 521-534 (1992). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Sakharov}, Comput. Artif. Intell. 11, No. 6, 521--534 (1992; Zbl 0784.68081)
Sakharov, Alexander Production-based program synthesis. (English) Zbl 0663.68023 Comput. Artif. Intell. 7, No. 6, 497-509 (1988). MSC: 68P05 68T99 PDFBibTeX XMLCite \textit{A. Sakharov}, Comput. Artif. Intell. 7, No. 6, 497--509 (1988; Zbl 0663.68023)