The DLV System
- Cite this paper as:
- Leone N. et al. (2002) The DLV System. In: Flesca S., Greco S., Ianni G., Leone N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science, vol 2424. Springer, Berlin, Heidelberg
The development of the DLV system has started as a research projectfinanced 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.
Unable to display preview. Download preview PDF.