JDLV

JDLV is a new programming framework blending DLV with Java programming.

ASPIDE

ASPIDE is a Integrated Development Environment for Answer Set Programming supporting the entire life-cycle of ASP development.

DLV<sup>DB</sup>

DLVDB is an extension of the DLV system designed both to handle input and output data distributed on several databases.

DLV

DLV is an artificial intelligence system based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms.