The DLV System
Main Authors: | Leone, N, Pfeifer, G, Faber, W, Calimeri, F, Dell'Armi, T, Eiter, T, Gottlob, G, Ianni, G, Ielpa, G, Koch, C, Perri, S, Polleres, A |
---|---|
Format: | Conference item |
Published: |
Springer
2002
|
Similar Items
-
The DLV System for Knowledge Representation and Reasoning
by: Leone, N, et al.
Published: (2002) -
The DLV system for knowledge representation and reasoning
by: Leone, N, et al.
Published: (2006) -
The dlv System: Model Generator and Advanced Frontends (system description)
by: Citrigno, S, et al.
Published: (1997) -
Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
by: Athanas, M, et al.
Published: (1997) -
Boosting Information Integration: The INFOMIX System
by: Leone, N, et al.
Published: (2005)