( en | de | ru )

 

Disambiguation of "Leone, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing DLV instantiator by backjumping techniques.

, , , and . Ann. Math. Artif. Intell., 51 (2-4): 195-228 (2007)

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

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , and . CoRR, (2002)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)Normal Form Nested Programs., , and . Fundam. Informaticae, 96 (3): 271-295 (2009)A long tour from theory to practice., , , , and . Intelligenza Artificiale, 5 (1): 133-138 (2011)On ACTL Formulas Having Linear Counterexamples., , , and . J. Comput. Syst. Sci., 62 (3): 463-515 (2001)Join Ordering Techniques for Knowledge Base Systems., , and . SEBD, page 79-93. (2001)Efficient Query Answering over Datalog with Existential Quantifiers., , , and . SEBD, page 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 32-44. Springer, (2019)Computing LOGCFL Certificates., , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 361-371. Springer, (1999)Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications., and . Reasoning Web, volume 9203 of Lecture Notes in Computer Science, page 308-326. Springer, (2015)