( en | de | ru )

 

Disambiguierung von "Ricca, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.

, , , und . J. Algorithms, 63 (1-3): 70-89 (2008)

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

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)Multi-engine ASP solving with policy adaptation., , und . J. Log. Comput., 25 (6): 1285-1306 (2015)lp2cpp: A Tool For Compiling Stratified Logic Programs., , und . AI*IA, Volume 10640 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2017)The Seventh Answer Set Programming Competition: Design and Results., , und . Theory Pract. Log. Program., 20 (2): 176-204 (2020)A Logic-Based System for e-Tourism., , , , , , und . Fundam. Informaticae, 105 (1-2): 35-55 (2010)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , und . CoRR, (2016)A graphic tool for ontology reasoning under Datalog∃., , , , und . SEBD, Seite 51-62. Curran Associates, (2013)Parallel Instantiation of ASP Programs: Techniques and Experiments, , und . CoRR, (2011)Debugging Non-Ground ASP Programs: Technique and Graphical Tools., , , , und . CoRR, (2018)