约束逻辑相关论文
姜云飞＜’〔１〕＞利用格论研究约束缺省逻辑，以可构造方式给出了一种求扩充的方法。该文将这一工作从缺省逻辑推广到它的一个重要变种－－约......
针对网络中存在大量非集中式信息流导致用户较难获取有用信息的问题,设计基于约束逻辑的网络非集中式信息流整合系统。该系统主要......
随着信息技术的不断发展,便捷的无线网络通信成为信息的重要传输方式。但是由于无线通信网络中复杂的多样连通路径,传统的端到端拥......
为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制，滤去那些约束理论的任何解释可指定给带有这样的......
摘要：针对传统推荐方法中普遍存在的冷启动问题和推荐结果忽视了项目间的逻辑约束关系问题，分析用户社会属性和社交关系对用户学习行......
本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL．该语言将面向值和面向对象模型集成在一起，约束关系可以显......
