Terms for subject Artificial intelligence containing automatic

English	Russian
AI for automatic test generation	система с искусственного интеллекта для автоматической генерации тестов (Alex_Odeychuk)
automatic annotation of video	автоматическое аннотирование видеоматериалов (Alex_Odeychuk)
automatic backtracking	автоматический перебор с возвратами (Alex_Odeychuk)
automatic backtracking	автоматический поиск с возвратом (Alex_Odeychuk)
automatic backtracking	автоматический перебор с возвратом (Alex_Odeychuk)
automatic construction of inference-supporting knowledge bases	автоматическое конструирование баз знаний для поддержки логического вывода (Alex_Odeychuk)
automatic data mining	автоматический анализ скрытых закономерностей в данных (Alex_Odeychuk)
automatic data mining	автоматический поиск скрытых закономерностей в данных (Alex_Odeychuk)
automatic data mining	автоматическое обнаружение знаний в данных (Alex_Odeychuk)
automatic knowledge acquisition	автоматическое извлечение знаний (Alex_Odeychuk)
automatic post-editing	автоматическое постредактирование (Alex_Odeychuk)
automatic processing of alternatives	автоматический перебор альтернатив (механизмом перебора (поиска) с возвратом в коде на языке логического программирования Alex_Odeychuk)
automatic reasoning	автоматические рассуждения (Alex_Odeychuk)
automatic reasoning	автоматическое рассуждение (Alex_Odeychuk)
automatic speech recognition technology	технология автоматического распознавания речи (Alex_Odeychuk)
automatic summarization	автоматическое создание обзоров информационного наполнения текстовых и аудиовизуальных материалов (text, video, and audio Alex_Odeychuk)
automatic teaching	автоматизированное обучение (Alex_Odeychuk)
automatic teaching operation	операция автоматизированного обучения (Alex_Odeychuk)
automatic test generation	автоматическая генерация тестов
automatic theorem prover	автоматический доказатель теорем (Microsoft Alex_Odeychuk)
automatic theorem prover for satisfiability modulo theories	автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk)
automatic theorem prover for satisfiability modulo theories problems	автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk)
automatic theorem prover for SMT problems	автоматический доказатель теорем для задач выполнимости формул в теориях (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk)
automatic theorem prover for SMT problems	автоматический доказатель теорем для задач выполнимости формул в теориях
automatic video commenting	автоматическое комментирование видеозаписей (Alex_Odeychuk)
automatic video commenting	автоматическое комментирование видеоматериалов (Alex_Odeychuk)
statistical approach to automatic language translation	статистический подход к машинному переводу (Alex_Odeychuk)