Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) 文章

ArXiv CS.AI2026-05-27NEWSen作者: Christoph Benzm\"uller, Daniel Kirchner, Luca Pasetto
人工智能
查看原文 →
关系图谱

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) · 相关技术

相关技术

ORMODEdivide-and-conquer partitioningStanREUSEParts-of-Speech (POS) tagsPPOOrthogonal Knowledge SubspaceOWLOPMNarrative Abstraction BenchmarkMaliHISForEvaluation Driven DevelopmentENACADARGANN