Conceptio › i-2-3

Topic

i-2-3

Knowledge-graph topic · documents ABOUT i-2-3 across the archive

3Documents about i-2-3

Documents about i-2-3

From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change#609008arXiv (OAI Expanded)
Beyond Correctness: Toward Automated Novelty Verification with Lean 4#609106arXiv (OAI Expanded)
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change#610070arXiv (All)

Conceptio Knowledge Graph

Explore i-2-3 across the open knowledge archive

Explore cross-citations, verify licenses and provenance, and integrate i-2-3 research directly into AI agents via MCP or REST API.

Search i-2-3 in Archive →Query via MCP / API ↗

Related topics

logic-in-computer-science2 68t051

Topic record · derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Retrieved via Conceptio: topic hubs link to canonical document pages with full provenance.