search

meta-logic / lltp

TPTP linear logic version
GNU General Public License v3.0
13 stars 2 forks source link

New planning problems #5

Open gisellemnr opened 5 years ago

gisellemnr commented 5 years ago

We can possibly obtain a few interesting planning problems from: http://www.cs.cmu.edu/afs/cs.cmu.edu/project/prodigy/Web/Distribution/distrib.html