( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
First Steps towards Reasoning on Big Data with DLV.

, , , , и . SEBD, том 2161 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)

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.

Cristina Ricca

Aldo Riccato

Mattia Riccardi

Annalisa Riccardi

Maria Teresa Riccato

 

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

lp2cpp: A Tool For Compiling Stratified Logic Programs., , и . AI*IA, том 10640 из Lecture Notes in Computer Science, стр. 200-212. Springer, (2017)Efficient Application of Answer Set Programming for Advanced Data Integration., , , и . PADL, том 5937 из Lecture Notes in Computer Science, стр. 10-24. Springer, (2010)WASP: A Native ASP Solver Based on Constraint Learning., , , , и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 54-66. Springer, (2013)Towards a Fully-Parallel DLV System., , и . RCRA@CPAIOR, том 616 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics., , и . CILC, том 3428 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Team-building with Answer Set Programming in the Gioia-Tauro Seaport., , , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Parallel Instantiation in DLV., , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems.. Datalog, том 2368 из CEUR Workshop Proceedings, стр. 7-9. CEUR-WS.org, (2019)Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis., , , и . SEBD, стр. 295-302. (2011)Multi-engine ASP solving with policy adaptation., , и . J. Log. Comput., 25 (6): 1285-1306 (2015)