Skip to main content

The DLV System for Knowledge Representation and Reasoning

Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Thomas Eiter‚ Georg Gottlob‚ Simona Perri and Francesco Scarcello

Journal
CoRR
Volume
cs.AI/0211004
Year
2002