From post

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.

 

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

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios., , , , и . Theory Pract. Log. Program., 19 (5-6): 1073-1089 (2019)Incremental Answer Set Programming with Overgrounding., , , , и . Theory Pract. Log. Program., 19 (5-6): 957-973 (2019)Parametric connectives in Disjunctive Logic Programming., и . AI Commun., 17 (2): 63-74 (2004)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , и . CoRR, (2018)The ASP System DLV: Advancements and Applications., , , , , , , , , и 3 other автор(ы). Künstliche Intell., 32 (2-3): 177-179 (2018)Experimenting with parallelism for the instantiation of ASP programs., , и . J. Algorithms, 63 (1-3): 34-54 (2008)Enhancing DLV instantiator by backjumping techniques., , , и . Ann. Math. Artif. Intell., 51 (2-4): 195-228 (2007)Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation., , и . Theory Pract. Log. Program., 5 (1-2): 123-159 (2005)Abduction with Penalization in Logic Programming., , и . AI*IA, том 2175 из Lecture Notes in Computer Science, стр. 123-134. Springer, (2001)Parametric Connectives in Disjunctive Logic Programming., и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)