( en | de | ru )

 

Disambiguation of "Dodaro, Carmine"

Author of the publication

copydeleteadd this publication to your clipboard
The Fourth Answer Set Programming Competition: Preliminary Report.

, , , , , , , , , , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 42-53. Springer, (2013)

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

Better Paracoherent Answer Sets with Less Resources., , and . Theory Pract. Log. Program., 19 (5-6): 757-772 (2019)Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming., , , , , , and . CoRR, (2020)ValAsp: a tool for data validation in Answer Set Programming., , and . CoRR, (2022)Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)., , , , , and . Theory Pract. Log. Program., 16 (5-6): 653-669 (2016)Operating Room (Re)Scheduling with Bed Management via ASP., , , , and . Theory Pract. Log. Program., 22 (2): 229-253 (2022)A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)., , and . IJCAI, page 4716-4720. ijcai.org, (2020)Sister Conferences Best Papers.Driving CDCL Search., , , , , and . CoRR, (2016)Completion of Disjunctive Logic Programs., and . IJCAI, page 886-892. IJCAI/AAAI Press, (2016)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 Scheduling via Answer Set Programming., and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 301-307. Springer, (2017)