( en | de | ru )

 

Disambiguierung von "Sirianni, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Fully-Parallel DLV System.

, , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

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