The DLV System for Knowledge Representation and Reasoning

類似資料

• The DLV system for knowledge representation and reasoning
  著者:: Leone, N, 等
  出版事項: (2006)
• The DLV System
  著者:: Leone, N, 等
  出版事項: (2002)
• The dlv System: Model Generator and Advanced Frontends (system description)
  著者:: Citrigno, S, 等
  出版事項: (1997)
• Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
  著者:: Athanas, M, 等
  出版事項: (1997)
• Reasoning with parsimonious and moderately grounded expansions
  著者:: Eiter, T, 等
  出版事項: (1992)