...
机译:使用类型化的lambda演算来指导纯朴的用户表示和掌握部分整体知识
Artificial Intelligence Applications Institute, 80 South Bridge, Edinburgh EH1 1HN, UK;
knowledge representation; part-whole; interaction between part-whole and specialisation; ontology; typed lambda calculus; ecological modelling; simulation;
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:用户知识的获取,表示和管理
机译:天真的替换的λ演算
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:基于知识的计划中知识获取,表示和问题解决的框架。
机译:经验之前基于神经的原型神经表示的安排有助于即将到来的知识获取的选择性
机译:通过Lambda-Calculus在简单类型的Lambda-Calculus中居住 用于证明搜索