论文信息 - The DLV System

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.

[1] Wolfgang Faber,et al. The Diagnosis Frontend of the dlv System , 1999, AI Commun..

[2] Francesco Buccafurri,et al. Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..

[3] Wolfgang Faber,et al. Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.

[4] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.