The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carmine Dodaro" ( http://dblp.L3S.de/Authors/Carmine_Dodaro )

  Author page on DBLP  Author page in RDF  Community of Carmine Dodaro in ASPL-2

Publication years (Num. hits)
2011-2015 (15) 2016-2017 (19) 2018-2019 (32)
Publication types (Num. hits)
article(33) inproceedings(32) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(17) TPLP(12) LPNMR(8) AI*IA(5) CILC(4) IJCAI(3) AAAI(2) Intelligenza Artificiale(2) RCRA@AI*IA(2) RiCeRcA@AI*IA(2) CP(1) DWAI@AI*IA(1) Fundam. Inform.(1) JELIA(1) KI(1) KR(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Carmine Dodaro Model Enumeration via Assumption Literals. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro An ASP-based framework for operating room scheduling. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Marco Maratea Abstract Solvers for Computing Cautious Consequences of ASP programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca Better Paracoherent Answer Sets with Less Resources. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Partial Compilation of ASP Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca Better Paracoherent Answer Sets with Less Resources. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Partial Compilation of ASP Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Marco Maratea Abstract Solvers for Computing Cautious Consequences of ASP programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Empowering ASPQ to Win in QBFEval 2018. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Debugging of Answer Set Programs Using Paracoherent Reasoning. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Computing Modular Paracoherent Answer Sets: Preliminary Result. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Riccardo 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. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca Evaluation of Disjunctive Programs in WASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca Algorithm Selection for Paracoherent Answer Set Computation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro An ASP-based Solution for Operating Room Scheduling with Beds Management. Search on Bibsonomy RuleML+RR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Nurse (Re)scheduling via answer set programming. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-Ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carmine Dodaro, Francesco Ricca The External Interface for Extending WASP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari Efficiently Coupling the I-DLV Grounder with ASP Solvers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Francesco Ricca Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo A Hybrid Approach to Optimization in Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro Operating Room Scheduling via Answer Set Programming. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro An Overview of ASP Applications in the Health-care Domain. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Marco Maratea Nurse Scheduling via Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea An Advanced Answer Set Programming Encoding for Nurse Scheduling. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Anytime answer set optimization via unsatisfiable core shrinking. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine 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). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin Driving CDCL Search. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin An integrated Graphical User Interface for Debugging Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Anytime answer set optimization via unsatisfiable core shrinking. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carmine 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). Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca ASPQ: An ASP-Based 2QBF Solver. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Answer Set Enumeration via Assumption Literals. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Francesco Ricca, Peter Schüller External Propagators in WASP: Preliminary Report. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca On the Application of Answer Set Programming to the Conference Paper Assignment Problem. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Completion of Disjunctive Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin Interactive Debugging of Non-ground ASP Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luigi Di Caro, Carmine Dodaro, Andrea Loreggia, Roberto Navigli, Alan Perotti, Manuela Sanguinetti (eds.) 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. Search on Bibsonomy DWAI@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca JWASP: A New Java-Based ASP Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca Allotment Problem in Travel Industry: A Solution Based on ASP. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Preliminary Report on WASP 2.0. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1António Morgado, Carmine Dodaro, João Marques-Silva Core-Guided MaxSAT with Soft Cardinality Constraints. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro Engineering an Efficient Native ASP Solver. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario 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 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca WASP: A Native ASP Solver Based on Constraint Learning. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Comparing Alternative Solutions for Unfounded Set Propagation in ASP. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni The Birth of a WASP: Preliminary Report on a New ASP Solver. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license