%0 Conference Paper %1 conf/lpnmr/LeoneAACCCFFGLC19 %A Leone, Nicola %A Allocca, Carlo %A Alviano, Mario %A Calimeri, Francesco %A Civili, Cristina %A Costabile, Roberta %A Fiorentino, Alessio %A Fuscà, Davide %A Germano, Stefano %A Laboccetta, Giovanni %A Cuteri, Bernardo %A Manna, Marco %A Perri, Simona %A Reale, Kristian %A Ricca, Francesco %A Veltri, Pierfrancesco %A Zangari, Jessica %B LPNMR %D 2019 %E Balduccini, Marcello %E Lierler, Yuliya %E Woltran, Stefan %I Springer %K dblp %P 312-325 %T Enhancing DLV for Large-Scale Reasoning. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#LeoneAACCCFFGLC19 %V 11481 %@ 978-3-030-20528-7

@inproceedings{conf/lpnmr/LeoneAACCCFFGLC19, added-at = {2021-07-25T00:00:00.000+0200}, author = {Leone, Nicola and Allocca, Carlo and Alviano, Mario and Calimeri, Francesco and Civili, Cristina and Costabile, Roberta and Fiorentino, Alessio and Fuscà, Davide and Germano, Stefano and Laboccetta, Giovanni and Cuteri, Bernardo and Manna, Marco and Perri, Simona and Reale, Kristian and Ricca, Francesco and Veltri, Pierfrancesco and Zangari, Jessica}, biburl = {https://www.bibsonomy.org/bibtex/20c9c78a6bab07dcdc8670346d9fc4320/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2019}, editor = {Balduccini, Marcello and Lierler, Yuliya and Woltran, Stefan}, ee = {https://doi.org/10.1007/978-3-030-20528-7_23}, interhash = {6a5a53f50b7904d08299357c75271951}, intrahash = {0c9c78a6bab07dcdc8670346d9fc4320}, isbn = {978-3-030-20528-7}, keywords = {dblp}, pages = {312-325}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:46.000+0200}, title = {Enhancing DLV for Large-Scale Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#LeoneAACCCFFGLC19}, volume = 11481, year = 2019 }