文件名称：spike-imperial-开源
文件大小：1.05MB
文件格式：GZ
更新时间：2024-05-17 08:43:10
开源软件
此项目与帝国理工学院的研究工作有关，该研究由SPIKE（结构化和概率智能知识工程）的成员进行，特别是基于逻辑的学习系统，如TAL，ASPAL和ILASP。
【文件预览】：
v3.1.0
----ILASP(2.11MB)
----examples()
--------timetable.las(4KB)
--------sudoku.las(3KB)
--------pets.las(4KB)
----RELEASE NOTES(2KB)
----manual.pdf(383KB)