ALC
Project 4
Алгоритмы для проекта Computational Logic.
Проект заключается в разработке программного инструмента для построения деревьев решений по набору образцов. В качестве ссылки он приводит статью Народицкой и др.
[Народицкая и др.] Н. Народицкая, А. Игнатьев, Ф. Перейра и Ж. Маркес-Сильва. Изучение оптимальных деревьев решений с помощью SAT. В книге Дж. Ланга, редактора, «Материалы двадцать седьмой международной совместной конференции по искусственному интеллекту», IJCAI 2018, 13–19 июля 2018 г., Стокгольм, Швеция, страницы 1362–1368. ijcai.org, 2018.