BibTeX record conf/lpnmr/LeoneAACCCFFGLC19

• > Home > conf/lpnmr/LeoneAACCCFFGLC19

@inproceedings{DBLP:conf/lpnmr/LeoneAACCCFFGLC19,
  author       = {Nicola Leone and
                  Carlo Allocca and
                  Mario Alviano and
                  Francesco Calimeri and
                  Cristina Civili and
                  Roberta Costabile and
                  Alessio Fiorentino and
                  Davide Fusc{\`{a}} and
                  Stefano Germano and
                  Giovanni Laboccetta and
                  Bernardo Cuteri and
                  Marco Manna and
                  Simona Perri and
                  Kristian Reale and
                  Francesco Ricca and
                  Pierfrancesco Veltri and
                  Jessica Zangari},
  editor       = {Marcello Balduccini and
                  Yuliya Lierler and
                  Stefan Woltran},
  title        = {Enhancing {DLV} for Large-Scale Reasoning},
  booktitle    = {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},
  pages        = {312--325},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20528-7\_23},
  doi          = {10.1007/978-3-030-20528-7\_23},
  timestamp    = {Sun, 25 Jul 2021 11:51:30 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LeoneAACCCFFGLC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}