Status: IN
de Kleer (1986) ATMS uses assumption-based environments and nogoods. TMS beats ATMS for EEM because revision matters more than multiple environments when the problem solver (LLM) produces 13-37% errors
Source: repo:beliefs-pi/CLAUDE.md
JSON