conftrace_

projective strong equivalence

1 paper

Explore in graph

Also known as

PSE

Co-occurring keywords · papers mentioning both

equilibrium logic (1) stable model (1) strong equivalence (1) semantic characterization (1) logic programming (1) formal methods (1)

Papers

Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020