Skip to content
conftrace_

candidate elimination

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic logic program (1) epistemic logic (1) logic programming (1) search algorithm (1) constraint propagation (1) belief propagation (1)

Papers

Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025