( en | de | ru )

 

Disambiguation of "Leone, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Large Scale DLV: Preliminary Results.

, , , , , , , , , , , , , , , , and . CILC, volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)

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

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Adding Set Terms to Ordered Logic Programs., and . GULP, page 87-100. (1993)Normal Form Nested Programs., , and . Fundam. Informaticae, 96 (3): 271-295 (2009)On ACTL Formulas Having Linear Counterexamples., , , and . J. Comput. Syst. Sci., 62 (3): 463-515 (2001)A long tour from theory to practice., , , , and . Intelligenza Artificiale, 5 (1): 133-138 (2011)Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)., , , , , and . Theory Pract. Log. Program., 16 (5-6): 653-669 (2016)Driving CDCL Search., , , , , and . CoRR, (2016)Effective Implementation of Negation in Database Logic Query Languages., , , and . LOGIDATA+: Deductive Databases with Complex Objects, volume 701 of Lecture Notes in Computer Science, Springer, (1993)Progress Report on the Disjunctive Deductive Database System dlv., , , , and . FQAS, volume 1495 of Lecture Notes in Computer Science, page 148-163. Springer, (1998)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., and . WLP, page 217-226. (1995)