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 

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari: Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Gener. Comput. 37(1): 29-65 (2019)

Stefano Germano, Francesco Calimeri, Eliana Palermiti: LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. PADL 2018: 152-160