Skip to Main Content

Search

Skip to Search Results
Filter
Close
Author / Creator / Contributor
Subject / Keyword
Year
to
Collections
Languages
Item type
Departments
Supervisors
Author: Liu, Guohua Subject: Logic programming

  • Logic programming with constraints

    Download

    Spring 2010

    Liu, Guohua

    Answer set programming (ASP), namely logic programming under the answer set semantics, provides a promising constraint programming paradigm, due to its simple syntax, high expressiveness, and effective computational properties. This programming paradigm can be viewed as a variant of SAT. A main...

1 - 1 of 1