找到1个工具集

格式: ZIP 标签: 逻辑程序设计

过滤结果
  • 回答集程序(Answer Set Programming)求解器groc

    回答集程序(Answer Set Programming),简称ASP,是一个描述性编程语言(Declarative Programming Language),是人工智能知识表示领域中最重要的几个语言之一。很多知识并不适合用经典一阶逻辑(First-Order...
您也可以使用应用程式界面 (看 API文献)注册.