conftrace_

aggregate compilation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ground-and-solve approach (1) program compilation (1) declarative reasoning (1) aggregate handling (1) ground and solve (1) grounding bottleneck (1) declarative programming (1) answer set programming (1) knowledge representation (1)

Papers

Compilation of Aggregates in ASP Systems AAAI 2022