( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Evaluation of disjunctive programs in WASP.

, , , , , и . (марта 2019)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

CASP solutions for planning in hybrid domains., , , и . Theory Pract. Log. Program., 17 (4): 591-633 (2017)A Tool for Encoding Controlled Natural Language Specifications as ASP Rules., , и . Datalog, том 3203 из CEUR Workshop Proceedings, стр. 188-201. CEUR-WS.org, (2022)Algorithms for Solving Satisfiability Problems with Qualitative Preferences., и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 327-344. Springer, (2012)Multi-engine ASP solving with policy adaptation., , и . J. Log. Comput., 25 (6): 1285-1306 (2015)The Multi-Engine ASP Solver me-asp., , и . JELIA, том 7519 из Lecture Notes in Computer Science, стр. 484-487. Springer, (2012)Scheduling pre-operative assessment clinic with answer set programming., , , , и . J. Log. Comput., 34 (3): 465-493 (2024)Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability., , , и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 347-363. Springer, (2001)(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver., , и . CP, том 2833 из Lecture Notes in Computer Science, стр. 842-846. Springer, (2003)optsat: A Tool for Solving SAT Related Optimization Problems., и . JELIA, том 4160 из Lecture Notes in Computer Science, стр. 485-489. Springer, (2006)An Experimental Study of Search Strategies and Heuristics in Answer Set Programming., и . Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)