Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel The DLV system. (English) Zbl 1014.68871 Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 537-540 (2002). Summary: The development of the DLV system has started as a research project financed by FWF (the Austrian Science Funds) in 1996, and has evolved into an international collaboration over the years. Currently, the University of Calabria and TU Wien participate in the project, supported by a scientific-technological collaboration between Italy and Austria. At the time of writing, the latest version of the system has been released on April 12, 2002.For the entire collection see [Zbl 0997.00032]. Cited in 7 Documents MSC: 68U99 Computing methodologies and applications 68T27 Logic in artificial intelligence 68N17 Logic programming PDFBibTeX XMLCite \textit{N. Leone} et al., Lect. Notes Comput. Sci. 2424, 537--540 (2002; Zbl 1014.68871) Full Text: Link