Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The DLV system for knowledge representation and reasoning

The DLV system for knowledge representation and reasoning

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

Journal
ACM Trans. Comput. Log.
Number
3
Pages
499−562
Volume
7
Year
2006

Links

See Also

Back to Top