Search Results for author:
Found 2 papers, 0 papers with code
IASCAR: Incremental Answer Set Counting by Anytime Refinement
However, navigating through parts of the solution space requires counting many times, which is expensive in theory.
Rushing and Strolling among Answer Sets -- Navigation Made Easy
For example, when a user aims to identify a specific answer set according to her needs, or requires the total number of diverging solutions to comprehend probabilistic applications such as reasoning in medical domains.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
