tempo-sat-tlp-gp
所属分类：人工智能/神经网络/深度学习
开发工具：LISP
文件大小：5639KB
下载次数：6
上传日期：2012-10-26 11:28:46
上 传 者：
michaeldoer
说明： SAT-TLP规划器是由ML这一通用的函数式编程语言开发出的最优化规划器，对于了解函数式语言在大型系统中的应用以及智能规划理论提供了很好的支持。
(SAT-TLP planning is developed by ML generic functional programming language optimized planning, and provides good support for understanding the functional languages large systems and intelligent planning theory.)
文件列表:
tempo-sat-tlp-gp (0, 2012-10-26)
tempo-sat-tlp-gp\Makefile (14097, 2008-12-20)
tempo-sat-tlp-gp\PddlSupportQuestionnaire.txt (3038, 2008-12-20)
tempo-sat-tlp-gp\Sources (0, 2012-10-26)
tempo-sat-tlp-gp\Sources\atom.ml (3769, 2008-12-20)
tempo-sat-tlp-gp\Sources\atom.mli (827, 2008-12-20)
tempo-sat-tlp-gp\Sources\domain.ml (7254, 2008-12-20)
tempo-sat-tlp-gp\Sources\domain.mli (1542, 2008-12-20)
tempo-sat-tlp-gp\Sources\formula.ml (744, 2008-12-20)
tempo-sat-tlp-gp\Sources\functionFormula.ml (2269, 2008-12-20)
tempo-sat-tlp-gp\Sources\iSetSet.ml (10847, 2008-12-20)
tempo-sat-tlp-gp\Sources\lexer.ml (381298, 2008-12-20)
tempo-sat-tlp-gp\Sources\lexer.mll (4849, 2008-12-20)
tempo-sat-tlp-gp\Sources\main.ml (708, 2008-12-20)
tempo-sat-tlp-gp\Sources\node.ml (4350, 2008-12-20)
tempo-sat-tlp-gp\Sources\nogood.ml (577, 2008-12-20)
tempo-sat-tlp-gp\Sources\parallelPlan.ml (2285, 2008-12-20)
tempo-sat-tlp-gp\Sources\parser.mly (12837, 2008-12-20)
tempo-sat-tlp-gp\Sources\plan.ml (202, 2008-12-20)
tempo-sat-tlp-gp\Sources\planningData.ml (13495, 2008-12-20)
tempo-sat-tlp-gp\Sources\planningData.mli (1026, 2008-12-20)
tempo-sat-tlp-gp\Sources\sequentialPlan.ml (1483, 2008-12-20)
tempo-sat-tlp-gp\Sources\smtsolver.ml (1503, 2008-12-20)
tempo-sat-tlp-gp\Sources\smtsolver_extractplan.ml (1855, 2008-12-20)
tempo-sat-tlp-gp\Sources\symb.ml (3562, 2008-12-20)
tempo-sat-tlp-gp\Sources\symb.mli (1766, 2008-12-20)
tempo-sat-tlp-gp\Sources\symbSet.ml (1950, 2008-12-20)
tempo-sat-tlp-gp\Sources\symbSet.mli (453, 2008-12-20)
tempo-sat-tlp-gp\Sources\timedata.ml (1293, 2008-12-20)
tempo-sat-tlp-gp\Sources\tlpgp.ml (37586, 2008-12-20)
tempo-sat-tlp-gp\Sources\typeset.ml (9334, 2008-12-20)
tempo-sat-tlp-gp\Sources\typeset.mli (1050, 2008-12-20)
tempo-sat-tlp-gp\Sources\utils.ml (3974, 2008-12-20)
tempo-sat-tlp-gp\build (1485, 2008-12-20)
tempo-sat-tlp-gp\orion-build-helpers (0, 2012-10-26)
tempo-sat-tlp-gp\orion-build-helpers\build-ocaml (277, 2008-12-20)
tempo-sat-tlp-gp\orion-build-helpers\ocaml-3.10.2.tar.bz2 (2284860, 2008-12-20)
tempo-sat-tlp-gp\plan (127, 2008-12-20)
tempo-sat-tlp-gp\smt-solver (0, 2012-10-26)
tempo-sat-tlp-gp\smt-solver\mathsat (2770896, 2008-12-20)
... ...
近期下载者：
相关文件：
收藏者：