Marco Sirianni

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Parallel Implementation

Web Applications

Answer Set Programming

Sorting Algorithms

Top Venues

Theory Pract. Log. Program.

Publications

Simona Perri, Francesco Ricca, Marco Sirianni
Parallel instantiation of ASP programs: techniques and experiments. Theory Pract. Log. Program. 13 (2) (2013)
Simona Perri, Francesco Ricca, Marco Sirianni
Parallel Instantiation of ASP Programs: Techniques and Experiments CoRR (2011)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC (2011)
Simona Perri, Francesco Ricca, Marco Sirianni
Parallel Instantiation in DLV. CILC (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
A parallel ASP instantiator based on DLV. DAMP (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
Towards a Fully-Parallel DLV System. RCRA@CPAIOR (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
Advanced Heuristics for Parallel ASP Instantiation. RCRA@AI*IA (2009)