conftrace_

ground and solve

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Compilation of Aggregates in ASP Systems AAAI 2022