conftrace_

logic of here-and-there

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

intensional function (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