conftrace_

aggregate handling

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Compilation of Aggregates in ASP Systems AAAI 2022 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019