找到1个数据集

机构: Western Sydney University 标签: 逻辑程序设计

过滤结果

  • 回答集程序（Answer Set Programming）求解器groc

    回答集程序（Answer Set Programming），简称ASP，是一个描述性编程语言（Declarative Programming Language），是人工智能知识表示领域中最重要的几个语言之一。很多知识并不适合用经典一阶逻辑（First-Order...