( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Master Surgical Scheduling via Answer Set Programming Tested on Real Data.

, , и . HC@AIxIA, том 3578 из CEUR Workshop Proceedings, стр. 130-144. CEUR-WS.org, (2023)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

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)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)optsat: A Tool for Solving SAT Related Optimization Problems., и . JELIA, том 4160 из Lecture Notes in Computer Science, стр. 485-489. Springer, (2006)(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver., , и . CP, том 2833 из Lecture Notes in Computer Science, стр. 842-846. Springer, (2003)A Simple Proof-Theoretic Characterization of Stable Models., , и . IPS-RCRA-SPIRIT@AI*IA, том 3585 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)KR&R Approaches for Robot Manipulation Tasks with Articulated Objects., , , , , и . RiCeRcA@AI*IA, том 2272 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)In-Station Train Dispatching: A PDDL+ Planning Approach., , , , и . ICAPS, стр. 450-458. AAAI Press, (2021)