( en | de | ru )

 

Disambiguation of "Dodaro, Carmine"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithm Selection for Paracoherent Answer Set Computation.

, , , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 479-489. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Reinhold Carmine

Carmine Chiellino

Carmine Raffa

Carmine Minale

Carmine Paglino

 

Other publications of authors with the same name

An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 32-44. Springer, (2019)Nurse (Re)scheduling via answer set programming., , and . Intelligenza Artificiale, 12 (2): 109-124 (2018)Better Paracoherent Answer Sets with Less Resources., , and . Theory Pract. Log. Program., 19 (5-6): 757-772 (2019)Driving CDCL Search., , , , , and . CoRR, (2016)A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)., , and . IJCAI, page 4716-4720. ijcai.org, (2020)Sister Conferences Best Papers.Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming., , , , , , and . CoRR, (2020)Comparing Alternative Solutions for Unfounded Set Propagation in ASP., , and . AI*IA, volume 8249 of Lecture Notes in Computer Science, page 1-12. Springer, (2013)Nurse Scheduling via Answer Set Programming., and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 301-307. Springer, (2017)Completion of Disjunctive Logic Programs., and . IJCAI, page 886-892. IJCAI/AAAI Press, (2016)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2011)