conftrace_

forgetting operator

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

atom elimination (1) modular programming (1) logic programming (1) answer set programming (1) knowledge representation (1)

Papers

Forgetting in Modular Answer Set Programming AAAI 2019