Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik

Studienarbeit von Javanshir Alammadli
Das Ziel der Aufgabe ist es einen labeling-basierten Algorithmus für die cf2 Argumentation Semantik zu implementieren und mit dem bereits bestehenden ASP-basierten System ASPARTIX zu vergleich.