Search Results for author:
Found 3 papers, 0 papers with code
Inductive Learning of Declarative Domain-Specific Heuristics for ASP
Answer Set Programming (ASP) systems support declarative specifications of domain-specific heuristics to improve solving performance.
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Additionally, we use our approach to implement informed} search with A*, which is tackled within ASP for the first time.
Applying Incremental Answer Set Solving to Product Configuration
Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism and performance of the solving process.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
