The DLV System
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.
- 1.F. Buccafurri, N. Leone, and P. Rullo. Enhancing disjunctive datalog by constraints. IEEE TKDE, 12(5), September/October 2000.Google Scholar
- 3.W. Faber, N. Leone, and G. Pfeifer. Pushing Goal Derivation in DLP Computations. LPNMR’99, pp. 177–191.Google Scholar
- 4.W. Faber, N. Leone, and G. Pfeifer. Experimenting with Heuristics for Answer Set Programming. In IJGAI 2001, pp. 635–640, Seattle, WA, USA, August 2001. Morgan Kaufmann Publishers.Google Scholar