darkmacheken / ALC

Algorithms for Computational Logic's project.

ALC - 2019/2020

Algorithms for Computational Logic's project.

Introduction

The project is to develop a software tool for constructing decision trees given a set of samples. It has as reference the paper Narodytska et al.

• Project 1 (SAT)
• Project 2 (SMT)
• Project 3 (CSP)
• Project 4 (ASP)

Requirements

• GNU/Linux
• Python 3
• More requirements explained in each project.

References

[Narodytska et al] N. Narodytska, A. Ignatiev, F. Pereira, and J. Marques-Silva. Learning optimal decision trees with SAT. In J. Lang, editor,Proceedings of the Twenty-Seventh International JointConference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.,pages 1362–1368. ijcai.org, 2018.