conftrace_

declarative reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge representation (2) rule-based inference (1) aggregate handling (1) ground and solve (1) program compilation (1) aggregate compilation (1) ground-and-solve approach (1) grounding bottleneck (1) existential rule (1) declarative programming (1)

Papers

Compilation of Aggregates in ASP Systems AAAI 2022 Chasing Sets: How to Use Existential Rules for Expressive Reasoning IJCAI 2019