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.

 

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

Train Scheduling with Hybrid ASP., , , , , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2019)Verifying Strong Equivalence of Programs in the Input Language of gringo., , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 270-283. Springer, (2019)The Return of xorro., , , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 284-297. Springer, (2019)Gelfond-Zhang aggregates as propositional formulas., , , и . Artif. Intell., (2019)On the Foundations of Grounding in Answer Set Programming., и . CoRR, (2021)Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers., , , и . ICAART (1), стр. 264-271. SCITEPRESS, (2024)Generalized Target Assignment and Path Finding Using Answer Set Programming., , , , и . SOCS, стр. 194-195. AAAI Press, (2019)Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN ., , , , , и . RuleML+RR, том 13752 из Lecture Notes in Computer Science, стр. 54-62. Springer, (2022)claspfolio 2: Advances in Algorithm Selection for Answer Set Programming., , и . Theory Pract. Log. Program., 14 (4-5): 569-585 (2014)ASP-Core-2 Input Language Format., , , , , , , , , и . Theory Pract. Log. Program., 20 (2): 294-309 (2020)