Questa repository contiene gli algoritmi implementati nel lavoro di tesi svolto dallo studente Giuseppe Tripodi, dal titolo "Incompletezza nell'argomentazione astratta: problemi ed algoritmi".
Sono implementati alcuni algoritmi nel campo dell'argumentation theory. In particolare un algoritmo che risolve la possible verification sotto la complete semantics, usando la nozione di i*-extension. è riportata anche l'implementazione di un algoritmo che risolve lo stesso problema usando però in questo caso la nozine di i-extension.