Marco Sirianni

According to our database, Marco Sirianni authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Parallel instantiation of ASP programs: techniques and experiments.

Simona Perri, Francesco Ricca, Marco Sirianni

Theory Pract. Log. Program., 2013

2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Birth of a WASP: Preliminary Report on a New ASP Solver.

Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

A parallel ASP instantiator based on DLV.

Simona Perri, Francesco Ricca, Marco Sirianni

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Towards a Fully-Parallel DLV System.

Simona Perri, Francesco Ricca, Marco Sirianni

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Parallel Instantiation in DLV.

Simona Perri, Francesco Ricca, Marco Sirianni

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Advanced Heuristics for Parallel ASP Instantiation.

Simona Perri, Francesco Ricca, Marco Sirianni

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009