( en | de | ru )

 

Disambiguation of "Sirianni, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel instantiation of ASP programs: techniques and experiments.

, , and . Theory Pract. Log. Program., 13 (2): 253-278 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Massimiliano Marcon

 

Other publications of authors with the same name

The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2011)Parallel instantiation of ASP programs: techniques and experiments., , and . Theory Pract. Log. Program., 13 (2): 253-278 (2013)Characterization of JWST science performance from commissioning, , , , , , , , , and 601 other author(s). (2022)cite arxiv:2207.05632Comment: 60 pages, 30 figures.Advanced Heuristics for Parallel ASP Instantiation., , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , and 9 other author(s). LPNMR, volume 6645 of Lecture Notes in Computer Science, page 388-403. Springer, (2011)Parallel Instantiation of ASP Programs: Techniques and Experiments, , and . CoRR, (2011)Parallel Instantiation in DLV., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Towards a Fully-Parallel DLV System., , and . RCRA@CPAIOR, volume 616 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)A parallel ASP instantiator based on DLV., , and . DAMP, page 73-82. ACM, (2010)