CFP：第20届自动推理研讨会
经典和非经典逻辑中的定理证明 交互式定理证明、逻辑框架、证明助手、证明规划 推理方法 **基于饱和度、基于实例化、表格、SAT **等式推理，统一 **约束满足 **决策程序，SMT **组合推理系统 **非单调推理、常识推理、， **绑架、诱导 **模型检查、模型生成、解释 指定、推导、转换和验证计算机系统、需求和软件的形式化方法 基于逻辑的知识表示和推理： **本体工程与推理 **领域特定推理（空间、时间、认知、代理等） 逻辑和函数编程，演绎数据库 实施问题和实证结果、演示 自动推理的实践经验和应用
