( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ASP-Core-2 Input Language Format.

, , , , , , , , , и . Theory Pract. Log. Program., 20 (2): 294-309 (2020)

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

 

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

A graphic tool for ontology reasoning under Datalog∃., , , , и . SEBD, стр. 51-62. Curran Associates, (2013)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)New models for generating hard random boolean formulas and disjunctive logic programs., , и . Artif. Intell., (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)The ASP System DLV2., , , , , , , , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 215-221. Springer, (2017)Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis., , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 217-222. Springer, (2011)On the Application of Answer Set Programming to the Conference Paper Assignment Problem., , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2016)Unit Testing in ASPIDE., , , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 345-364. Springer, (2011)