Reasoning; Artificial intelligence; Logic; Computations; Mathematical logic;
机译:语言,逻辑和本体论:揭示常识的结构
机译:通过用于知识驱动的机器理解的致致通知表示,增强基于变压器的语言模型
机译:一阶谓词逻辑,模糊逻辑和非单调逻辑作为知识表示方法的比较
机译:使用Z语言的超越逻辑的符号表示及其在知识库系统中的作用
机译:一种用于高效知识表示和推理的模态逻辑形式主义。
机译:致力于基于知识的医学图像检索。语义索引图像内容表示和基于知识的检索的作用。
机译:知识表示和常识推理:对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识:指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数