conftrace_

aggregate function

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (2) axiomatic system (1) aggregate operation (1) formal semantics (1) search space pruning (1) logic programming (1) constraint propagation (1)

Papers

AMO-aware Aggregates in Answer Set Programming IJCAI 2024 Axiomatization of Aggregates in Answer Set Programming AAAI 2022