conftrace_

intensional function

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logic of here-and-there (1) strong equivalence (1) answer set programming (1) first-order logic (1)

Papers

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025