Sign in | English | Terms of Use
DictionaryForumContacts

    ⇄
А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я   <<  >>
Terms for subject Artificial intelligence (4205 entries)
задавать assert Alex_O­deychuk
задавать вопросы на естественном языке give natural language prompts Alex_O­deychuk
заданный asserted Alex_O­deychuk
задача автоматического планирования automated planning problem Alex_O­deychuk
задача выполнимости SAT Alex_O­deychuk
задача выполнимости булевых формул SAT Alex_O­deychuk
задача выполнимости булевых формул boolean satisfiability problem Alex_O­deychuk
задача выполнимости булевых формул propositional satisfiability problem Alex_O­deychuk
задача выполнимости булевых формул в 2-конъюнктивной нормальной форме 2-SAT Alex_O­deychuk
задача выполнимости булевых формул в конъюнктивной нормальной форме SATCNF Alex_O­deychuk
задача выполнимости булевых формул в k-конъюнктивной нормальной форме k-SAT Alex_O­deychuk
задача выполнимости (формул) в теориях SMT Alex_O­deychuk
задача выполнимости формул в теориях satisfiability modulo theories Alex_O­deychuk
задача выполнимости формул в теориях satisfiability modulo theories problem Alex_O­deychuk
задача выполнимости формул в теориях SMT problem Alex_O­deychuk
задача выполнимости формул в теориях SMT Alex_O­deychuk
задача логического вывода inference problem Alex_O­deychuk
задача машинного обучения machine learning problem Alex_O­deychuk
задача машинного обучения machine learning task Alex_O­deychuk
задача машинного перевода большого массива текстов large scale machine translation task Alex_O­deychuk

Get short URL