formal logic; inference mechanisms; knowledge based systems; argumentative reasoning logic; knowledge base; knowledge sharing; procedural argumentation; proposition exchange;
机译:基于印度逻辑的论证表示形式,用于知识共享 1 sup>
机译:逻辑,推理和论证的基础:一项证据支持的课程,针对科学素养,以增加公众的理解和学习科学
机译:基于哲学和逻辑的论证驱动推理方法及其在WWW上的实现:一项调查
机译:知识共享程序论证的推理逻辑
机译:论据中的论证,逻辑和推理:在图尔明模型和女权主义理解中的含意。
机译:迈向更好的知识共享:评估HL7参考信息模型以支持医学逻辑模块查询。
机译:通过自动化论证系统在CsCL场景中建模共享知识和共享知识意识