The other meta-encoding was a bit slow because of grounding issues of problog,
so I've done a new one.
With this one, the times on the grid benchmark are similar to those of problog.
Instructions for running it are at the beginning of ground-meta-problog.lp.
We will make all this cleaner later...
Hi,
The other meta-encoding was a bit slow because of grounding issues of problog, so I've done a new one. With this one, the times on the grid benchmark are similar to those of problog.
Instructions for running it are at the beginning of ground-meta-problog.lp. We will make all this cleaner later...
Chao! j