机译:conteletog:一种宣言语言,用于建模和推理语境知识
机译:用于知识表示和推理的受控自然语言
机译:用于自然语言处理,模拟和推理的知识表示语言
机译:从基于框架语言代表的知识到通过ASP的声明性表示和推理
机译:了解具有型号知识表示,推理和模拟的自然语言
机译:受控词汇表索引编制和医学语言处理。医学语言处理:用于知识表示和检索的医学语言处理
机译:知识表示和常识推理:对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识:指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数