BibTeX records: Carmine Dodaro

download as .bib file

@article{DBLP:journals/fuin/AlvianoD19,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Model Enumeration via Assumption Literals},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {31--58},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1809},
  doi       = {10.3233/FI-2019-1809},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/AlvianoD19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/DodaroGMP19,
  author    = {Carmine Dodaro and
               Giuseppe Galat{\`{a}} and
               Marco Maratea and
               Ivan Porro},
  title     = {An ASP-based framework for operating room scheduling},
  journal   = {Intelligenza Artificiale},
  volume    = {13},
  number    = {1},
  pages     = {63--77},
  year      = {2019},
  url       = {https://doi.org/10.3233/IA-190020},
  doi       = {10.3233/IA-190020},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ia/DodaroGMP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroGRRS19,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Kristian Reale and
               Francesco Ricca and
               Konstantin Schekotihin},
  title     = {Debugging Non-ground {ASP} Programs: Technique and Graphical Tools},
  journal   = {{TPLP}},
  volume    = {19},
  number    = {2},
  pages     = {290--316},
  year      = {2019},
  url       = {https://doi.org/10.1017/S1471068418000492},
  doi       = {10.1017/S1471068418000492},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/DodaroGRRS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaDM19,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Marco Maratea},
  title     = {Abstract Solvers for Computing Cautious Consequences of {ASP} programs},
  journal   = {{TPLP}},
  volume    = {19},
  number    = {5-6},
  pages     = {740--756},
  year      = {2019},
  url       = {https://doi.org/10.1017/S1471068419000164},
  doi       = {10.1017/S1471068419000164},
  timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AmendolaDM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaDR19,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Better Paracoherent Answer Sets with Less Resources},
  journal   = {{TPLP}},
  volume    = {19},
  number    = {5-6},
  pages     = {757--772},
  year      = {2019},
  url       = {https://doi.org/10.1017/S1471068419000176},
  doi       = {10.1017/S1471068419000176},
  timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AmendolaDR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS19,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca and
               Peter Sch{\"{u}}ller},
  title     = {Partial Compilation of {ASP} Programs},
  journal   = {{TPLP}},
  volume    = {19},
  number    = {5-6},
  pages     = {857--873},
  year      = {2019},
  url       = {https://doi.org/10.1017/S1471068419000231},
  doi       = {10.1017/S1471068419000231},
  timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/CuteriDRS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDFHPR19,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Johannes Klaus Fichte and
               Markus Hecher and
               Tobias Philipp and
               Jakob Rath},
  title     = {Inconsistency Proofs for {ASP:} The {ASP} - {DRUPE} Format},
  journal   = {{TPLP}},
  volume    = {19},
  number    = {5-6},
  pages     = {891--907},
  year      = {2019},
  url       = {https://doi.org/10.1017/S1471068419000255},
  doi       = {10.1017/S1471068419000255},
  timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlvianoDFHPR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CuteriDR19,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Empowering {ASPQ} to Win in QBFEval 2018},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019},
  pages     = {167--178},
  year      = {2019},
  crossref  = {DBLP:conf/cilc/2019},
  url       = {http://ceur-ws.org/Vol-2396/paper20.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/CuteriDR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CuteriDR19a,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Computing Modular Paracoherent Answer Sets: Preliminary Result},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019},
  pages     = {279--288},
  year      = {2019},
  crossref  = {DBLP:conf/cilc/2019},
  url       = {http://ceur-ws.org/Vol-2396/paper6.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/CuteriDR19a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CuteriDR19b,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Debugging of Answer Set Programs Using Paracoherent Reasoning},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019},
  pages     = {289--299},
  year      = {2019},
  crossref  = {DBLP:conf/cilc/2019},
  url       = {http://ceur-ws.org/Vol-2396/paper9.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/CuteriDR19b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AmendolaD0PR19,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Wolfgang Faber and
               Luca Pulina and
               Francesco Ricca},
  title     = {Algorithm Selection for Paracoherent Answer Set Computation},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  pages     = {479--489},
  year      = {2019},
  crossref  = {DBLP:conf/jelia/2019},
  url       = {https://doi.org/10.1007/978-3-030-19570-0\_31},
  doi       = {10.1007/978-3-030-19570-0\_31},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/AmendolaD0PR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BertolucciCDLMM19,
  author    = {Riccardo Bertolucci and
               Alessio Capitanelli and
               Carmine Dodaro and
               Nicola Leone and
               Marco Maratea and
               Fulvio Mastrogiovanni and
               Mauro Vallati},
  title     = {An ASP-Based Framework for the Manipulation of Articulated Objects
               Using Dual-Arm Robots},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
               Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  pages     = {32--44},
  year      = {2019},
  crossref  = {DBLP:conf/lpnmr/2019},
  url       = {https://doi.org/10.1007/978-3-030-20528-7\_3},
  doi       = {10.1007/978-3-030-20528-7\_3},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/BertolucciCDLMM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoADLMR19,
  author    = {Mario Alviano and
               Giovanni Amendola and
               Carmine Dodaro and
               Nicola Leone and
               Marco Maratea and
               Francesco Ricca},
  title     = {Evaluation of Disjunctive Programs in {WASP}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
               Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  pages     = {241--255},
  year      = {2019},
  crossref  = {DBLP:conf/lpnmr/2019},
  url       = {https://doi.org/10.1007/978-3-030-20528-7\_18},
  doi       = {10.1007/978-3-030-20528-7\_18},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/AlvianoADLMR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DodaroGKMP19,
  author    = {Carmine Dodaro and
               Giuseppe Galat{\`{a}} and
               Muhammad Kamran Khan and
               Marco Maratea and
               Ivan Porro},
  title     = {An ASP-based Solution for Operating Room Scheduling with Beds Management},
  booktitle = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
               2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  pages     = {67--81},
  year      = {2019},
  crossref  = {DBLP:conf/ruleml/2019},
  url       = {https://doi.org/10.1007/978-3-030-31095-0\_5},
  doi       = {10.1007/978-3-030-31095-0\_5},
  timestamp = {Tue, 17 Sep 2019 08:33:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/DodaroGKMP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09402,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Marco Maratea},
  title     = {Abstract Solvers for Computing Cautious Consequences of {ASP} programs},
  journal   = {CoRR},
  volume    = {abs/1907.09402},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.09402},
  archivePrefix = {arXiv},
  eprint    = {1907.09402},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-09402},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09560,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Better Paracoherent Answer Sets with Less Resources},
  journal   = {CoRR},
  volume    = {abs/1907.09560},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.09560},
  archivePrefix = {arXiv},
  eprint    = {1907.09560},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-09560},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10389,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Johannes Klaus Fichte and
               Markus Hecher and
               Tobias Philipp and
               Jakob Rath},
  title     = {Inconsistency Proofs for {ASP:} The {ASP-DRUPE} Format},
  journal   = {CoRR},
  volume    = {abs/1907.10389},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.10389},
  archivePrefix = {arXiv},
  eprint    = {1907.10389},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-10389},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10469,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca and
               Peter Sch{\"{u}}ller},
  title     = {Partial Compilation of {ASP} Programs},
  journal   = {CoRR},
  volume    = {abs/1907.10469},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.10469},
  archivePrefix = {arXiv},
  eprint    = {1907.10469},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-10469},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlvianoDM18,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Marco Maratea},
  title     = {Nurse (Re)scheduling via answer set programming},
  journal   = {Intelligenza Artificiale},
  volume    = {12},
  number    = {2},
  pages     = {109--124},
  year      = {2018},
  url       = {https://doi.org/10.3233/IA-170030},
  doi       = {10.3233/IA-170030},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ia/AlvianoDM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AdrianACCDFFLMP18,
  author    = {Weronika T. Adrian and
               Mario Alviano and
               Francesco Calimeri and
               Bernardo Cuteri and
               Carmine Dodaro and
               Wolfgang Faber and
               Davide Fusc{\`{a}} and
               Nicola Leone and
               Marco Manna and
               Simona Perri and
               Francesco Ricca and
               Pierfrancesco Veltri and
               Jessica Zangari},
  title     = {The {ASP} System {DLV:} Advancements and Applications},
  journal   = {{KI}},
  volume    = {32},
  number    = {2-3},
  pages     = {177--179},
  year      = {2018},
  url       = {https://doi.org/10.1007/s13218-018-0533-0},
  doi       = {10.1007/s13218-018-0533-0},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/AdrianACCDFFLMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDM18,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Marco Maratea},
  title     = {Shared aggregate sets in answer set programming},
  journal   = {{TPLP}},
  volume    = {18},
  number    = {3-4},
  pages     = {301--318},
  year      = {2018},
  url       = {https://doi.org/10.1017/S1471068418000133},
  doi       = {10.1017/S1471068418000133},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlvianoDM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDJM18,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Matti J{\"{a}}rvisalo and
               Marco Maratea and
               Alessandro Previti},
  title     = {Cautious reasoning in {ASP} via minimal models and unsatisfiable cores},
  journal   = {{TPLP}},
  volume    = {18},
  number    = {3-4},
  pages     = {319--336},
  year      = {2018},
  url       = {https://doi.org/10.1017/S1471068418000145},
  doi       = {10.1017/S1471068418000145},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlvianoDJM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaD0R18,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Wolfgang Faber and
               Francesco Ricca},
  title     = {Externally Supported Models for Efficient Computation of Paracoherent
               Answer Sets},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  pages     = {1720--1727},
  year      = {2018},
  crossref  = {DBLP:conf/aaai/2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16244},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AmendolaD0R18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BertolucciCDMMV18,
  author    = {Riccardo Bertolucci and
               Alessio Capitanelli and
               Carmine Dodaro and
               Marco Maratea and
               Fulvio Mastrogiovanni and
               Mauro Vallati},
  title     = {KR{\&}R Approaches for Robot Manipulation Tasks with Articulated
               Objects},
  booktitle = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
               Conference of the Italian Association for Artificial Intelligence,
               RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
  year      = {2018},
  crossref  = {DBLP:conf/aiia/2018ricerca},
  url       = {http://ceur-ws.org/Vol-2272/short3.pdf},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/BertolucciCDMMV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroGMP18,
  author    = {Carmine Dodaro and
               Giuseppe Galat{\`{a}} and
               Marco Maratea and
               Ivan Porro},
  title     = {Operating Room Scheduling via Answer Set Programming},
  booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
               Conference of the Italian Association for Artificial Intelligence,
               Trento, Italy, November 20-23, 2018, Proceedings},
  pages     = {445--459},
  year      = {2018},
  crossref  = {DBLP:conf/aiia/2018},
  url       = {https://doi.org/10.1007/978-3-030-03840-3\_33},
  doi       = {10.1007/978-3-030-03840-3\_33},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/DodaroGMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroGMP18a,
  author    = {Carmine Dodaro and
               Giuseppe Galat{\`{a}} and
               Marco Maratea and
               Ivan Porro},
  title     = {An Overview of {ASP} Applications in the Health-care Domain},
  booktitle = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
               Conference of the Italian Association for Artificial Intelligence,
               RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
  year      = {2018},
  crossref  = {DBLP:conf/aiia/2018ricerca},
  url       = {http://ceur-ws.org/Vol-2272/short5.pdf},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/DodaroGMP18a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SaikkoDAJ18,
  author    = {Paul Saikko and
               Carmine Dodaro and
               Mario Alviano and
               Matti J{\"{a}}rvisalo},
  title     = {A Hybrid Approach to Optimization in Answer Set Programming},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018},
  pages     = {32--41},
  year      = {2018},
  crossref  = {DBLP:conf/kr/2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/SaikkoDAJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08480,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Matti J{\"{a}}rvisalo and
               Marco Maratea and
               Alessandro Previti},
  title     = {Cautious reasoning in {ASP} via minimal models and unsatisfiable cores},
  journal   = {CoRR},
  volume    = {abs/1804.08480},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.08480},
  archivePrefix = {arXiv},
  eprint    = {1804.08480},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-08480},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08488,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Marco Maratea},
  title     = {Shared aggregate sets in answer set programming},
  journal   = {CoRR},
  volume    = {abs/1804.08488},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.08488},
  archivePrefix = {arXiv},
  eprint    = {1804.08488},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-08488},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00417,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Kristian Reale and
               Francesco Ricca and
               Konstantin Schekotihin},
  title     = {Debugging Non-Ground {ASP} Programs: Technique and Graphical Tools},
  journal   = {CoRR},
  volume    = {abs/1808.00417},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.00417},
  archivePrefix = {arXiv},
  eprint    = {1808.00417},
  timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-00417},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00041,
  author    = {Francesco Calimeri and
               Carmine Dodaro and
               Davide Fusc{\`{a}} and
               Simona Perri and
               Jessica Zangari},
  title     = {Efficiently Coupling the {I-DLV} Grounder with {ASP} Solvers},
  journal   = {CoRR},
  volume    = {abs/1810.00041},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.00041},
  archivePrefix = {arXiv},
  eprint    = {1810.00041},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-00041},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01692,
  author    = {Carmine Dodaro and
               Francesco Ricca},
  title     = {The External Interface for Extending {WASP}},
  journal   = {CoRR},
  volume    = {abs/1811.01692},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.01692},
  archivePrefix = {arXiv},
  eprint    = {1811.01692},
  timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-01692},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS17,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca and
               Peter Sch{\"{u}}ller},
  title     = {Constraints, lazy constraints, or propagators in {ASP} solving: An
               empirical analysis},
  journal   = {{TPLP}},
  volume    = {17},
  number    = {5-6},
  pages     = {780--799},
  year      = {2017},
  url       = {https://doi.org/10.1017/S1471068417000254},
  doi       = {10.1017/S1471068417000254},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/CuteriDRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaDFLR17,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Wolfgang Faber and
               Nicola Leone and
               Francesco Ricca},
  title     = {On the Computation of Paracoherent Answer Sets},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA}},
  pages     = {1034--1040},
  year      = {2017},
  crossref  = {DBLP:conf/aaai/2017},
  url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14358},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AmendolaDFLR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoDM17,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Marco Maratea},
  title     = {An Advanced Answer Set Programming Encoding for Nurse Scheduling},
  booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
               Conference of the Italian Association for Artificial Intelligence,
               Bari, Italy, November 14-17, 2017, Proceedings},
  pages     = {468--482},
  year      = {2017},
  crossref  = {DBLP:conf/aiia/2017},
  url       = {https://doi.org/10.1007/978-3-319-70169-1\_35},
  doi       = {10.1007/978-3-319-70169-1\_35},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/AlvianoDM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoD17,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Unsatisfiable Core Shrinking for Anytime Answer Set Optimization},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages     = {4781--4785},
  year      = {2017},
  crossref  = {DBLP:conf/ijcai/2017},
  url       = {https://doi.org/10.24963/ijcai.2017/666},
  doi       = {10.24963/ijcai.2017/666},
  timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/AlvianoD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoCDFLPRVZ17,
  author    = {Mario Alviano and
               Francesco Calimeri and
               Carmine Dodaro and
               Davide Fusc{\`{a}} and
               Nicola Leone and
               Simona Perri and
               Francesco Ricca and
               Pierfrancesco Veltri and
               Jessica Zangari},
  title     = {The {ASP} System {DLV2}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
               Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  pages     = {215--221},
  year      = {2017},
  crossref  = {DBLP:conf/lpnmr/2017},
  url       = {https://doi.org/10.1007/978-3-319-61660-5\_19},
  doi       = {10.1007/978-3-319-61660-5\_19},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/AlvianoCDFLPRVZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DodaroM17,
  author    = {Carmine Dodaro and
               Marco Maratea},
  title     = {Nurse Scheduling via Answer Set Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
               Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  pages     = {301--307},
  year      = {2017},
  crossref  = {DBLP:conf/lpnmr/2017},
  url       = {https://doi.org/10.1007/978-3-319-61660-5\_27},
  doi       = {10.1007/978-3-319-61660-5\_27},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/DodaroM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuteriDRS17,
  author    = {Bernardo Cuteri and
               Carmine Dodaro and
               Francesco Ricca and
               Peter Sch{\"{u}}ller},
  title     = {Constraints, Lazy Constraints, or Propagators in {ASP} Solving: An
               Empirical Analysis},
  journal   = {CoRR},
  volume    = {abs/1707.04027},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.04027},
  archivePrefix = {arXiv},
  eprint    = {1707.04027},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CuteriDRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmendolaDFLR17,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Wolfgang Faber and
               Nicola Leone and
               Francesco Ricca},
  title     = {On the Computation of Paracoherent Answer Sets},
  journal   = {CoRR},
  volume    = {abs/1707.06813},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.06813},
  archivePrefix = {arXiv},
  eprint    = {1707.06813},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmendolaDFLR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoD16,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Anytime answer set optimization via unsatisfiable core shrinking},
  journal   = {{TPLP}},
  volume    = {16},
  number    = {5-6},
  pages     = {533--551},
  year      = {2016},
  url       = {https://doi.org/10.1017/S147106841600020X},
  doi       = {10.1017/S147106841600020X},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlvianoD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroGLMRS16,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Nicola Leone and
               Benjamin Musitsch and
               Francesco Ricca and
               Konstantin Schekotihin},
  title     = {Combining Answer Set Programming and domain heuristics for solving
               hard industrial problems (Application Paper)},
  journal   = {{TPLP}},
  volume    = {16},
  number    = {5-6},
  pages     = {653--669},
  year      = {2016},
  url       = {https://doi.org/10.1017/S1471068416000284},
  doi       = {10.1017/S1471068416000284},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/DodaroGLMRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroRS16,
  author    = {Carmine Dodaro and
               Francesco Ricca and
               Peter Sch{\"{u}}ller},
  title     = {External Propagators in {WASP:} Preliminary Report},
  booktitle = {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),
               Genova, Italy, November 28, 2016},
  pages     = {1--9},
  year      = {2016},
  crossref  = {DBLP:conf/aiia/2016rcra},
  url       = {http://ceur-ws.org/Vol-1745/paper1.pdf},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/DodaroRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoD16,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Answer Set Enumeration via Assumption Literals},
  booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
               Conference of the Italian Association for Artificial Intelligence,
               Genova, Italy, November 29 - December 1, 2016, Proceedings},
  pages     = {149--163},
  year      = {2016},
  crossref  = {DBLP:conf/aiia/2016},
  url       = {https://doi.org/10.1007/978-3-319-49130-1\_12},
  doi       = {10.1007/978-3-319-49130-1\_12},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/AlvianoD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AmendolaDLR16,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Nicola Leone and
               Francesco Ricca},
  title     = {On the Application of Answer Set Programming to the Conference Paper
               Assignment Problem},
  booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
               Conference of the Italian Association for Artificial Intelligence,
               Genova, Italy, November 29 - December 1, 2016, Proceedings},
  pages     = {164--178},
  year      = {2016},
  crossref  = {DBLP:conf/aiia/2016},
  url       = {https://doi.org/10.1007/978-3-319-49130-1\_13},
  doi       = {10.1007/978-3-319-49130-1\_13},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/AmendolaDLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoD16,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Completion of Disjunctive Logic Programs},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {886--892},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/130},
  timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/AlvianoD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AmendolaDR16,
  author    = {Giovanni Amendola and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {{ASPQ:} An ASP-Based 2QBF Solver},
  booktitle = {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),
               Bordeaux, France, July 4, 2016},
  pages     = {49--54},
  year      = {2016},
  crossref  = {DBLP:conf/sat/2016qbf},
  url       = {http://ceur-ws.org/Vol-1719/paper4.pdf},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/AmendolaDR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DodaroGLMRS16,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Nicola Leone and
               Benjamin Musitsch and
               Francesco Ricca and
               Kostyantyn M. Shchekotykhin},
  title     = {Combining Answer Set Programming and Domain Heuristics for Solving
               Hard Industrial Problems (Application Paper)},
  journal   = {CoRR},
  volume    = {abs/1608.00730},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.00730},
  archivePrefix = {arXiv},
  eprint    = {1608.00730},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DodaroGLMRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoD16,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Anytime answer set optimization via unsatisfiable core shrinking},
  journal   = {CoRR},
  volume    = {abs/1608.00731},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.00731},
  archivePrefix = {arXiv},
  eprint    = {1608.00731},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlvianoD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GasteigerDMRRS16,
  author    = {Philip Gasteiger and
               Carmine Dodaro and
               Benjamin Musitsch and
               Kristian Reale and
               Francesco Ricca and
               Konstantin Schekotihin},
  title     = {An integrated Graphical User Interface for Debugging Answer Set Programs},
  journal   = {CoRR},
  volume    = {abs/1611.04969},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.04969},
  archivePrefix = {arXiv},
  eprint    = {1611.04969},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GasteigerDMRRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DodaroGLMRS16a,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Nicola Leone and
               Benjamin Musitsch and
               Francesco Ricca and
               Konstantin Schekotihin},
  title     = {Driving {CDCL} Search},
  journal   = {CoRR},
  volume    = {abs/1611.05190},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.05190},
  archivePrefix = {arXiv},
  eprint    = {1611.05190},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DodaroGLMRS16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoDR15,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {{JWASP:} {A} New Java-Based {ASP} Solver},
  booktitle = {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),
               Ferrara, Italy, September 22, 2015},
  pages     = {16--23},
  year      = {2015},
  crossref  = {DBLP:conf/aiia/2015rcra},
  url       = {http://ceur-ws.org/Vol-1451/paper2.pdf},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/AlvianoDR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoDR15,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {2677--2683},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/379},
  timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/AlvianoDR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDLR15,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Nicola Leone and
               Francesco Ricca},
  title     = {Advances in {WASP}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  pages     = {40--54},
  year      = {2015},
  crossref  = {DBLP:conf/lpnmr/2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5\_5},
  doi       = {10.1007/978-3-319-23264-5\_5},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/AlvianoDLR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DodaroGMRS15,
  author    = {Carmine Dodaro and
               Philip Gasteiger and
               Benjamin Musitsch and
               Francesco Ricca and
               Kostyantyn M. Shchekotykhin},
  title     = {Interactive Debugging of Non-ground {ASP} Programs},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  pages     = {279--293},
  year      = {2015},
  crossref  = {DBLP:conf/lpnmr/2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5\_24},
  doi       = {10.1007/978-3-319-23264-5\_24},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/DodaroGMRS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DodaroLNR15,
  author    = {Carmine Dodaro and
               Nicola Leone and
               Barbara Nardi and
               Francesco Ricca},
  title     = {Allotment Problem in Travel Industry: {A} Solution Based on {ASP}},
  booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
               2015, Berlin, Germany, August 4-5, 2015, Proceedings},
  pages     = {77--92},
  year      = {2015},
  crossref  = {DBLP:conf/rr/2015},
  url       = {https://doi.org/10.1007/978-3-319-22002-4\_7},
  doi       = {10.1007/978-3-319-22002-4\_7},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/DodaroLNR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2014dwai,
  editor    = {Luigi Di Caro and
               Carmine Dodaro and
               Andrea Loreggia and
               Roberto Navigli and
               Alan Perotti and
               Manuela Sanguinetti},
  title     = {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},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1334},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1334},
  urn       = {urn:nbn:de:0074-1334-4},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2014dwai},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDR14,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Anytime Computation of Cautious Consequences in Answer Set Programming},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {4-5},
  pages     = {755--770},
  year      = {2014},
  url       = {https://doi.org/10.1017/S1471068414000325},
  doi       = {10.1017/S1471068414000325},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlvianoDR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MorgadoDM14,
  author    = {Ant{\'{o}}nio Morgado and
               Carmine Dodaro and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Core-Guided MaxSAT with Soft Cardinality Constraints},
  booktitle = {Principles and Practice of Constraint Programming - 20th International
               Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  pages     = {564--573},
  year      = {2014},
  crossref  = {DBLP:conf/cp/2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7\_41},
  doi       = {10.1007/978-3-319-10428-7\_41},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/MorgadoDM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoDR14,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Preliminary Report on {WASP} 2.0},
  journal   = {CoRR},
  volume    = {abs/1404.6999},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.6999},
  archivePrefix = {arXiv},
  eprint    = {1404.6999},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlvianoDR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoDR14a,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Anytime Computation of Cautious Consequences in Answer Set Programming},
  journal   = {CoRR},
  volume    = {abs/1405.3546},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.3546},
  archivePrefix = {arXiv},
  eprint    = {1405.3546},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlvianoDR14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Dodaro13,
  author    = {Carmine Dodaro},
  title     = {Engineering an Efficient Native {ASP} Solver},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5-Online-Supplement},
  year      = {2013},
  url       = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013032.pdf},
  timestamp = {Mon, 21 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/Dodaro13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoDR13,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Francesco Ricca},
  title     = {Comparing Alternative Solutions for Unfounded Set Propagation in {ASP}},
  booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
               Conference of the Italian Association for Artificial Intelligence,
               Turin, Italy, December 4-6, 2013. Proceedings},
  pages     = {1--12},
  year      = {2013},
  crossref  = {DBLP:conf/aiia/2013},
  url       = {https://doi.org/10.1007/978-3-319-03524-6\_1},
  doi       = {10.1007/978-3-319-03524-6\_1},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/AlvianoDR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13,
  author    = {Mario Alviano and
               Francesco Calimeri and
               G{\"{u}}nther Charwat and
               Minh Dao{-}Tran and
               Carmine Dodaro and
               Giovambattista Ianni and
               Thomas Krennwallner and
               Martin Kronegger and
               Johannes Oetsch and
               Andreas Pfandler and
               J{\"{o}}rg P{\"{u}}hrer and
               Christoph Redl and
               Francesco Ricca and
               Patrik Schneider and
               Martin Schwengerer and
               Lara Katharina Spendier and
               Johannes Peter Wallner and
               Guohui Xiao},
  title     = {The Fourth Answer Set Programming Competition: Preliminary Report},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  pages     = {42--53},
  year      = {2013},
  crossref  = {DBLP:conf/lpnmr/2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8\_5},
  doi       = {10.1007/978-3-642-40564-8\_5},
  timestamp = {Sat, 20 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDFLR13,
  author    = {Mario Alviano and
               Carmine Dodaro and
               Wolfgang Faber and
               Nicola Leone and
               Francesco Ricca},
  title     = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  pages     = {54--66},
  year      = {2013},
  crossref  = {DBLP:conf/lpnmr/2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8\_6},
  doi       = {10.1007/978-3-642-40564-8\_6},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/AlvianoDFLR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DodaroAFLRS11,
  author    = {Carmine Dodaro and
               Mario Alviano and
               Wolfgang Faber and
               Nicola Leone and
               Francesco Ricca and
               Marco Sirianni},
  title     = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver},
  booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
               Pescara, Italy, August 31 - September 2, 2011},
  pages     = {99--113},
  year      = {2011},
  crossref  = {DBLP:conf/cilc/2011},
  url       = {http://ceur-ws.org/Vol-810/paper-l06.pdf},
  timestamp = {Tue, 28 May 2019 16:23:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/DodaroAFLRS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2019,
  editor    = {Alberto Casagrande and
               Eugenio G. Omodeo},
  title     = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2396},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2396},
  urn       = {urn:nbn:de:0074-2396-0},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2019,
  editor    = {Francesco Calimeri and
               Nicola Leone and
               Marco Manna},
  title     = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11468},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19570-0},
  doi       = {10.1007/978-3-030-19570-0},
  isbn      = {978-3-030-19569-4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2019,
  editor    = {Marcello Balduccini and
               Yuliya Lierler and
               Stefan Woltran},
  title     = {Logic Programming and Nonmonotonic Reasoning - 15th International
               Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11481},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-20528-7},
  doi       = {10.1007/978-3-030-20528-7},
  isbn      = {978-3-030-20527-0},
  timestamp = {Thu, 23 May 2019 13:13:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2019,
  editor    = {Paul Fodor and
               Marco Montali and
               Diego Calvanese and
               Dumitru Roman},
  title     = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
               2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11784},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31095-0},
  doi       = {10.1007/978-3-030-31095-0},
  isbn      = {978-3-030-31094-3},
  timestamp = {Tue, 17 Sep 2019 08:33:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
  editor    = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  title     = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/schedConf/presentations},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2018ricerca,
  editor    = {Marco Maratea and
               Mauro Vallati},
  title     = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
               Conference of the Italian Association for Artificial Intelligence,
               RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2272},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2272},
  urn       = {urn:nbn:de:0074-2272-0},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2018ricerca},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2018,
  editor    = {Chiara Ghidini and
               Bernardo Magnini and
               Andrea Passerini and
               Paolo Traverso},
  title     = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
               Conference of the Italian Association for Artificial Intelligence,
               Trento, Italy, November 20-23, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11298},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03840-3},
  doi       = {10.1007/978-3-030-03840-3},
  isbn      = {978-3-030-03839-7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2018,
  editor    = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {http://www.aaai.org/Library/KR/kr18contents.php},
  isbn      = {978-1-57735-803-9},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2017,
  editor    = {Satinder P. Singh and
               Shaul Markovitch},
  title     = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA}},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {http://www.aaai.org/Library/AAAI/aaai17contents.php},
  timestamp = {Mon, 06 Mar 2017 08:17:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2017,
  editor    = {Floriana Esposito and
               Roberto Basili and
               Stefano Ferilli and
               Francesca A. Lisi},
  title     = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
               Conference of the Italian Association for Artificial Intelligence,
               Bari, Italy, November 14-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10640},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70169-1},
  doi       = {10.1007/978-3-319-70169-1},
  isbn      = {978-3-319-70168-4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2017,
  editor    = {Carles Sierra},
  title     = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {http://www.ijcai.org/Proceedings/2017/},
  isbn      = {978-0-9992411-0-3},
  timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2017,
  editor    = {Marcello Balduccini and
               Tomi Janhunen},
  title     = {Logic Programming and Nonmonotonic Reasoning - 14th International
               Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10377},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61660-5},
  doi       = {10.1007/978-3-319-61660-5},
  isbn      = {978-3-319-61659-9},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2016rcra,
  editor    = {Stefano Bistarelli and
               Andrea Formisano and
               Marco Maratea},
  title     = {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),
               Genova, Italy, November 28, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1745},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1745},
  urn       = {urn:nbn:de:0074-1745-4},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2016rcra},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2016,
  editor    = {Giovanni Adorni and
               Stefano Cagnoni and
               Marco Gori and
               Marco Maratea},
  title     = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
               Conference of the Italian Association for Artificial Intelligence,
               Genova, Italy, November 29 - December 1, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10037},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49130-1},
  doi       = {10.1007/978-3-319-49130-1},
  isbn      = {978-3-319-49129-5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2016qbf,
  editor    = {Florian Lonsing and
               Martina Seidl},
  title     = {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),
               Bordeaux, France, July 4, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1719},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1719},
  urn       = {urn:nbn:de:0074-1719-2},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2016qbf},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2015rcra,
  editor    = {Stefano Bistarelli and
               Andrea Formisano and
               Marco Maratea},
  title     = {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),
               Ferrara, Italy, September 22, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1451},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1451},
  urn       = {urn:nbn:de:0074-1451-3},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2015rcra},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael J. Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2015,
  editor    = {Francesco Calimeri and
               Giovambattista Ianni and
               Miroslaw Truszczynski},
  title     = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5},
  doi       = {10.1007/978-3-319-23264-5},
  isbn      = {978-3-319-23263-8},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2015,
  editor    = {Balder ten Cate and
               Alessandra Mileo},
  title     = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
               2015, Berlin, Germany, August 4-5, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9209},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22002-4},
  doi       = {10.1007/978-3-319-22002-4},
  isbn      = {978-3-319-22001-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2014,
  editor    = {Barry O'Sullivan},
  title     = {Principles and Practice of Constraint Programming - 20th International
               Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8656},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7},
  doi       = {10.1007/978-3-319-10428-7},
  isbn      = {978-3-319-10427-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2013,
  editor    = {Matteo Baldoni and
               Cristina Baroglio and
               Guido Boella and
               Roberto Micalizio},
  title     = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
               Conference of the Italian Association for Artificial Intelligence,
               Turin, Italy, December 4-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8249},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03524-6},
  doi       = {10.1007/978-3-319-03524-6},
  isbn      = {978-3-319-03523-9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013,
  editor    = {Pedro Cabalar and
               Tran Cao Son},
  title     = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8148},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8},
  doi       = {10.1007/978-3-642-40564-8},
  isbn      = {978-3-642-40563-1},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2011,
  editor    = {Fabio Fioravanti},
  title     = {Proceedings of the 26th Italian Conference on Computational Logic,
               Pescara, Italy, August 31 - September 2, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {810},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-810},
  urn       = {urn:nbn:de:0074-810-0},
  timestamp = {Tue, 28 May 2019 16:23:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics