( en | de | ru )

 

Disambiguation of "Leone, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicola Leone

Nicola Leone

Frederico Leone

Marco Leone

Debora Leone

 

Other publications of authors with the same name

Finitely recursive programs: Decidability and bottom-up computation., , , and . AI Commun., 24 (4): 311-334 (2011)A backjumping technique for Disjunctive Logic Programming., , and . AI Commun., 19 (2): 155-172 (2006)Driving CDCL Search., , , , , and . CoRR, (2016)Structural Decomposition Methods: Key Notions and Database Applications., , , and . A Comprehensive Guide Through the Italian Database Research, volume 31 of Studies in Big Data, Springer International Publishing, (2018)Normal Form Nested Programs., , and . Fundam. Informaticae, 96 (3): 271-295 (2009)Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming., , , , , , and . CoRR, (2020)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , and . Theory Pract. Log. Program., 12 (3): 361-381 (2012)Disjunctive Logic Programs with Inheritance., , and . Theory Pract. Log. Program., 2 (3): 293-321 (2002)Experimenting with recursive queries in database and logic programming systems., , , and . Theory Pract. Log. Program., 8 (2): 129-165 (2008)An ASP-Based System for Team-Building in the Gioia-Tauro Seaport., , , , , and . PADL, volume 5937 of Lecture Notes in Computer Science, page 40-42. Springer, (2010)