The DLV System for Knowledge Representation and Reasoning

Míreanna comhchosúla

• The DLV system for knowledge representation and reasoning
  de réir: Leone, N, et al.
  Foilsithe / Cruthaithe: (2006)
• The DLV System
  de réir: Leone, N, et al.
  Foilsithe / Cruthaithe: (2002)
• The dlv System: Model Generator and Advanced Frontends (system description)
  de réir: Citrigno, S, et al.
  Foilsithe / Cruthaithe: (1997)
• Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
  de réir: Athanas, M, et al.
  Foilsithe / Cruthaithe: (1997)
• Reasoning with parsimonious and moderately grounded expansions
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1992)