I-DLV

I-DLV is an Answer Set Programming grounder and Datalog reasoner. It supports the ASP-Core-2 standard language; nevertheless, the system supports additional linguistic extensions such as list terms and external atoms (see the official documentation) . I-DLV is also a full-fledged deductive database system, supporting query answering powered by the Magic Sets technique.

I-DLV is free for academic and non-commerical educational use, as well as for use by non-profit organisations. 

Citing:

• Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari: I-DLV: The New Intelligent Grounder of DLV. AI*IA 2016: 192-207

Usage:

I-DLV has been integrated as the grounding module of the second version of DLV and can be used as follows.

./dlv2 --mode=idlv input_files

The latest DLV release integrates I-DLV v.1.1.4. 

In addition, standalone I-DLV releases are available on the official web page.

Publications:

• Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari: Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20(2): 205-224 (2020)

• Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri: A Machine Learning guided Rewriting Approach for ASP Logic Programs. ICLP Technical Communications 2020: 261-267 

• Giovambattista Ianni, Francesco Pacenza, Jessica Zangari: Incremental maintenance of overgrounded logic programs with tailored simplifications. Theory Pract. Log. Program. 20(5): 719-734 (2020)

• Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari: Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19(5-6): 957-973 (2019)

• Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari: Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19(5-6): 654-670 (2019)

• Francesco Calimeri, Simona Perri, Jessica Zangari: Optimizing Answer Set Computation via Heuristic-Based Decomposition. Theory Pract. Log. Program. 19(4): 603-628 (2019)

• Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari: I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11(1): 5-20 (2017)

• Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari: External Computations and Interoperability in the New DLV Grounder. AI*IA 2017: 172-185