conftrace_

agm revision

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

belief revision (2) allsat solver (1) bayesian conditionalisation (1) abstract argumentation framework (1) representation theorem (1) large language model (1) answer set programming (1) hamming distance (1) parallel processing (1) probabilistic logic (1)

Papers

ARGUS: Argumentation-Based Minimal-Change Repair for Verifiable LLM Self-Explanations UAI 2026 GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020 A Unifying Framework for Probabilistic Belief Revision IJCAI 2017