Carmine Dodaro
Orcid: 0000-0002-5617-5286
According to our database1,
Carmine Dodaro
authored at least 90 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
Theory Pract. Log. Program., March, 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
Theory Pract. Log. Program., September, 2023
Artif. Intell., July, 2023
J. Log. Comput., June, 2023
Theory Pract. Log. Program., March, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
2022
Theory Pract. Log. Program., 2022
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Theory Pract. Log. Program., 2021
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program., 2021
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the Practical Aspects of Declarative Languages, 2021
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
2020
Theory Pract. Log. Program., 2020
Theory Pract. Log. Program., 2020
Fundam. Informaticae, 2020
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020
2019
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019
2018
Theory Pract. Log. Program., 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Theory Pract. Log. Program., 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program., 2016
Theory Pract. Log. Program., 2016
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016
On the Application of Answer Set Programming to the Conference Paper Assignment Problem.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015
2014
Theory Pract. Log. Program., 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011