Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
arXiv:2603.06974v1 Announce Type: new Abstract: We present Elenchus, a dialogue system for knowledge base construction grounded in inferentialist semantics, where knowledge engineering is re-conceived as …
Bradley P. Allen
24 views
