The DLV System for Knowledge Representation and Reasoning.
Saved in:
| Title: | The DLV System for Knowledge Representation and Reasoning. |
|---|---|
| Authors: | Leone, Nicola1, leone@mat.unical.it, Pfeifer, Gerald2, gerald@pfeifer.com, Faber, Wolfgang2, faber@kr.tuwien.ac.at, Eieter, Thomas2, eiter@kr.tuwien.ac.at, Gottlob, Georg2, gottlob@dbai.tuwien.ac.at, Perri, Simona1, perri@mat.unical.it, Scarcello, Francesco1, scarcello@deis.unical.it |
| Source: | ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p499-562, 64p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15293785 |
|---|---|
| DOI: | 10.1145/1149114.1149117 |
