Alpha
Alpha copied to clipboard
alpha-asp
Partial Compilation
I am still wondering how partial compilation (see below) could be integrated into Alpha.
-
Partial Compilation of ASP Programs (TPLP,
doi:10.1017/S1471068419000231) -
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving:
Constraints Become Propagators (IJCAI 2020,
doi:10.24963/ijcai.2020/234) -
Compilation of Aggregates in ASP Systems (AAAI 2022,
doi:10.1609/aaai.v36i5.20527)
Is there any interest in experimenting in that direction?
The Java API to use would be javax.tools.JavaCompiler, for an example consider this wrapping library.
