The following pages link to (Q5020987):
Displaying 4 items.
- Estimating grounding sizes of logic programs under answer set semantics (Q2055808) (← links)
- LARS: a learning algorithm for rewriting systems (Q2384128) (← links)
- A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)