The DLV System. Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell'Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Perri, S., & Polleres, A. In Flesca, S., Greco, S., Ianni, G., & Leone, N., editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), volume 2424, of Lecture Notes in Computer Science (LNCS), pages 537–540, Cosenza, Italy, September, 2002. (System Description)![The DLV System [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{leon-etal-2002,
Address = {Cosenza, Italy},
Author = {Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Francesco Calimeri and Tina Dell'Armi and Thomas Eiter and Georg Gottlob and Giovambattista Ianni and Giuseppe Ielpa and Christoph Koch and Simona Perri and Axel Polleres},
Booktitle = {{Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)}},
Editor = {Sergio Flesca and Sergio Greco and Giovambattista Ianni and Nicola Leone},
Month = SEP,
Note = {(System Description)},
Pages = {537--540},
Project = {dlv},
Series = LNCS,
Talk = {Gerald Pfeifer},
Title = {{The DLV System}},
Url = {http://www.springerlink.com/content/b4fd88dgfx3pl3pl/},
Volume = 2424,
Year = 2002,
Bdsk-Url-1 = {http://www.springerlink.com/content/b4fd88dgfx3pl3pl/}}
Downloads: 0
{"_id":"JfizZHmeeQLsfLG57","bibbaseid":"leone-pfeifer-faber-calimeri-dellarmi-eiter-gottlob-ianni-etal-thedlvsystem-2002","downloads":0,"creationDate":"2015-12-09T21:32:11.352Z","title":"The DLV System","author_short":["Leone, N.","Pfeifer, G.","Faber, W.","Calimeri, F.","Dell'Armi, T.","Eiter, T.","Gottlob, G.","Ianni, G.","Ielpa, G.","Koch, C.","Perri, S.","Polleres, A."],"year":2002,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Cosenza, Italy","author":[{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]},{"firstnames":["Gerald"],"propositions":[],"lastnames":["Pfeifer"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Calimeri"],"suffixes":[]},{"firstnames":["Tina"],"propositions":[],"lastnames":["Dell'Armi"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Georg"],"propositions":[],"lastnames":["Gottlob"],"suffixes":[]},{"firstnames":["Giovambattista"],"propositions":[],"lastnames":["Ianni"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Ielpa"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Koch"],"suffixes":[]},{"firstnames":["Simona"],"propositions":[],"lastnames":["Perri"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)","editor":[{"firstnames":["Sergio"],"propositions":[],"lastnames":["Flesca"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Greco"],"suffixes":[]},{"firstnames":["Giovambattista"],"propositions":[],"lastnames":["Ianni"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]}],"month":"September","note":"(System Description)","pages":"537–540","project":"dlv","series":"Lecture Notes in Computer Science (LNCS)","talk":"Gerald Pfeifer","title":"The DLV System","url":"http://www.springerlink.com/content/b4fd88dgfx3pl3pl/","volume":"2424","year":"2002","bdsk-url-1":"http://www.springerlink.com/content/b4fd88dgfx3pl3pl/","bibtex":"@inproceedings{leon-etal-2002,\n\tAddress = {Cosenza, Italy},\n\tAuthor = {Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Francesco Calimeri and Tina Dell'Armi and Thomas Eiter and Georg Gottlob and Giovambattista Ianni and Giuseppe Ielpa and Christoph Koch and Simona Perri and Axel Polleres},\n\tBooktitle = {{Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)}},\n\tEditor = {Sergio Flesca and Sergio Greco and Giovambattista Ianni and Nicola Leone},\n\tMonth = SEP,\n\tNote = {(System Description)},\n\tPages = {537--540},\n\tProject = {dlv},\n\tSeries = LNCS,\n\tTalk = {Gerald Pfeifer},\n\tTitle = {{The DLV System}},\n\tUrl = {http://www.springerlink.com/content/b4fd88dgfx3pl3pl/},\n\tVolume = 2424,\n\tYear = 2002,\n\tBdsk-Url-1 = {http://www.springerlink.com/content/b4fd88dgfx3pl3pl/}}\n\n","author_short":["Leone, N.","Pfeifer, G.","Faber, W.","Calimeri, F.","Dell'Armi, T.","Eiter, T.","Gottlob, G.","Ianni, G.","Ielpa, G.","Koch, C.","Perri, S.","Polleres, A."],"editor_short":["Flesca, S.","Greco, S.","Ianni, G.","Leone, N."],"key":"leon-etal-2002","id":"leon-etal-2002","bibbaseid":"leone-pfeifer-faber-calimeri-dellarmi-eiter-gottlob-ianni-etal-thedlvsystem-2002","role":"author","urls":{"Paper":"http://www.springerlink.com/content/b4fd88dgfx3pl3pl/"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"search_terms":["dlv","system","leone","pfeifer","faber","calimeri","dell'armi","eiter","gottlob","ianni","ielpa","koch","perri","polleres"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}