( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preliminary Report on WASP 2.0.

, , и . CoRR, (2014)

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

 

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

An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , и . CoRR, (2016)A graphic tool for ontology reasoning under Datalog∃., , , , и . SEBD, стр. 51-62. Curran Associates, (2013)Parallel Instantiation of ASP Programs: Techniques and Experiments, , и . CoRR, (2011)Multi-engine ASP solving with policy adaptation., , и . J. Log. Comput., 25 (6): 1285-1306 (2015)New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs., , и . CoRR, (2018)Debugging Non-Ground ASP Programs: Technique and Graphical Tools., , , , и . CoRR, (2018)lp2cpp: A Tool For Compiling Stratified Logic Programs., , и . AI*IA, том 10640 из Lecture Notes in Computer Science, стр. 200-212. Springer, (2017)The Multi-Engine ASP Solver me-asp., , и . JELIA, том 7519 из Lecture Notes in Computer Science, стр. 484-487. Springer, (2012)Unit Testing in ASPIDE., , , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 345-364. Springer, (2011)The ASP System DLV2., , , , , , , , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 215-221. Springer, (2017)