( en | de | ru )

 

Disambiguation of "Leone, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

The Intelligent Grounder of DLV., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 247-264. Springer, (2012)Large Scale DLV: Preliminary Results., , , , , , , , , and 7 other author(s). CILC, volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2011)First Steps towards Reasoning on Big Data with DLV., , , , and . SEBD, volume 2161 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Stable Models and Their Computation for Logic Programming with Inheritance and True Negation., , and . J. Log. Program., 27 (1): 5-43 (1996)Fast Query Answering over Existential Rules., , , and . ACM Trans. Comput. Log., 20 (2): 12:1-12:48 (2019)A long tour from theory to practice., , , , and . Intelligenza Artificiale, 5 (1): 133-138 (2011)Computing LOGCFL certificates., , and . Theor. Comput. Sci., 270 (1-2): 761-777 (2002)On ACTL Formulas Having Linear Counterexamples., , , and . J. Comput. Syst. Sci., 62 (3): 463-515 (2001)ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications., , , , , , , and . Algorithms, 16 (3): 159 (March 2023)