( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On look-ahead heuristics in disjunctive logic programming.

, , , и . Ann. Math. Artif. Intell., 51 (2-4): 229-266 (2007)

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

 

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

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)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)New models for generating hard random boolean formulas and disjunctive logic programs., , и . Artif. Intell., (2020)Paracoherent Answer Set Semantics meets Argumentation Frameworks., и . Theory Pract. Log. Program., 19 (5-6): 688-704 (2019)On look-ahead heuristics in disjunctive logic programming., , , и . Ann. Math. Artif. Intell., 51 (2-4): 229-266 (2007)Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers., , , и . J. Algorithms, 63 (1-3): 70-89 (2008)