Description of GADEL

I. Stephan, F. Saubion, P. Nicolas

This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. I…