The DLV system for knowledge representation and reasoning
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri and Francesco Scarcello infojournal | ACM Trans. Comput. Log. |
number | 3 |
pages | 499-562 |
volume | 7 |
year | 2006 |
links
BibTeX
DOI (10.1145/1149114.1149117)
related pages
|
