default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarmine Dodaro
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e6]Carmine Dodaro
, Gopal Gupta, Maria Vanina Martinez:
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings. Lecture Notes in Computer Science 15245, Springer 2025, ISBN 978-3-031-74208-8 [contents]- 2024
- [j32]Carmine Dodaro:
Design and implementation of modern CDCL ASP solvers. Intelligenza Artificiale 18(2): 239-259 (2024) - [j31]Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio:
CNL2ASP: Converting Controlled Natural Language Sentences into ASP. Theory Pract. Log. Program. 24(2): 196-226 (2024) - [j30]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. Theory Pract. Log. Program. 24(2): 344-367 (2024) - [c58]Mario Alviano, Carmine Dodaro, Ilaria R. Vasile:
Structured Declarative Language. CILC 2024 - [c57]Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi:
Nuclear Medicine Scheduling via Answer Set Programming. CILC 2024 - [c56]Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea:
A Tool For Reasoning Over CNL Sentences With Temporal Constructs. Datalog 2024: 30-42 - [c55]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea:
AMO-aware Aggregates in Answer Set Programming. IJCAI 2024: 3215-3223 - [i26]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. CoRR abs/2408.07521 (2024) - 2023
- [j29]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca:
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320: 103931 (2023) - [j28]Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro:
Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33(4): 837-863 (2023) - [j27]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. Theory Pract. Log. Program. 23(2): 415-443 (2023) - [j26]Mario Alviano, Carmine Dodaro, Arnel Zamayla:
ValAsp: A Tool for Data Validation in Answer Set Programming. Theory Pract. Log. Program. 23(5): 965-985 (2023) - [c54]Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea:
Scheduling Periodic Treatments Via Answer Set Programming. CILC 2023 - [c53]Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea:
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. CILC 2023 - [c52]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of Tight ASP Programs. ECAI 2023: 557-564 - [c51]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. ITSC 2023: 5008-5013 - [c50]Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati:
Comparing Planning Domain Models Using Answer Set Programming. JELIA 2023: 227-242 - [e5]Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents] - [d3]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of tight ASP programs. Zenodo, 2023
- [i25]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. CoRR abs/2303.08709 (2023) - [i24]Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio:
CNL2ASP: converting controlled natural language sentences into ASP. CoRR abs/2311.10505 (2023) - 2022
- [j25]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Operating Room (Re)Scheduling with Bed Management via ASP. Theory Pract. Log. Program. 22(2): 229-253 (2022) - [c49]Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro:
Compilation of Aggregates in ASP Systems. AAAI 2022: 5834-5841 - [c48]Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca:
Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA 2022: 55-64 - [c47]Carmine Dodaro, Marco Maratea, Francesco Riccio:
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog 2022: 188-201 - [c46]Carmine Dodaro, Valeria Fionda, Gianluigi Greco:
LTL on Weighted Finite Traces: Formal Foundations and Algorithms. IJCAI 2022: 2606-2612 - [c45]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca:
Enumeration of Minimal Models and MUSes in WASP. LPNMR 2022: 29-42 - [c44]Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca:
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR 2022: 145-158 - [e4]Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents] - [i23]Mario Alviano, Carmine Dodaro, Arnel Zamayla:
ValAsp: a tool for data validation in Answer Set Programming. CoRR abs/2202.09626 (2022) - [i22]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. CoRR abs/2203.01024 (2022) - 2021
- [j24]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Paracoherent answer set computation. Artif. Intell. 299: 103519 (2021) - [j23]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - [j22]Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21(6): 835-851 (2021) - [c43]Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA 2021 - [c42]Mario Alviano, Carmine Dodaro, Arnel Zamayla:
Data Validation Meets Answer Set Programming. PADL 2021: 90-106 - [c41]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. RuleML+RR 2021: 111-125 - [e3]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - [d2]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of Aggregates in ASP Systems. Zenodo, 2021 - [i21]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Operating Room (Re)Scheduling with Bed Management via ASP. CoRR abs/2105.02283 (2021) - [i20]Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. CoRR abs/2108.02637 (2021) - 2020
- [j21]Mario Alviano, Carmine Dodaro:
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae 176(3-4): 271-297 (2020) - [j20]Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca:
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30(4): 863-897 (2020) - [j19]Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari:
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20(2): 205-224 (2020) - [j18]Carmine Dodaro, Francesco Ricca:
The External Interface for Extending WASP. Theory Pract. Log. Program. 20(2): 225-248 (2020) - [j17]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20(5): 625-640 (2020) - [c40]Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten:
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA 2020 - [c39]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. IPS-RCRA@AI*IA 2020 - [c38]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming. AI*IA 2020: 204-220 - [c37]Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Compilation of Aggregates in ASP: Preliminary Results. CILC 2020: 278-296 - [c36]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Chemotherapy Treatment Scheduling via Answer Set Programming. CILC 2020: 342-356 - [c35]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI 2020: 1688-1694 - [c34]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). IJCAI 2020: 4716-4720 - [e2]Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari:
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. CEUR Workshop Proceedings 2678, CEUR-WS.org 2020 [contents] - [i19]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. CoRR abs/2008.03212 (2020) - [i18]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020)
2010 – 2019
- 2019
- [j16]Mario Alviano, Carmine Dodaro:
Model Enumeration via Assumption Literals. Fundam. Informaticae 167(1-2): 31-58 (2019) - [j15]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
An ASP-based framework for operating room scheduling. Intelligenza Artificiale 13(1): 63-77 (2019) - [j14]Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19(2): 290-316 (2019) - [j13]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
Abstract Solvers for Computing Cautious Consequences of ASP programs. Theory Pract. Log. Program. 19(5-6): 740-756 (2019) - [j12]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. 19(5-6): 757-772 (2019) - [j11]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. Theory Pract. Log. Program. 19(5-6): 857-873 (2019) - [j10]Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath:
Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. 19(5-6): 891-907 (2019) - [c33]Carmine Dodaro, Alessandro Previti:
Minipref: A Tool for Preferences in SAT (short paper). RCRA/RiCeRcA@AI*IA 2019 - [c32]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Empowering ASPQ to Win in QBFEval 2018. CILC 2019: 167-178 - [c31]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC 2019: 279-288 - [c30]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC 2019: 289-299 - [c29]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca:
Algorithm Selection for Paracoherent Answer Set Computation. JELIA 2019: 479-489 - [c28]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR 2019: 32-44 - [c27]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c26]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
An ASP-based Solution for Operating Room Scheduling with Beds Management. RuleML+RR 2019: 67-81 - [d1]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of disjunctive programs in WASP. Zenodo, 2019 - [i17]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
Abstract Solvers for Computing Cautious Consequences of ASP programs. CoRR abs/1907.09402 (2019) - [i16]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
Better Paracoherent Answer Sets with Less Resources. CoRR abs/1907.09560 (2019) - [i15]Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath:
Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR abs/1907.10389 (2019) - [i14]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. CoRR abs/1907.10469 (2019) - 2018
- [j9]Mario Alviano, Carmine Dodaro, Marco Maratea:
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12(2): 109-124 (2018) - [j8]Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [j7]Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18(3-4): 301-318 (2018) - [j6]Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18(3-4): 319-336 (2018) - [c25]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI 2018: 1720-1727 - [c24]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. RiCeRcA@AI*IA 2018 - [c23]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
Operating Room Scheduling via Answer Set Programming. AI*IA 2018: 445-459 - [c22]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
An Overview of ASP Applications in the Health-care Domain. RiCeRcA@AI*IA 2018 - [c21]Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo:
A Hybrid Approach to Optimization in Answer Set Programming. KR 2018: 32-41 - [i13]Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR abs/1804.08480 (2018) - [i12]Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. CoRR abs/1804.08488 (2018) - [i11]Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR abs/1808.00417 (2018) - [i10]Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari:
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR abs/1810.00041 (2018) - [i9]Carmine Dodaro, Francesco Ricca:
The External Interface for Extending WASP. CoRR abs/1811.01692 (2018) - 2017
- [j5]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. 17(5-6): 780-799 (2017) - [c20]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - [c19]Mario Alviano, Carmine Dodaro, Marco Maratea:
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA 2017: 468-482 - [c18]Mario Alviano, Carmine Dodaro:
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. IJCAI 2017: 4781-4785 - [c17]Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV2. LPNMR 2017: 215-221 - [c16]Carmine Dodaro, Marco Maratea:
Nurse Scheduling via Answer Set Programming. LPNMR 2017: 301-307 - [i8]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR abs/1707.04027 (2017) - [i7]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- [j4]Mario Alviano, Carmine Dodaro:
Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Log. Program. 16(5-6): 533-551 (2016) - [j3]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin:
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16(5-6): 653-669 (2016) - [c15]Carmine Dodaro, Francesco Ricca, Peter Schüller:
External Propagators in WASP: Preliminary Report. RCRA@AI*IA 2016: 1-9 - [c14]Mario Alviano, Carmine Dodaro:
Answer Set Enumeration via Assumption Literals. AI*IA 2016: 149-163 - [c13]Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca:
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA 2016: 164-178 - [c12]Mario Alviano, Carmine Dodaro:
Completion of Disjunctive Logic Programs. IJCAI 2016: 886-892 - [c11]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
ASPQ: An ASP-Based 2QBF Solver. QBF@SAT 2016: 49-54 - [i6]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR abs/1608.00730 (2016) - [i5]Mario Alviano, Carmine Dodaro:
Anytime answer set optimization via unsatisfiable core shrinking. CoRR abs/1608.00731 (2016) - [i4]Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR abs/1611.04969 (2016) - [i3]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin:
Driving CDCL Search. CoRR abs/1611.05190 (2016) - 2015
- [c10]Mario Alviano, Carmine Dodaro, Francesco Ricca:
JWASP: A New Java-Based ASP Solver. RCRA@AI*IA 2015: 16-23 - [c9]Mario Alviano, Carmine Dodaro, Francesco Ricca:
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI 2015: 2677-2683 - [c8]Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca:
Advances in WASP. LPNMR 2015: 40-54 - [c7]Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Interactive Debugging of Non-ground ASP Programs. LPNMR 2015: 279-293 - [c6]Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca:
Allotment Problem in Travel Industry: A Solution Based on ASP. RR 2015: 77-92 - [e1]Luigi Di Caro, Carmine Dodaro, Andrea Loreggia, Roberto Navigli, Alan Perotti, Manuela Sanguinetti:
Proceedings of the Second Doctoral Workshop in Artificial Intelligence (DWAI 2014) An official workshop of the 13th Symposium of the Italian Association for Artificial Intelligence "Artificial Intelligence for Society and Economy" (AI*IA 2014), Pisa, Italy, December 11, 2014. CEUR Workshop Proceedings 1334, CEUR-WS.org 2015 [contents] - 2014
- [j2]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 755-770 (2014) - [c5]António Morgado, Carmine Dodaro, João Marques-Silva:
Core-Guided MaxSAT with Soft Cardinality Constraints. CP 2014: 564-573 - [i2]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Preliminary Report on WASP 2.0. CoRR abs/1404.6999 (2014) - [i1]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. CoRR abs/1405.3546 (2014) - 2013
- [j1]Carmine Dodaro:
Engineering an Efficient Native ASP Solver. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c4]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Comparing Alternative Solutions for Unfounded Set Propagation in ASP. AI*IA 2013: 1-12 - [c3]Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao:
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR 2013: 42-53 - [c2]Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - 2011
- [c1]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
