ALC

ALC - 2019/2020

Projeto Algoritmos para Lógica Computacional.

Introdução

O projeto consiste em desenvolver uma ferramenta de software para construção de árvores de decisão a partir de um conjunto de amostras. Tem como referência o artigo Narodytska et al.

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

Requisitos

• GNU/Linux
• Pitão 3
• Mais requisitos explicados em cada projeto.

Referências

[Narodytska et al] N. Narodytska, A. Ignatiev, F. Pereira e J. Marques-Silva. Aprendendo árvores de decisão ideais com SAT. Em J. Lang, editor,Proceedings of the Twenty-Seventh International JointConference on Artificial Intelligence, IJCAI 2018, 13 a 19 de julho de 2018, Estocolmo, Suécia., páginas 1362–1368. ijcai.org, 2018.