机译:合理而完整的Tableau微积分,用于仅推理和最多了解的推理
Dipartimento di Informatica e Sistemistica Universit[agrav;
nonmonotonic reasoning; autoepistemic logics; tableau calculi; computational complexity;
机译:了解算术的算法:施用域一般和数值技能的角色,算术学习域中的作用
机译:在工业设计中的了解,推理和可视化
机译:了解患者和有关患者的知识:会诊中推理模式的证据吗?
机译:Tableau Conculus只是知道和最多了解
机译:知道如何知道,但是知道什么?干扰和传递问题解决技巧。
机译:关于不知道我们不知道的事:跨性别者社区的阻塞性睡眠呼吸暂停
机译:关于仅知道的推理的可判定性和复杂性