Giuseppe Mazzotta

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Top Venues

Description Logics

Publications

Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. CoRR (2024)
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
Compilation of Tight ASP Programs. ECAI (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23 (4) (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
Enhancing ASP(Q) evaluation. DP@AI*IA (2023)
Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
ASP-based Axiom Pinpointing for Description Logics. Description Logics (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
An efficient solver for ASP(Q). CoRR (2023)
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. CILC (2023)
Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA (2022)
Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
Compilation of Aggregates in ASP Systems. AAAI (2022)
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
Modelling the Outlier Detection Problem in ASP(Q). PADL (2022)
Giuseppe Mazzotta
Compilation of Aggregates in ASP. ICLP Technical Communications (2021)
Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Compilation of Aggregates in ASP: Preliminary Results. CILC (2020)