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
Supervisors
Author / Creator / Contributor
Year
Collections
Languages
Item type
Departments
-
Fall 2021
Can efficient solvers be built for disjunctive hybrid MKNF knowledgebases? Recent breakthroughs in solver construction have proven AnswerSet Programming (ASP) to be a fruitful medium for tackling problemsthat lie within the lower two levels of the polynomial hierarchy. Thelogic of hybrid MKNF...
1 - 1 of 1