The dlv System: Model Generator and Advanced Frontends (system description)

相似书籍

• The DLV System for Knowledge Representation and Reasoning
  由: Leone, N, et al.
  出版: (2002)
• The DLV system for knowledge representation and reasoning
  由: Leone, N, et al.
  出版: (2006)
• The DLV System
  由: Leone, N, et al.
  出版: (2002)
• Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
  由: Athanas, M, et al.
  出版: (1997)
• Boosting Information Integration: The INFOMIX System
  由: Leone, N, et al.
  出版: (2005)