( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.

, , , и . SEBD, стр. 295-302. (2011)

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.

Nicola Leone

Nicola Leone

Frederico Leone

Marco Leone

Debora Leone

 

Другие публикации лиц с тем же именем

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