( en | de | ru )

 

Disambiguierung von "Ricca, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Multi-Engine ASP Solver me-asp.

, , und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 484-487. Springer, (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.

Cristina Ricca

Aldo Riccato

Mattia Riccardi

Annalisa Riccardi

Maria Teresa Riccato

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Unit Testing in ASPIDE., , , und . INAP/WLP, Volume 7773 von Lecture Notes in Computer Science, Seite 345-364. Springer, (2011)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 . Artif. Intell., (2020)Paracoherent Answer Set Semantics meets Argumentation Frameworks., und . Theory Pract. Log. Program., 19 (5-6): 688-704 (2019)On look-ahead heuristics in disjunctive logic programming., , , und . Ann. Math. Artif. Intell., 51 (2-4): 229-266 (2007)Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers., , , und . J. Algorithms, 63 (1-3): 70-89 (2008)