conftrace_

ground-and-solve approach

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

aggregate compilation (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