• DocumentCode
    32571
  • Title

    DATALOG WITH CONTRAINTS: A NEW ANSWER-SET PROGRAMMING FORMALISM

  • University
    University of Kentucky
  • Grade
    نامعلوم
  • Number of pages
    0
  • Publish Date
    2001
  • Keyword

    Knowledge representation , Search , Programming , answer-set programming , Constraint satisfaction

  • Note
    01
  • Language
    انگليسي