ALC

ALC – 2019/2020

Projekt „Algorithmen für Computational Logic“.

Einführung

Ziel des Projekts ist die Entwicklung eines Softwaretools zur Erstellung von Entscheidungsbäumen anhand einer Reihe von Stichproben. Als Referenz dient der Artikel Narodytska et al.

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

Anforderungen

• GNU/Linux
• Python 3
• Weitere Anforderungen werden in jedem Projekt erläutert.

Referenzen

[Narodytska et al.] N. Narodytska, A. Ignatiev, F. Pereira und J. Marques-Silva. Lernen optimaler Entscheidungsbäume mit SAT. In J. Lang, Herausgeber, Proceedings of the Twenty-Seventh International JointConference on Artificial Intelligence, IJCAI 2018, 13.–19. Juli 2018, Stockholm, Schweden, Seiten 1362–1368. ijcai.org, 2018.