conftrace_

atom elimination

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

forgetting operator (1) modular programming (1) logic programming (1) answer set programming (1) knowledge representation (1)

Papers

Forgetting in Modular Answer Set Programming AAAI 2019