流演算相关论文
代数方法从“构造”的角度研究抽象数据类型的语义，并且已经在抽象数据类型、计算机语言的形式语义等领域有了广泛的应用。而代数的......
设计智能主体是人工智能领域一个富有挑战性的目标。智能主体一般处于动态不完全可知的环境中,为了完成给定的任务,需要具有很强的......
行动推理和知识表示是人工智能的重要研究领域。行动推理在认知机器人、Web服务、工作流等多个领域中得到应用。行动推理的主要任......
随着Web服务数量的激增以及用户需求的多样化,手工选择和组合现有Web服务变得越来越困难且效率低下。因此自动化的Web服务选取以及......
