135 citations · 319 across the 25 of their papers we have counts for
4 papers · 1 filter
Parallel Instantiation of ASP Programs: Techniques and Experiments
Simona Perri, Francesco Ricca, Marco Sirianni
Answer Set Programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry.…
Unit Testing in ASPIDE
Onofrio Febbraro, Nicola Leone, Kristian Reale +1
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools f…
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
Marco Manna, Francesco Ricca, Giorgio Terracina
A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global…
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
Francesco Ricca, Giovanni Grasso, Mario Alviano +4
(To appear in Theory and Practice of Logic Programming (TPLP).) The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management ta…