PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ricca, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Answer Set Programming Competition.

, , , und . AI Magazine, 33 (4): 114-118 (2012)

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.

Francesco Virgili University of Stuttgart

Francesco Cucinotta University of Stuttgart

Francesco Salerno University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The DLV Java Wrapper.. APPIA-GULP-PRODE, Seite 263-274. (2003)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)Decomposing and pruning primary key violations from large data sets (discussion paper)., , und . SEBD, Volume 2037 von CEUR Workshop Proceedings, Seite 186. CEUR-WS.org, (2017)Algorithm Selection for Paracoherent Answer Set Computation., , , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 479-489. Springer, (2019)DLVMC: Enhanced Model Checking in DLV., , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 365-368. Springer, (2010)Advanced Heuristics for Parallel ASP Instantiation., , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)Debugging Non-ground ASP Programs: Technique and Graphical Tools., , , , und . TPLP, 19 (2): 290-316 (2019)Anytime Computation of Cautious Consequences in Answer Set Programming., , und . TPLP, 14 (4-5): 755-770 (2014)Taming primary key violations to query large inconsistent data via ASP., , und . TPLP, 15 (4-5): 696-710 (2015)Beyond NP: Quantifying over Answer Sets., , und . TPLP, 19 (5-6): 705-721 (2019)