DVL

Kapcsolódó fogalmak: 
válaszhalmaz programozás
Kapcsolódó fogalmak: 
Smodels
Rövid szöveges bemutatás: 
Azon rendszerek melyeket a válaszhalmaz programozás módszerével készítettek a negálást mint kudarc fogják fel vagy a körülírási módszerek tovább finomításának. Ezen rendszerek között vezető szerepet töltött be a DVL és a SMODELS. T. Eiter-en kívűl számos tudós dolgozott a DVL kidolgozásán, és sok konferencián szerepeltek a termékkel. Például Proc. of Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Olaszország, Szeptember, 23-26.