( en | de | ru )

 

Disambiguierung von "Ricca, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Cristina Ricca

Aldo Riccato

Mattia Riccardi

Annalisa Riccardi

Maria Teresa Riccato

 

Weitere Publikationen von Autoren mit dem selben Namen

The Multi-Engine ASP Solver me-asp., , und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 484-487. Springer, (2012)Unit Testing in ASPIDE., , , und . INAP/WLP, Volume 7773 von Lecture Notes in Computer Science, Seite 345-364. Springer, (2011)The ASP System DLV2., , , , , , , , und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 215-221. Springer, (2017)Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 217-222. Springer, (2011)On the Application of Answer Set Programming to the Conference Paper Assignment Problem., , , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2016)lp2cpp: A Tool For Compiling Stratified Logic Programs., , und . AI*IA, Volume 10640 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2017)Efficient Application of Answer Set Programming for Advanced Data Integration., , , und . PADL, Volume 5937 von Lecture Notes in Computer Science, Seite 10-24. Springer, (2010)New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs., , und . CoRR, (2018)A graphic tool for ontology reasoning under Datalog∃., , , , und . SEBD, Seite 51-62. Curran Associates, (2013)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , und . CoRR, (2016)