Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard

Published 20 hours ago • verified publisher icon alpha-asp

Extended support for domain-specific heuristics

Open rtaupe opened this issue 5 years ago • 3 comments

Support for domain-specific heuristics specified declaratively within ASP programs in the form of heuristic directives, as described in our upcoming research paper Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.

This is continuation of our work in #133.

rtaupe avatar Dec 12 '19 10:12 rtaupe