×

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].

MSC:

68U99 Computing methodologies and applications
68T27 Logic in artificial intelligence
68N17 Logic programming
PDFBibTeX XMLCite
Full Text: Link