conftrace_

aggregate operation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

aggregate function (1) axiomatic system (1) formal semantics (1) logic programming (1) answer set programming (1)

Papers

Axiomatization of Aggregates in Answer Set Programming AAAI 2022