( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Comparing Alternative Solutions for Unfounded Set Propagation in ASP.

, , и . AI*IA, том 8249 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2013)

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

 

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

New models for generating hard random boolean formulas and disjunctive logic programs., , и . Artif. Intell., (2020)Efficient Application of Answer Set Programming for Advanced Data Integration., , , и . PADL, том 5937 из Lecture Notes in Computer Science, стр. 10-24. Springer, (2010)Paracoherent Answer Set Semantics meets Argumentation Frameworks., и . Theory Pract. Log. Program., 19 (5-6): 688-704 (2019)The Seventh Answer Set Programming Competition: Design and Results., , и . Theory Pract. Log. Program., 20 (2): 176-204 (2020)WASP: A Native ASP Solver Based on Constraint Learning., , , , и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 54-66. Springer, (2013)A Logic-Based System for e-Tourism., , , , , , и . Fundam. Informaticae, 105 (1-2): 35-55 (2010)Multi-engine ASP solving with policy adaptation., , и . J. Log. Comput., 25 (6): 1285-1306 (2015)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , и . CoRR, (2016)New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs., , и . CoRR, (2018)A graphic tool for ontology reasoning under Datalog∃., , , , и . SEBD, стр. 51-62. Curran Associates, (2013)