Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush......

应用程序编程接口(application programming interface,API)在软件开发以及代码复用中有着重要作用,API代码和文档存在的不一致情......

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复......

所谓内容挖掘,指从机器可读的材料中得到信息的过程。《数字时代知识发现海牙宣言》指出,著作权法成为限制内容挖掘的障碍之一,限......

视觉障碍者和其他主体一样享有同等获取信息的权利,在网络环境下也是如此。要在保证不侵害版权人利益的情况下,确保视觉障碍者获取......

食品安全监管中的部分信息需要免于公开才能实现其价值，这种信息公开例外规则的存在有其正当性基础。理论正当性包含：权力分工、国家......