Volume: Vol-3799 ICLP-WS 2024 | Year: 2024

Paper: | short8GDE24 |

Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions

PDF