并发事务逻辑（Concurrent Transaction Logic,CTR）是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示......

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域。现代科技,特别是计算机技术的发展极大地推进了人类的发展进程,但是计算机......