论文部分内容阅读
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一.在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向.
基于tableau的自动推理技术综述
【摘 要】
：
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一.在提高系统效率方面,主要在相关技术和策略、
【机 构】
：
苏州大学计算机科学与技术学院,吉林大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2005年11期
【基金项目】
：
中国科学院资助项目，教育部高校骨干教师资助计划，吉林省自然科学基金
其他文献
随着移动互联网的逐步发展,迫切需要制定一套扩展性好的通用信令平台,既能在同一平台上实现资源预留、防火墙配置等固定网络已有的信令,又能兼容移动网络.本文综述了现有移动
随着Web Services的发展,它本身的安全问题已经成为制约其发展的关键因素.本文主要论述了Web Services的访问控制技术的研究现状及其问题.首先,从协议层次出发讨论了Web Serv