DLV is an artificial intelligence system based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms.
DLVDB is an extension of the DLV system designed both to handle input and output data distributed on several databases.
ASPIDE is a Integrated Development Environment for Answer Set Programming supporting the entire life-cycle of ASP development.
JDLV is a new programming framework blending DLV with Java programming.
Honors and Awards 
Hiring