( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Enumeration via Assumption Literals.

, и . Fundam. Informaticae, 167 (1-2): 31-58 (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.

Reinhold Carmine

Carmine Chiellino

Carmine Raffa

Carmine Minale

Carmine Paglino

 

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

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators., , , и . IJCAI, стр. 1688-1694. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Model Enumeration via Assumption Literals., и . Fundam. Informaticae, 167 (1-2): 31-58 (2019)Algorithm Selection for Paracoherent Answer Set Computation., , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 479-489. Springer, (2019)An ASP-based framework for operating room scheduling., , , и . Intelligenza Artificiale, 13 (1): 63-77 (2019)Chemotherapy Treatment Scheduling via Answer Set Programming., , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 342-356. CEUR-WS.org, (2020)Debugging of Answer Set Programs Using Paracoherent Reasoning., , и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 289-299. CEUR-WS.org, (2019)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , и . Theory Pract. Log. Program., 20 (2): 205-224 (2020)Debugging Non-ground ASP Programs: Technique and Graphical Tools., , , , и . Theory Pract. Log. Program., 19 (2): 290-316 (2019)Anytime Computation of Cautious Consequences in Answer Set Programming., , и . Theory Pract. Log. Program., 14 (4-5): 755-770 (2014)Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis., , , и . Theory Pract. Log. Program., 17 (5-6): 780-799 (2017)