IDP Reasoning System

IDP is a reasoning system of the DTAI at the University of Leuven. There is a web-interface that can be used for experimentation. The system differs from the ASP format in specific ways, though it competes in the tri-annual ASP competitions (for a download of problems see here) It supports representations such as Abstract Dialectical Frameworks.