This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results
Filter
Subject / Keyword
- 5Logic programming
- 2Prolog (Computer program language)
- 1Computer programming
- 1Concurrent Prolog (Computer program language)
- 1Constraint programming (Computer science)
- 1Functional programming (Computer science)
Departments
Author / Creator / Contributor
Year
Collections
Languages
Item type
Supervisors
-
Spring 2010
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 - 5 of 5